Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{726164,
author = {Vařeková, Pavlína and Zimmerová, Barbora},
address = {New York, NY, USA},
booktitle = {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},
keywords = {Component-based systems; dynamic number of components; finite-state systems; verification; software modelling},
language = {eng},
location = {New York, NY, USA},
isbn = {978-1-59593-721-6},
pages = {75-81},
publisher = {ACM Press},
title = {Subject-observer specification with component-interaction automata},
url = {http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868},
year = {2007}
}
TY - JOUR
ID - 726164
AU - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2007
TI - Subject-observer specification with component-interaction automata
PB - ACM Press
CY - New York, NY, USA
SN - 9781595937216
KW - Component-based systems
KW - dynamic number of components
KW - finite-state systems
KW - verification
KW - software modelling
UR - http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
N2 - This paper presents our solution to the Subject-Observer Specification problem announced as the challenge problem of the SAVCBS 2007 workshop. The text consists of two parts. In the first part, we present the model of the Subject- Observer system in terms of Component-interaction automata. In the second part, we present our approach to verification of the system model with respect to unlimited number of Observers.
ER -
VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In \textit{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}. New York, NY, USA: ACM Press. s.~75-81. ISBN~978-1-59593-721-6. 2007.
|
