Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{623025,
author = {Vařeková, Pavlína and Zimmerová, Barbora},
address = {Eindhoven, The Netherlands},
booktitle = {IFM 2005 Doctoral Symposium on Integrated Formal Methods},
keywords = {Component-Interaction automata; specification; verification; component-based systems},
language = {eng},
location = {Eindhoven, The Netherlands},
pages = {71-75},
publisher = {Technische Universiteit Eindhoven (TU/e)},
title = {Component-Interaction Automata for Specification and Verification of Component Interactions},
year = {2005}
}
TY - JOUR
ID - 623025
AU - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2005
TI - Component-Interaction Automata for Specification and Verification of Component Interactions
PB - Technische Universiteit Eindhoven (TU/e)
CY - Eindhoven, The Netherlands
KW - Component-Interaction automata
KW - specification
KW - verification
KW - component-based systems
N2 - The paper presents an automata-based language, Component-Interaction automata, designed for specification of component interactions in hierarchical component-based software systems. The language aims to provide a direct and desirable way of modelling component interactions which is meant to be transparent and understandable thanks to the orientation to component-based systems and their specifics.
ER -
VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Component-Interaction Automata for Specification and Verification of Component Interactions. In \textit{IFM 2005 Doctoral Symposium on Integrated Formal Methods}. Eindhoven, The Netherlands: Technische Universiteit Eindhoven (TU/e), 2005, s.~71-75.
|
