Maria Carmen Leonardi

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)
We present in this paper the outstanding features of a multimedia environment for learning object technology. This system presents certain novel aspects such as the extensive use of object animation and hypermedia patterns to describe object-oriented design concepts, in particular object frameworks. This environment complements other teaching and learning(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)
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)
Extreme Requirements (XR) is a proposal that tries to improve the quality of Extreme Programming (XP). XP is a well known agile method for software production. XP key elements are: little documentation, simplicity, analysis as constant activity, evolutionary design, integration and daily test. XR defines a requirements strategy that can be coupled with XP.(More)