MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Incremental Software Construction with Refinement Diagrams." – 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.

ATOM

Incremental Software Construction with Refinement Diagrams
by Ralph-johan Back — 2005 — Engineering Theories of Software Intensive Systems, NATO Science Series II: Mathematics, Physics and Chemistry
…Ralph-Johan Back Incremental Software Construction with Refinement Diagrams TUCS Technical Report…
Cited by 4 (2 self) – Add To MetaCart

Verifying invariant based programs in the SOCOS environment
by Ralph-johan Back, Johannes Eriksson, Magnus Myreen — 2006 — In Teaching Formal Methods: Practice and Experience (BCS Electronic Workshops in Computing). BCS-FACS
… software construction with refinement diagrams [5], and the project has undergone a number of shifts…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB