Abstract Model transformation is one of the basic principles of Model Driven Architecture. To
build a software system, a sequence of transformations is performed, starting from …

Context Use cases have been widely accepted and acknowledged as a specification tool for
specifying the functional requirements of a software system. Many variations of use cases …

This study develops a standardised checklist approach to improve the reporting of discrete-
event simulation, system dynamics and agent-based simulation models within the field of …

It is now more than fifty years since the first paper on formal specifications of an information
system was published by Young and Kent. Even if the term “conceptual model” was not used …

The requirements engineering discipline has become more and more important in the last
years. Tasks such as the requirements elicitation, the specification of requirements or the …

Web Engineering is a new research line in Software Engineering that covers the definition of
processes, techniques and models suitable for Web environments in order to guarantee the …

Use case modeling, including use case diagrams and use case specifications (UCSs), is
commonly applied to structure and document requirements. UCSs are usually structured but …

En los últimos años ha ganado reconocimiento la importancia de la ingeniería de requisitos
y los riesgos en que se incurren si ésta es realizada en forma incompleta o incorrecta …

Abstract Model-Driven Development (MDD) emphasizes the use of models at a higher
abstraction level in the software development process and argues in favor of automation via …

A system for automatic software production including specification and automatic generation
of user interfaces is disclosed. A graphical editor presents diagrams and textual interactive …