%0 Conference Proceedings
%T Automated Generation of Implementation from Textual System Requirements
%+ Univerzita Karlova [Praha, Česká republika] = Charles University [Prague, Czech Republic] (UK)
%A Franců, Jan
%A Hnětynka, Petr
%Z Part 2: Requirements Specification
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 3rd Central and East European Conference on Software Engineering Techniques (CEESET)
%C Brno, Czech Republic
%Y Zbigniew Huzar
%Y Radek Koci
%Y Bertrand Meyer
%Y Bartosz Walter
%Y Jaroslav Zendulka
%I Springer
%3 Software Engineering Techniques
%V LNCS-4980
%P 34-47
%8 2008-10-13
%D 2008
%R 10.1007/978-3-642-22386-0_3
%K Use cases
%K code generation
%K requirement engineering
%K natural language
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01572535/document
%2 https://inria.hal.science/hal-01572535/file/978-3-642-22386-0_3_Chapter.pdf
%L hal-01572535
%U https://inria.hal.science/hal-01572535
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-CEESET
%~ IFIP-LNCS-4980