The following pages link to (Q3995276):
Displayed 7 items.
- Functorial semantics of first-order views (Q344796) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- A decade of TAPSOFT (Q5096723) (← links)