JML: A Notation for Detailed Design

This publication has 14 references indexed in Scilit:

• An Overview of Larch/C++: Behavioral Specifications for C++ Modules
  Published by Springer Nature ,2007
• Enhancing the pre- and postcondition technique for more expressive specifications
  Published by Springer Nature ,1999
• Mathematical notation in formal specification: too difficult for the masses?
  IEEE Transactions on Software Engineering, 1996
• On the frame problem in procedure specifications
  IEEE Transactions on Software Engineering, 1995
• A behavioral notion of subtyping
  ACM Transactions on Programming Languages and Systems, 1994
• Part I: the RESOLVE framework and discipline
  ACM SIGSOFT Software Engineering Notes, 1994
• Larch: Languages and Tools for Formal Specification
  Published by Springer Nature ,1993
• Issues in the design and specification of class libraries
  ACM SIGPLAN Notices, 1992
• Applying 'design by contract'
  Computer, 1992
• Proof of correctness of data representations
  Acta Informatica, 1972