Title :
Executable Use Cases: a Supplement to Model-Driven Development?
Author :
Jørgensen, Jens Bæk
Author_Institution :
Dept. of Comput. Sci., Aarhus Univ.
Abstract :
Executable use cases (EUCs) is a model-based approach to requirements engineering. In the introduction to this paper, we briefly discuss how EUCs may be used as a supplement to model-driven development (MDD). Then we present the EUC approach in more detail. An EUC can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described; it is sufficient for MDD that a specification, or platform-independent model, of the software that we are going to develop is provided. Therefore, a combination of EUCs and MDD may have potential to cover the full software engineering path from user-level requirements via specifications to implementations of running computer systems
Keywords :
formal specification; executable use cases; model-driven development; requirements engineering; software engineering; software specifications; user-level requirements; Computer architecture; Computer interfaces; Computer science; Control systems; Embedded software; Petri nets; Software engineering; Software systems; Systems engineering and theory; Terminology;
Conference_Titel :
Model-Based Methodologies for Pervasive and Embedded Software, 2007. MOMPES '07. Fourth International Workshop on
Conference_Location :
Braga
Print_ISBN :
0-7695-2769-8
DOI :
10.1109/MOMPES.2007.6
