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)
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)
Reusability is the ability to use the same software elements for constructing many different applications. Formal specifications can help to semiautomatic design processes based on reusable components. However, during the first stages of development, when the interaction with the stakeholders is crucial, the use of client-oriented requirements engineering(More)
Model Driven Development (MDD) is a software development paradigm based on automatic transformations of models. We have proposed a strategy to enhance the RAISE formal method by integrating the phase reusable Domain Analysis using Feature Models in the early steps of software development process. The strategy defines a set of mappings from Feature Model(More)