Formal requirements modeling with executable use cases and Coloured Petri Nets

This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level re...

Full description

Bibliographic Details
Main Author: Jorgensen, Jens B. (author)
Other Authors: Tjell, Simon (author), Fernandes, João M. (author)
Format: article
Language:eng
Published: 2009
Subjects:
Requirements engineering
Requirements and specifications
Platform-independent models
Model-driven development
Coloured Petri nets
Science & Technology
Online Access:http://hdl.handle.net/1822/11005
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/11005

Internet

http://hdl.handle.net/1822/11005

Similar Items