Searching for "Object-Oriented Specification of Reactive Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Verifying For Reuse: foundations of object-oriented system verification
by José Luiz Fiadeiro, Josž Luiz Fiadeiro, Tom Maibaum — 1993 — In Theory and Formal Methods
…, supporting modular verification over object-oriented specifications of reactive systems, with the aim…
Cited by 9 (0 self) – Add To MetaCart

DisCo Specification Language: Marriage of Actions and Objects
by Hannu-Matti Järvinen, Reino Kurki-Suonio — 1991 — In Proceedings of the 11th International Conference on Distributed Computing Systems
… specifications, inheritance, joint action systems, modularity, object-oriented specifications, reactive systems…
Cited by 23 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB