Algebraic system specification and development. A survey and annotated bibliography
From MaRDI portal
Publication:1202052
zbMath0875.68642MaRDI QIDQ1202052
No author found.
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Algebraic specification and development in geometric modeling, Structured theories and institutions, The data type variety of stack algebras, Essential concepts of algebraic specification and program development, A decade of TAPSOFT, Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives, The definition of Extended ML: A gentle introduction, Toward formal development of programs from algebraic specifications: Model-theoretic foundations, Algebraic transformation of unary partial algebras II: Single-pushout approach, CASL: the Common Algebraic Specification Language., OBSCURE, a specification language for abstract data types
Uses Software