Searching for "On Observational Equivalence and Algebraic Specification." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
On Observational Equivalence and Algebraic Specification
- … specification SP relaxes interpretation to all those algebras which are observationally equivalent to a model…
- Cited by 66 (17 self) – Add To MetaCart
-
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i--
- …ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION -- Extended abstract i -- Donald Sannella…
- Add To MetaCart
-
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
- … is observationally equivalent to an algebra of the abstract specification. Here, by analogy, to be qualified…
- Cited by 1 (1 self) – Add To MetaCart
-
Specification Refinement with System F
- …. In algebraic specification we said that two \Sigma -algebras A and B are observationally equivalent w.r.t. Obs…
- Cited by 6 (3 self) – Add To MetaCart
Showing 1 through 4.
