Java Modelling Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
+Bibliografia |
|||
Riga 79:
}
</source>
==Bibliografia==
* {{en}} Gary T. Leavens, Yoonsik Cheon. ''Design by Contract with JML. Draft tutorial.''
* {{en}} Gary T. Leavens, Albert L. Baker e Clyde Ruby. ''JML: A Notation for Detailed Design''. In Haim Kilov, Bernhard Rumpe e Ian Simmonds, ''Behavioral Specifications of Businesses and Systems'', capitolo 12, pagg. 175-188. Kluwer, 1999.
==Collegamenti esterni==
| |||