Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/11005| Título: | Formal requirements modeling with executable use cases and Coloured Petri Nets |
| Autor(es): | Jorgensen, Jens B. Tjell, Simon Fernandes, João M. |
| Palavras-chave: | Requirements engineering Requirements and specifications Platform-independent models Model-driven development Coloured Petri nets |
| Data: | Mar-2009 |
| Editora: | Springer |
| Revista: | Innovations in Systems and Software Engineering |
| Citação: | “Innovations in Systems and Software Engineering”. ISSN 1614-5046. 5:1 (2009) 13-25. |
| Resumo(s): | 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 requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Therefore, a combination of EUCs and MDD may have potential to cover the path from user-level requirements via specifications to implementations of computer-based systems. |
| Tipo: | Artigo |
| URI: | https://hdl.handle.net/1822/11005 |
| DOI: | 10.1007/s11334-009-0075-6 |
| ISSN: | 1614-5046 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 2009-ISSE-Springer.pdf | 814,02 kB | Adobe PDF | Ver/Abrir |
