Pages that link to "Item:Q911245"
From MaRDI portal
The following pages link to Observational implementation of algebraic specifications (Q911245):
Displaying 9 items.
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)
- Observational implementations (Q5096143) (← links)
- Testing can be formal, too (Q5096726) (← links)