Behavioural approaches to algebraic specifications
Authors:
- 1 July 1994
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 31 (7) , 651-671
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A behavioural algebraic framework for modular system design with reuseLecture Notes in Computer Science, 1994
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991
- Observational implementation of algebraic specificationsActa Informatica, 1991
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- A theory of software reusability1988
- Implementation of modular algebraic specifications1988
- Fundamentals of Algebraic Specification 11985
- Unification in conditional-equational theoriesLecture Notes in Computer Science, 1985
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983
- Observability concepts in abstract data type specification1976