Ensino e orientação para projeto de conversores CC-CC através de aplicativos em java

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

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

Uma abordagem dirigida por modelos para gerência de variabilidade e execução de processos de software

This dissertation presents a model-driven and integrated approach to variability management, customization and execution of software processes. Our approach is founded on the principles and techniques of software product lines and model-driven engineering. Model-driven engineering provides support to the specification of software processes and their transformation to workflow specifications. Software product lines techniques allows the automatic variability management of process elements and fragments. Additionally, in our approach, workflow technologies enable the process execution in workflow engines. In order to evaluate the approach feasibility, we have implemented it using existing model-driven engineering technologies. The software processes are specified using Eclipse Process Framework (EPF). The automatic variability management of software processes has been implemented as an extension of an existing product derivation tool. Finally, ATL and Acceleo transformation languages are adopted to transform EPF process to jPDL workflow language specifications in order to enable the deployment and execution of software processes in the JBoss BPM workflow engine. The approach is evaluated through the modeling and modularization of the project management discipline of the Open Unified Process (OpenUP)

CALV3 - Uma linguagem específica de domínio para segurança em sistemas corporativos: um estudo de caso sistemático na indústria

The academic community and software industry have shown, in recent years, substantial interest in approaches and technologies related to the area of model-driven development (MDD). At the same time, continues the relentless pursuit of industry for technologies to raise productivity and quality in the development of software products. This work aims to explore those two statements, through an experiment carried by using MDD technology and evaluation of its use on solving an actual problem under the security context of enterprise systems. By building and using a tool, a visual DSL denominated CALV3, inspired by the software factory approach: a synergy between software product line, domainspecific languages and MDD, we evaluate the gains in abstraction and productivity through a systematic case study conducted in a development team. The results and lessons learned from the evaluation of this tool within industry are the main contributions of this work

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

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

Optimization Strategies Based on Sequential Quadratic Programming Applied for a Fermentation Process for Butanol Production

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The impact of soybean expansion on mammal and bird, in the Balsas region, north Brasilian Cerrado

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Planejamento paisagístico do Campus Universitário da Faculdade de Ciências Agronômicas, UNESP, Botucatu, S.P

O Planejamento Paisagístico do Campus da Faculdade de Ciências Agronômicas da Universidade Estadual Paulista (UNESP) em Botucatu - SP, foi elaborado a partir de um Plano Diretor já existente e considerado o comportamento da paisagem, com edificações e circulações já estabelecidas, dando ênfase ao projeto de ajardinamento do entorno da Central de Salas de Aulas. Os objetivos principais do planejamento visam a proteção do solo, arborização adequada e ajardinamento do encontro dos prédios principais. O traçado proposto é simples, com a finalidade de dar uma escala humana ao Campus, considerando a necessidade dos usuários e de favorecer a utilização de máquinas para manutenção e tratos culturais, em face da pequena disponibilidade de mão-de-obra, sendo mais elaborado somente nos entornos dos prédios principais. A estrutura vegetal é formada de árvores, arbustos, gramados e outras forrações que foram selecionadas por sua rusticidade, resistência, aclimatação ao local e disponibilidade nos Viveiros Experimentais da Faculdade de Ciências Agronômicas-UNESP. Procurou-se utilizar, sempre que possível, espécies nativas

Robust control to parametric uncertainties in smart structures using linear matrix inequalities

The study of algorithms for active vibrations control in flexible structures became an area of enormous interest, mainly due to the countless demands of an optimal performance of mechanical systems as aircraft and aerospace structures. Smart structures, formed by a structure base, coupled with piezoelectric actuators and sensor are capable to guarantee the conditions demanded through the application of several types of controllers. This article shows some steps that should be followed in the design of a smart structure. It is discussed: the optimal placement of actuators, the model reduction and the controller design through techniques involving linear matrix inequalities (LMI). It is considered as constraints in LMI: the decay rate, voltage input limitation in the actuators and bounded output peak (output energy). Two controllers robust to parametric variation are designed: the first one considers the actuator in non-optimal location and the second one the actuator is put in an optimal placement. The performance are compared and discussed. The simulations to illustrate the methodology are made with a cantilever beam with bonded piezoelectric actuators.

H ∞ state feedback control of discrete-time Markov jump linear systems through linear matrix inequalities

This paper addresses the H ∞ state-feedback control design problem of discretetime Markov jump linear systems. First, under the assumption that the Markov parameter is measured, the main contribution is on the LMI characterization of all linear feedback controllers such that the closed loop output remains bounded by a given norm level. This results allows the robust controller design to deal with convex bounded parameter uncertainty, probability uncertainty and cluster availability of the Markov mode. For partly unknown transition probabilities, the proposed design problem is proved to be less conservative than one available in the current literature. An example is solved for illustration and comparisons. © 2011 IFAC.

Biodiversity Can Help Prevent Malaria Outbreaks in Tropical Forests

Background: Plasmodium vivax is a widely distributed, neglected parasite that can cause malaria and death in tropical areas. It is associated with an estimated 80-300 million cases of malaria worldwide. Brazilian tropical rain forests encompass host- and vector-rich communities, in which two hypothetical mechanisms could play a role in the dynamics of malaria transmission. The first mechanism is the dilution effect caused by presence of wild warm-blooded animals, which can act as dead-end hosts to Plasmodium parasites. The second is diffuse mosquito vector competition, in which vector and non-vector mosquito species compete for blood feeding upon a defensive host. Considering that the World Health Organization Malaria Eradication Research Agenda calls for novel strategies to eliminate malaria transmission locally, we used mathematical modeling to assess those two mechanisms in a pristine tropical rain forest, where the primary vector is present but malaria is absent. Methodology/Principal Findings: The Ross-Macdonald model and a biodiversity-oriented model were parameterized using newly collected data and data from the literature. The basic reproduction number (R0) estimated employing Ross-Macdonald model indicated that malaria cases occur in the study location. However, no malaria cases have been reported since 1980. In contrast, the biodiversity-oriented model corroborated the absence of malaria transmission. In addition, the diffuse competition mechanism was negatively correlated with the risk of malaria transmission, which suggests a protective effect provided by the forest ecosystem. There is a non-linear, unimodal correlation between the mechanism of dead-end transmission of parasites and the risk of malaria transmission, suggesting a protective effect only under certain circumstances (e.g., a high abundance of wild warm-blooded animals). Conclusions/Significance: To achieve biological conservation and to eliminate Plasmodium parasites in human populations, the World Health Organization Malaria Eradication Research Agenda should take biodiversity issues into consideration. © 2013 Laporta et al.

Evaluating interaction with websites: Case study of a government website of the Brazilian Ministry of labor and employment

This paper presents a usability evaluation of the MTE (Ministry of Labor e Employment) website in order to measure the effectiveness, efficiency and user satisfaction regarding the website. The participants were 12 users (07 users were female and 05 male). The results indicate that although the education level of all participants and computing experience, many of them have had difficulty in finding information and do not recommend the site. © 2013 Springer-Verlag Berlin Heidelberg.

Gestão da informação esportiva no contexto da inteligência competitiva em clubes de futebol: um estudo de caso no Marília Atlético Clube

Pós-graduação em Ciência da Informação - FFC

Estrategias nacionales para la sociedad de la información en América Latina y el Caribe

Incluye Bibliografía