Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
Autoři	BRIM Luboš ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora
Rok publikování	2005
Druh	Článek ve sborníku
Konference	Proceedings of SAVCBS 2005
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.cs.iastate.edu/~leavens/SAVCBS/2005/SAVCBS05.pdf
Obor	Informatika
Klíčová slova	ADLs; Component-Interaction automata; component interaction; verification
Popis	Práce popisuje nový přístup k specifikaci a verifikaci komponentových systémů, který kombinuje výhody jazyků pro popis architektury (ADL) a možnosti automatického ověřování temporálních vlastností modelů.
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Realistická aplikace formálních metod v komponentových systémech Vysoce paralelní a distribuované výpočetní systémy