Detail projektu
Metodologie vývoje informačních systémů
Období řešení: 1.1.1994 — 31.12.1996
Zdroje financování
Grantová agentura České republiky - Standardní projekty
O projektu
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.
Označení
GA102/94/1097
Originální jazyk
čeština
Řešitelé
Češka Milan, prof. RNDr., CSc. - hlavní řešitel
Útvary
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.