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

Czech

Češka Milan, prof. RNDr., CSc. - principal person responsible

Department of Intelligent Systems
- responsible department (23.10.2001 - not assigned)
Faculty of Electrical Engineering and Communication
- responsible department (13.5.2004 - not assigned)
Automated Analysis and Verification Research Group - VeriFIT
- internal (23.10.2001 - 31.12.1996)
System Modelling and Optimization Research Group
- internal (23.10.2001 - 31.12.1996)
Faculty of Information Technology
- co-beneficiary (23.10.2001 - 31.12.1996)
Faculty of Electrical Engineering and Communication
- beneficiary (13.5.2004 - not assigned)

Responsibility: Češka Milan, prof. RNDr., CSc.