MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Combining Object-Z and CSP." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • CSP-OZ: A Combination of Object-Z and CSP  
  • by Fachbereich Informatik, Abteilung Semantik, Clemens Fischer, Clemens Fischer — 1997
  • …Technical Report CSP-OZ: A Combination of Object-Z and CSP TRCF-97-2 Clemens Fischer University…
  • Add To MetaCart
  • Structural refinement in Object-Z / CSP  
  • by John Derrick, Graeme Smith — 2000 — 2ND INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS (IFM’00), VOLUME 1945 OF LECTURE NOTES IN COMPUTER SCIENCE
  • …. The combination we are interested in here is the use of Object-Z together with CSP. This combination of languages…
  • Cited by 4 (3 self) – Add To MetaCart
  • Unifying classes and processes  
  • by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock — Software and System Modelling
  • …] specifications is studied in detail, and a possible combination of Object-Z and CSP is also considered. In Object-Z…
  • Cited by 1 (0 self) – Add To MetaCart
  • Jass - Java with Assertions  
  • by Detlef Bartetzko, Atanion Gmbh, Clemens Fischer, Michael Möller, Heike Wehrheim — 2001
  • … specifications writ- 2 Bartetzko et al ten in CSP-OZ [10,9], a combination of Object-Z and CSP. Trace assertions…
  • Cited by 60 (4 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB