Algebraic specification

Algebraic specification[1][2][3][4] is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980.[5]

  1. ^ Ehrig, Hartmut; Mahr, Bernd (1989). Algebraic Specification. Academic Press. ISBN 0-201-41635-2.
  2. ^ Bergstra, J.A.; Heering, J.; Klint, J. (1985). Algebraic Specification. EATCS Monographs on Theoretical Computer Science. Vol. 6. Springer-Verlag.
  3. ^ Wirsing, Martin (1990). Jan van Leeuwen (ed.). Algebraic Specification. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 675–788.
  4. ^ Sannella, Donald; Tarlecki, Andrzej (2012). Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on Theoretical Computer Science. Springer-Verlag. ISBN 978-3-642-17335-6.
  5. ^ Wagner, Eric G. (December 2002). "Algebraic specifications: some old history and new thoughts". Nordic Journal of Computing. 9 (4): 373–404. ISSN 1236-6064.