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, 2007, s.~75-81. ISBN~978-1-59593-721-6.
|