JML: A Notation for Detailed Design

This publication has 13 references indexed in Scilit:

• Enhancing the pre- and postcondition technique for more expressive specifications
  1999
• Reuse contracts
  1996
• 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
  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