123 search results - page 3 / 25 » On the Construction of Sorted Reactive Systems |
ESOP
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
DEBS
2007
ACM
13 years 8 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
ERSHOV
2003
Springer
13 years 10 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...