Searching for "A Refinement Strategy for Circus." – 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.

Formal development of industrial-scale systems
by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock — 2005 — Innovations in Systems and Software Engineering—A NASA Journal
…, supports refinement in a calculational style similar to [13]. A refinement strategy for Circus is presented…
Cited by 2 (2 self) – Add To MetaCart

Class and Capsule Refinement in UML for Real Time
by Augusto Sampaio, Alexandre Mota, Rodrigo Ramos — 2004 — In Proceedings of the Brazilian Workshop on Formal Methods, volume 95 of ENTCS
… practice. Motivated by this research direction, the aim of this paper is to define a refinement strategy…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 2.

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