Další formáty:
BibTeX
LaTeX
RIS
@misc{698725, author = {Černá, Ivana and Vařeková, Pavlína and Zimmerová, Barbora}, address = {Brno, Czech Republic}, keywords = {Component-based systems; automata theory; specification; verification}, language = {eng}, location = {Brno, Czech Republic}, publisher = {Faculty of Informatics, Masaryk University}, title = {Component-Interaction Automata Modelling Language}, url = {http://www.fi.muni.cz/reports/}, year = {2006} }
TY - GEN ID - 698725 AU - Černá, Ivana - Vařeková, Pavlína - Zimmerová, Barbora PY - 2006 TI - Component-Interaction Automata Modelling Language VL - Technical report FIMU-RS-2006-08 PB - Faculty of Informatics, Masaryk University CY - Brno, Czech Republic KW - Component-based systems KW - automata theory KW - specification KW - verification UR - http://www.fi.muni.cz/reports/ N2 - The paper introduces a Component-interaction automata language, which was designed for modelling of component interactions in hierarchical component-based software systems. The language supports modelling of important interaction attributes of such systems, and hence provides a rich base for further application of formal methods. ER -
ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. \textit{Component-Interaction Automata Modelling Language}. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
|