Přejít k obsahu

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

Kód projektu: GAP103/11/1489
Poskytovatel: Grantová agentura České republiky
Doba trvání: 01.01.2011 - 31.12.2013
Hlavní řešitel:

Klíčová slova

softwarové komponenty;ověřování;konzistence architektury;generování specifikace;mimofunkční charakteristiky;přirozený jazyk;aspekty;simulace

Zpět na seznam projektů

Patička