Searching for "A Constructive Approach to Correctness" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
A ProCoS II Project Description: ESPRIT Basic Research project 7071
- …]. The distinctive approach of the European e ort is to emphasise: 1. A constructive approach to correctness, using…
- Cited by 2 (2 self) – Add To MetaCart
-
Provably Correct Communication Networks (CoCoN)
- … programs. ProCoS offers a constructive approach to correctness, that is based on a common mathematical…
- Cited by 2 (1 self) – Add To MetaCart
-
The Incremental Development of Correct Specifications for Distributed Systems
- …CoS emphasizes a constructive approach to correctness, using verified transformations between requirements…
- Cited by 3 (3 self) – Add To MetaCart
-
Incremental Development of Deadlock-Free Communicating Systems
- … language. It emphasizes a constructive approach to correctness, using stepwise fully semantics preserving…
- Cited by 1 (1 self) – Add To MetaCart
-
A Formal Approach to the Development of Reliable Multi-User Multimedia Applications
- … constructive approach to correctness, using stepwise transformations between designs, specifications, programs…
- Cited by 4 (4 self) – Add To MetaCart
-
Formalizing Requirements for Distributed Systems with Trace Diagrams
- … constructive approach to correctness, using stepwise transformations between specifications, designs, programs…
- Cited by 1 (0 self) – Add To MetaCart
-
A ProCoS II Project Final Report: ESPRIT Basic Research project 7071
- … constructive approach to correctness, using proven transformations between specifications and designs…
- Add To MetaCart
-
A ProCoS Project Final Report: ESPRIT Basic Research project 7071
- … was to emphasise the following: 1. A constructive approach to correctness, using proven transformations between…
- Add To MetaCart
Showing 1 through 8.
