Diari destinat als meus estudiants de disseny de programari, enginyeria de requisits i modelització conceptual. Aquí hi trobareu informacions d'interès, idees i suggeriments per continuar estudiant i aprenent més enllà de les hores de classe. Aquest quadrimestre dono el grup 40 d'enginyeria del software 2 (ES2-40) i el curs de doctorat en modelització conceptual (DMC).
Links
divendres, 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.
- posted by Antoni @ 10:50
