The following pages link to (Q3938468):
Displayed 16 items.
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)