Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Amitriptyline aggravates the fibrosis process in a rat model of infravesical obstruction

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

Healing process of incisor teeth of diabetic rats replanted after storage in milk

Several local factors that influence the healing process of replanted teeth have been investigated. However, it remains unclear how systemic alterations, such as diabetes mellitus, affect the prognosis of these cases. The purpose of this study was to evaluate the healing process of incisors of non-controlled diabetic rats replanted after storage in bovine long shelf-life (UHT) whole milk. Thirty-two rats were randomly assigned to receive an endovenous injection of either citrate buffer solution (group I - control; n = 16) or streptozotocin dissolved in citrate buffer solution to induce diabetes (group II; n = 16). After confirmation of the diabetic status by analysis of the glycemic levels, the maxillary right incisor of each animal was extracted and immersed in milk for 60 min. The root canals of teeth were then instrumented, and were filled with a calcium hydroxide-based dressing and replanted into their sockets. All animals received systemic antibiotic and were killed by anesthetic overdose 10 and 60 days after replantation. The specimens containing the replanted teeth were removed, fixed, decalcified, and embedded in paraffin. Semi-serial 6-mu m-thick sections were obtained and stained with hematoxylin and eosin for histologic and histometric analyses. The results showed that the connective tissue adjacent to the root surface was less organized in the diabetic animals than in the control animals in both periods; the root dentin was less severely affected by root resorption in the diabetic rats; there were no significant differences between the control and diabetic groups regarding the occurrence of replacement resorption and inflammatory resorption.

A linear optimization approach to the combined production planning model

Two fundamental processes usually arise in the production planning of many industries. The first one consists of deciding how many final products of each type have to be produced in each period of a planning horizon, the well-known lot sizing problem. The other process consists of cutting raw materials in stock in order to produce smaller parts used in the assembly of final products, the well-studied cutting stock problem. In this paper the decision variables of these two problems are dependent of each other in order to obtain a global optimum solution. Setups that are typically present in lot sizing problems are relaxed together with integer frequencies of cutting patterns in the cutting problem. Therefore, a large scale linear optimizations problem arises, which is exactly solved by a column generated technique. It is worth noting that this new combined problem still takes the trade-off between storage costs (for final products and the parts) and trim losses (in the cutting process). We present some sets of computational tests, analyzed over three different scenarios. These results show that, by combining the problems and using an exact method, it is possible to obtain significant gains when compared to the usual industrial practice, which solve them in sequence. (C) 2010 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.

A stochastic shift model for economically designed charts constrained by the process stage configuration

An economic model including the labor resource and the process stage configuration is proposed to design g charts allowing for all the design parameters to be varied in an adaptive way. A random shift size is considered during the economic design selection. The results obtained for a benchmark of 64 process stage scenarios show that the activities configuration and some process operating parameters influence the selection of the best control chart strategy: to model the random shift size, its exact distribution can be approximately fitted by a discrete distribution obtained from a relatively small sample of historical data. However, an accurate estimation of the inspection costs associated to the SPC activities is far from being achieved. An illustrative example shows the implementation of the proposed economic model in a real industrial case. (C) 2011 Elsevier B.V. All rights reserved.

An attack signature model to computer security intrusion detection

Internal and external computer network attacks or security threats occur according to standards and follow a set of subsequent steps, allowing to establish profiles or patterns. This well-known behavior is the basis of signature analysis intrusion detection systems. This work presents a new attack signature model to be applied on network-based intrusion detection systems engines. The AISF (ACME! Intrusion Signature Format) model is built upon XML technology and works on intrusion signatures handling and analysis, from storage to manipulation. Using this new model, the process of storing and analyzing information about intrusion signatures for further use by an IDS become a less difficult and standardized process.

Development of a model to measure the efficiency of outsourced companies in the process of aircraft spare parts technical publications

This paper presents a proposal of a model to measure the efficiency of outsourced companies in the aeronautical industry applying the methods DEA and AHP. It also proposes an evaluation in the relation between the variables of the process and the value obtained for the effiiency. The criteria of Quality, Time and Cost were considered the outputs of the process, and those criteria were quantified by AHP for DEA matrix.The number of technical documents received by those outsorced companies were considered the input of the process. The other purpose is to separate the companies in groups considered able to receive an investment to improve their process. Copyright © 2008 SAE International.

Strategies to model scheduling decisions to plan the soft drink production process

In this paper we present a mixed integer model that integrates lot sizing and lot scheduling decisions for the production planning of a soft drink company. The main contribution of the paper is to present a model that differ from others in the literature for the constraints related to the scheduling decisions. The proposed strategy is compared to other strategies presented in the literature.

Economic-demographic model; a case study for certain Latin American countries; preliminary version

Includes bibliography

Periodicity in a delayed version of the kaldor trade cycle model

We are concerned with the Kaldor's trade cycle model under the effect of a delay which represents a gestation lag between a decision of investment and its effect on the capital stock. Taking the adjustment coefficient in the goods market as a bifurcation parameter, we achieve global branches of periodic solutions. In our setting the delay is a constant inherent to the specific economy. Copyright © 2013 Watam Press.

Development of the integration process in Latin America and the Caribbean: english version of the summary and chapter VI: the Caribbean Community (CARICOM)

Includes bibliography

Convergência digital de objetos de aprendizagem Scorm

Pós-graduação em Ciência da Computação - IBILCE

A Fuzzy Goal Programming model for solving aggregate production-planning problems under uncertainty: A case study in a Brazilian sugar mill

This paper proposes a Fuzzy Goal Programming model (FGP) for a real aggregate production-planning problem. To do so, an application was made in a Brazilian Sugar and Ethanol Milling Company. The FGP Model depicts the comprehensive production process of sugar, ethanol, molasses and derivatives, and considers the uncertainties involved in ethanol and sugar production. Decision-makings, related to the agricultural and logistics phases, were considered on a weekly-basis planning horizon to include the whole harvesting season and the periods between harvests. The research has provided interesting results about decisions in the agricultural stages of cutting, loading and transportation to sugarcane suppliers and, especially, in milling decisions, whose choice of production process includes storage and logistics distribution. (C)2014 Elsevier B.V. All rights reserved.