Leavens, Gary T. ; Albert L. Baker, and Clyde Ruby. JML: A Notation for Detailed Design. In Haim Kilov, Bernhard Rumpe, and Ian Simmonds (editors), Behavioral Specifications of Businesses and Systems, chapter 12, pages 175-188. Copyright Kluwer, 1999. (1999) |
Languages mentioned
- JML {1998} Interface specification language for JAVA
|
|