María Virginia Mauco

Learn More
Building a secure and reliable software system is crucial. Requirements Engineering plays a main role in this process, because it helps to decide precisely what to build. A singular approach [8] proposes a methodology based in the LEL (Language Extended Lexicon) to record the terminology of the macrosystem and scenarios to model the behavior; a set of(More)
Model driven architecture (MDA) is a software development framework based on automatic transformations of models. The first of these models, the computation independent model (CIM), is used to define the business system, and it is usually represented with UML models. Natural language is widely used in requirements engineering as it is generally(More)
Natural language requirements models are useful during the first stages of software development. Formal methods help to increase software quality and reliability. In order to take advantage of both of them, we propose a requirements definition strategy which integrates them. We present in this paper the formalisation of a semiautomatic strategy to derive(More)
The Requirements Engineering area is in constant evolution, and many of its methods and tools had hardly been put into practice in real cases. Therefore, some of the opinions and conclusions that can be found in the specialised bibliography have been generated from theoretical considerations or from their authors' wishes. In [5] a method to obtain a(More)
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. Though a complete automatic construction of the CIM is not possible, we think we could use some requirements models and strategies adapting them to be used in the MDA framework. We(More)
Natural language oriented models are useful during the first stages of software development because they ease and encourage stakeholders' participation. Feature models are widely used to model the information gathered during domain analysis. In this paper, we present a strategy to fruitfully use information represented in a natural language model, known as(More)