Aprendre plegats
divendres, de febrer 25, 2005
 
ES2(40) Java Modeling Language
El Java Modeling Language és un llenguatge que permet definir precondicions, postcondicions i invariants en el context de classes i operacions escrites en Java. Per als encuriosits us proposo que feu i comenteu un exercici senzillet:
Passar a Java l'exemple de Article, PrimeraMatèria i Comanda que hi ha a les transparències (i que hem fet a classe), amb les operacions potsServir i serveix (aquesta redefinida) i afegir-hi les anotacions de les precondicions i postcondicions en JML.

A qui li agradi el tema (i pugui i vulgui dedicar-hi més temps) li proposo un treball opcional:
Implementar l'exemple anterior i fer-ne unes proves usant almenys les eines jmlunit i jmlc. Ho acceptaré com a treball opcional (envieu-lo via correu electrònic) si ho feu abans del 10 de març (després ja estarem embrancats en altres afers).
Espero que ho trobeu útil.
Comments: Publica un comentari a l'entrada

<< Home

Powered by Blogger