Subject-observer specification with component-interaction automata

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
Autoři

VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Rok publikování 2007
Druh Článek ve sborníku
Konference Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Obor Informatika
Klíčová slova Component-based systems; dynamic number of components; finite-state systems; verification; software modelling
Popis Tento článek prezentuje naše řešení problému ohlášeného jako Challenge Problem konference SAVCBS 2007. Skládá se ze dvou částí. V první části prezentujeme model systému, v druhé jeho verifikaci vhledem k neomezenému počtu komponent Observer.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.