Cílem projektu je nalezení nových teoretických konceptů, metod a nástrojů, jež by umožnily efektivní metodologii návrhu a  implementace informačních systémů. Klíčovou pozici zde převezmou abstraktní modely specifických tříd Petriho sítí, reprezentujících výsledky jednotlivých fází vývoje budovaného informačního systému. Tyto modely, spolu s odpovídajícími metodami a programovými nástroji, umožní analytikům, návrhářům i programátorům pracovat v konzistentním integrovaném prostředí podporujícím automatizaci časově nejnáročnějších kroků vývoje informačního systému -- návrhu, funkční verifikace, vyhodnocení efektivity a výsledné implementace systému.

GA102/94/1097

čeština

Češka Milan, prof. RNDr., CSc. - hlavní řešitel

Fakulta elektrotechniky a komunikačních technologií
- odpovědné pracoviště (13.5.2004 - nezadáno)
Ústav inteligentních systémů
- odpovědné pracoviště (23.10.2001 - nezadáno)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
- interní (23.10.2001 - 31.12.1996)
Výzkumná skupina modelování a optimalizace
- interní (23.10.2001 - 31.12.1996)
Fakulta informačních technologií
- spolupříjemce (23.10.2001 - 31.12.1996)
Fakulta elektrotechniky a komunikačních technologií
- příjemce (13.5.2004 - nezadáno)

Odpovědnost: Češka Milan, prof. RNDr., CSc.