Automated Generation of Implementation from Textual System Requirements

Abstract : An initial stage of a software development is a specification of the system requirements. Frequently, these requirements are expressed in UML and consist of use cases and a domain model. A use case is a sequence of tasks, which have to be performed to achieve a specific goal. The tasks of the use case are written in a natural language. The domain model describes objects used in the use cases. In this paper, we present an approach that allows automated generation of an executable code directly from the use cases written in a natural language. Use of the generation significantly accelerates the system development, e.g. it makes immediate verification of requirements completeness possible and the generated code can be used as a starting point for the final implementation. A prototype implementation of the approach is also described in the paper.
Type de document :
Communication dans un congrès
Zbigniew Huzar; Radek Koci; Bertrand Meyer; Bartosz Walter; Jaroslav Zendulka. 3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. Springer, Lecture Notes in Computer Science, LNCS-4980, pp.34-47, 2011, Software Engineering Techniques. 〈10.1007/978-3-642-22386-0_3〉
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01572535
Contributeur : Hal Ifip <>
Soumis le : lundi 7 août 2017 - 16:51:12
Dernière modification le : lundi 7 août 2017 - 16:53:37

Fichier

978-3-642-22386-0_3_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Jan Franců, Petr Hnětynka. Automated Generation of Implementation from Textual System Requirements. Zbigniew Huzar; Radek Koci; Bertrand Meyer; Bartosz Walter; Jaroslav Zendulka. 3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. Springer, Lecture Notes in Computer Science, LNCS-4980, pp.34-47, 2011, Software Engineering Techniques. 〈10.1007/978-3-642-22386-0_3〉. 〈hal-01572535〉

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

11