Formal specifications, prototyping and integration tests

This publication has 7 references indexed in Scilit:

• A compiler for conditional term rewriting systems
  Published by Springer Nature ,1987
• Algebraic semantics of exception handling
  Published by Springer Nature ,1986
• The Larch Family of Specification Languages
  IEEE Software, 1985
• The ASSPEGIQUE specification environment Motivations and Design
  Published by Springer Nature ,1985
• Conditional rewrite rules
  Theoretical Computer Science, 1984
• Algebraic specification of exception handling and error recovery by means of declarations and equations
  Published by Springer Nature ,1984
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970