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

• 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í: 2006
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering
• Fakulta / Pracoviště MU: Fakulta informatiky
• 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