Automated Generation of Implementation from Textual System Requirements

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F11%3A10102953" target="_blank" >RIV/00216208:11320/11:10102953 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.1007/978-3-642-22386-0_3" target="_blank" >http://dx.doi.org/10.1007/978-3-642-22386-0_3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-22386-0_3" target="_blank" >10.1007/978-3-642-22386-0_3</a>

Result language

angličtina

Original language name

Automated Generation of Implementation from Textual System Requirements

Original language description

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.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA201%2F06%2F0770" target="_blank" >GA201/06/0770: Formal methods applicable to development of component-based systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2011

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Lecture Notes in Computer Science

ISSN

0302-9743

e-ISSN

—

Volume of the periodical

2011

Issue of the periodical within the volume

4980

Country of publishing house

DE - GERMANY

Number of pages

14

Pages from-to

34-47

UT code for WoS article

—

EID of the result in the Scopus database

—