Methods of development and verification of component-based applications using natural language specifications
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 14 (SGA02011GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
P103-11-1489
Alternative language
Project name in Czech
Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce
Annotation in Czech
Metoda programování aplikací pomocí komponent se ukázala jako velmi vhodná pro zjednodušení a zrychlení vývojového procesu, zvláště v kontextu podnikových aplikací a dynamicky se vyvíjejících systémů. Přestože se již v této oblasti podařilo dosáhnout mnoha úspěchů, včetně zvyšujícího se využívání komponent v průmyslu, nedošlo ještě k plnému porozumění a prozkoumání zcela základních problémů v mnoha fázích vývoje komponentových aplikací. Cílem projektu je výzkum právě v těchto oblastech ? hlavní výzvy zde leží především ve vylepšování kvality aplikací na základě požadavků uživatele: tvorba automatického procesu extrakce funkčních a nefunkcionálních požadavků přímo z popisu v přirozeném jazyce (např. UML případových studií), udržování konzistence aplikací v systémech s častou aktualizací komponent pomocí kombinace metod statické analýzy kódu a simulačních metod, a vytvoření obecných metod pro zjednodušení programovací fáze vývoje komponentových aplikací pomocí technik FOP (feature-oriented programming).
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project focused on the methodology of software creation and verification using natural language specification. The results of the project were mainly presented in proceedings of conferences of varying quality. Two journal articles were published. Thenumber of publications is adequate, but could have been higher considering the team capabilities. The grant followed the rules of the GAČR.
Solution timeline
Realization period - beginning
Jan 1, 2011
Realization period - end
Dec 31, 2013
Project status
U - Finished project
Latest support payment
Jun 12, 2013
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP14-GA0-GA-U/01:1
Data delivery date
Jul 1, 2014
Finance
Total approved costs
6,189 thou. CZK
Public financial support
6,189 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK