Algebraic specifications in software engineering : an introduction

@inproceedings{Horebeek1989AlgebraicSI,
  title={Algebraic specifications in software engineering : an introduction},
  author={Ivo Van Horebeek and Joannes Lewi},
  year={1989}
}
There is now general agreement that formal specifications are needed to obtain quality software in large projects. Algebraic specifications form a major category of formal specifications. Many projects using algebraic specifications have now been carried out, and their more widespread use has been prevented only by the absence of introductory descriptions and supporting tools. The aim of this book is to bridge the gap between theory and practice by providing a sound introduction to algebraic… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 15 CITATIONS

Similar Papers