-
The Java Modeling Language (JML) is a notation for formally specifying the behavior and interfaces of Java classes and methods. The purpose of this manual is to precisely define JML's syntax and semantics.
links for 2009-03-26
This entry was posted on 27/03/2009 (Friday) at 1:05 am and is filed under 網路書簽. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.
Printed from: http://www.mingli-yuan.info/archives/350 .
© Mingli Yuan 2010.
© Mingli Yuan 2010.