MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System

Avaliação sistemática de abordagens de derivação de produto

Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

GT4CCI: uma abordagem baseada em grounded theory para a identificação de interesses transversais em documentos de requisitos

When crosscutting concerns identification is performed from the beginning of development, on the activities involved in requirements engineering, there are many gains in terms of quality, cost and efficiency throughout the lifecycle of software development. This early identification supports the evolution of requirements, detects possible flaws in the requirements specification, improves traceability among requirements, provides better software modularity and prevents possible rework. However, despite these several advantages, the crosscutting concerns identification over requirements engineering faces several difficulties such as the lack of systematization and tools that support it. Furthermore, it is difficult to justify why some concerns are identified as crosscutting or not, since this identification is, most often, made without any methodology that systematizes and bases it. In this context, this paper proposes an approach based on Grounded Theory, called GT4CCI, for systematizing and basing the process of identifying crosscutting concerns in the initial stages of the software development process in the requirements document. Grounded Theory is a renowned methodology for qualitative analysis of data. Through the use of GT4CCI it is possible to better understand, track and document concerns, adding gains in terms of quality, reliability and modularity of the entire lifecycle of software

Identificando interesses transversais em modelos de requisitos PL-AOVgraph

The occurrence of problems related to the scattering and tangling phenomenon, such as the difficulty to do system maintenance, increasingly frequent. One way to solve this problem is related to the crosscutting concerns identification. To maximize its benefits, the identification must be performed from early stages of development process, but some works have reported that this has not been done in most of cases, making the system development susceptible to the errors incidence and prone to the refactoring later. This situation affects directly to the quality and cost of the system. PL-AOVgraph is a goal-oriented requirements modeling language which offers support to the relationships representation among requirements and provides separation of crosscutting concerns by crosscutting relationships representation. Therefore, this work presents a semi-automatic method to crosscutting concern identification in requirements specifications written in PL-AOVgraph. An adjacency matrix is used to identify the contributions relationships among the elements. The crosscutting concern identification is based in fan-out analysis of contribution relationships from the informations of adjacency matrix. When identified, the crosscutting relationships are created. And also, this method is implemented as a new module of ReqSys-MDD tool

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Aprendizagem da língua japonesa apoiada por ferramentas computacionais: estudo e desenvolvimento do jogo Karuchā Ships Invaders

The use of technology tools for teaching and learning has grown increasingly in our daily life. In this context, a branch that has had tremendous growth is the area of teaching and learning language through computational tools. The study of CALL (Computer Assisted Language Learning), accomplished in this research, aims to evaluate existing tools in this context, focused specifically on the Japanese language; and from this study, accomplish the development of a new computational tool that can assist teaching/learning of the Japanese language. As results, we present a wide survey on the subject in various technologies/devices, as well as the complete development process of a new tool, the Karuchā Ships Invaders game, that proposes to teach basic concepts of the language, blended with entertainment, and still, focusing on the Brazilian students of Japanese language audience. We will present all the concept phases of the game and its evolution through the research, as well as an interface evaluation. Still, we present proposal and validation of a method to evaluate motivational aspects of computational tools with educational focus, and results extracted from an experiment accomplished with prospective users

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Turismo, território e políticas públicas: uma análise do destino João Pessoa/PB

This study presents an approach to tourism activity from the perspective of the territory, analyzing the importance of the roles of the State and public policies for tourism development. Tourism in the northeastern region of Brazil begins to take its rise from the late 1970 through public policies, whose goal was to provide the necessary conditions for tourism development. The tourism public policies were the key elements in the production process of tourist territories in the region. In the state of Paraíba, the public authorities elected the coastline as the main attraction and the state capital, João Pessoa, as the locus for the tourism development, with the city receiving a series of public policies. In this context, this research aims to analyze the development process of three specific public policies for tourism development in João Pessoa: The (mega)Projeto Costa do Sol (1988), the PRODETUR/PB I and II (1997 e 2005) and the Plano Estratégico de Desenvolvimento do Turismo na Paraíba, the Plano Amanhecer (2000). This study was guided by the question that even having been contemplated by the tourism public policies, João Pessoa still remains in a peripheral position in the regional tourism market. The methodological procedures for this study were literature and documents research and semi-structured interviews with tourism public officials and representatives from local tourism trade. The research came to prove that the discontinuity between governmental administrations hampered the implementation process of the tourism public policies studied. It was observed that the implementation of tourism public policies in the long term depends on the interaction between governments, as well as the collective political will to develop tourism in Joao Pessoa

Nível de maturidade e comparação dos PDPs de produtos automotivos

O desenvolvimento de novos produtos, que atendam às necessidades do mercado consumidor, é atividade estratégica para sustentabilidade das organizações. O objetivo deste artigo é comparar e avaliar o nível de maturidade desses processos em duas montadoras de veículos instaladas na região Sul Fluminense do País. São discutidas algumas características dos processos, expõe-se o modelo de avaliação, baseado nos critérios do CMMI (Capability Maturity Model Integration), e são apresentados os resultados de pesquisa que investigou o nível de maturidade junto a 47 representantes das empresas estudadas. Como resultado, foi possível identificar lacunas na estruturação dos PDP's, com diversas práticas e ferramentas usadas de forma isolada e não integradas, havendo campo suficiente - no entendimento dos próprios executivos - para serem aprimorados e refinados, o que permitiria torná-los mais completos, abrangentes e potentes para alavancar os resultados de mercado e financeiros das próprias organizações.

A perspectiva histórico-dialética da periodização do desenvolvimento infantil

O presente artigo se propõe uma análise dos estágios do desenvolvimento infantil na perspectiva histórico-cultural. Nele são apresentados os princípios ou fundamentos que devem sustentar a periodização do desenvolvimento na perspectiva de Vigotski, buscando-se evidenciar o caráter histórico e dialético das proposições do autor. São também apontadas, de forma breve, algumas das importantes contribuições de Leontiev e Elkonin a essa temática. Discute-se inicialmente a importância de uma abordagem histórica do desenvolvimento da criança, enfatizando-se a relação criança-sociedade e as condições históricas concretas como determinantes do processo de desenvolvimento infantil. em seguida, são apresentados os fundamentos da periodização das idades na perspectiva vigotskiana, destacando-se a relação entre as proposições do autor e os princípios do método dialético. São então apresentados os estágios do desenvolvimento infantil provisoriamente identificados por Vigotski e, por fim, a análise de Leontiev e Elkonin sobre a periodização do desenvolvimento apoiada na categoria de atividade principal.

Monitoring the process mean and variance using a synthetic control chart with two-stage testing

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Avaliação radiográfica, densitométrica e histológica do uso de perfurações ósseas para o estímulo de consolidação de fraturas do terço distal do rádio de cães

To stimulate the bone callus development process from distal third of radius, 24 adult mongrel dogs used were from both sexes. These dogs were separated in two experimental groups of 12 animals each, named control and treated, divided in 4 moments (M1=15 days; M2=30 days; M3=45 days; M4=60 days), who underwent were performed surgical fractures. In treated group, it was performed bone perforations on proximal and distal edges, craniolateral and mediolateral to the fracture site. At the end of each moment, control and treated animals were evaluated by radiography, histology, and bone mineral densitometry (BMD) was determined on fracture site. According to the radiographic data of treated dogs, it was verified on days 15 and 30 more intense bone regeneration than control group. During M3 and M4, it wasn't detected any difference in bone reparation process betweencontrol and treated groups. In densitometric study, BMD values were greater in treated animals than in control dogs. Histological studies revealed at 15 and 30 days chondrocyte hyperplasia and initial endochondral ossification on drilled limbs; control group showed sustainment connective tissue and initial chondrocyte hiperplasia. At M3 and M4 of the treated group, were verified development and remodeling of periosteal callus in more advanced phases when comparing with limbs from control group. It can be concluded that using perforations enhances blood flow supply and activation of osteogenic cells on fracture site, stimulating the beginning of fracture consolidation process.

Economic Survey of Latin America and the Caribbean 2006-2007

Includes bibliography

Latin America and the Caribbean in the World Economy 2002-2003

Includes bibliography