Searching for "From Circus to JCSP." – 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.

From circus to jcsp
by Marcel Oliveira, Ana Cavalcanti — 2004 — Sixth International Conference on Formal Engineering Methods, volume 3308 of LNCS, pages 320 – 340
…From Circus to JCSP Marcel Oliveira and Ana Cavalcanti Department of Computer Science…
Cited by 4 (2 self) – Add To MetaCart

Formal development of industrial-scale systems
by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock — 2005 — Innovations in Systems and Software Engineering—A NASA Journal
… that are relevant for our work. 5 6 4 From Circus to JCSP Our strategy for translating Circus programs considers…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

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