The following pages link to Observational implementations (Q5096143):
Displaying 11 items.
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- Extending Bachmair's method for proof by consistency to the final algebra (Q1336767) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Observable models (Q2177576) (← links)
- Optimum observing strategies (Q2738929) (← links)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- Fundamental Approaches to Software Engineering (Q5316436) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)