Enhancing the pre- and postcondition technique for more expressive specifications

This publication has 35 references indexed in Scilit:

• Forcing behavioral subtyping through specification inheritance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Refinement Calculus
  Published by Springer Nature ,1998
• A Theory and Practice of Program Development
  Published by Springer Nature ,1997
• Identification of and solutions to shortcomings of LCL, a Larch/C interface specification language
  Published by Springer Nature ,1996
• TROLL light — The language and its development environment
  Published by Springer Nature ,1995
• Formal Specification and Design
  Published by Cambridge University Press (CUP) ,1992
• Combining angels, demons and miracles in program specifications
  Theoretical Computer Science, 1992
• Debugging Larch shared language specifications
  IEEE Transactions on Software Engineering, 1990
• Predicate Calculus and Program Semantics
  Published by Springer Nature ,1990
• A calculus of refinements for program derivations
  Acta Informatica, 1988