Effective verification of systems with a dynamic number of components

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Efektivní verifikace systémů s dynamickým počtem komponent
Autoři	VAŘEKOVÁ Pavlína MORAVEC Pavel ČERNÁ Ivana 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=1292317&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
Obor	Informatika
Klíčová slova	Component-based systems; dynamic number of components; finite-state systems; formal verification
Popis	V článku prezentujeme nový přístup k verifikaci dynamických komponentových systémů; systémů, které se mohou skládat z měnícího se počtu komponent v průběhu svého života.
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Techniky automatické verifikace a validace softwarových a hardwarových systémů Realistická aplikace formálních metod v komponentových systémech Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy