Metody pro tvorbu a ověřování komponentových systémů ze specifikací v přirozeném jazyce

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 14 (SGA02011GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

P103-11-1489

Název projektu anglicky

Methods of development and verification of component-based applications using natural language specifications

Anotace anglicky

The component based programming approach was proven to greatly simplify the development process, especially in the context of enterprise and evolving systems. Despite successes in the field and increasing industrial adoption of component based programming techniques, fundamental issues of many stages of the development process are not well understood and have not been explored yet. This project focuses on research of these areas ? the key challenges to address are mainly related to enhancing the qualityof component based applications with respect to user requirements: devising a process of automated deriving components? functional design and extra-functional features from natural language descriptions (e.g. UML use cases), maintaining consistency of applications in context of dynamic systems with frequent component updates by combination of static verification methods and component based simulation, and to develop universal methods for easing of coding phases of component software development based on feature-oriented programming (FOP) techniques.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt se zabýval metodikou tvorby a verifikace software specifikovaného v přirozeném jazyce. Výsledky projektu byly publikovány ve sbornících konferencí rozmanité kvality. Dva články vyšly v časopise s IF. Rozsah publikační aktivity je na spodní hrani?

Zahájení řešení

1. 1. 2011

Ukončení řešení

31. 12. 2013

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

12. 6. 2013

Důvěrnost údajů

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

Systémové označení dodávky dat

CEP14-GA0-GA-U/01:1

Datum dodání záznamu

1. 7. 2014

Celkové uznané náklady

6 189 tis. Kč

Výše podpory ze státního rozpočtu

6 189 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč