In search of effective design abstractions Robert FranceBernhard Rumpe Editorial 01 March 2004 Pages: 1 - 3
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness María Victoria CengarleAlexander Knapp Regular papers 01 March 2004 Pages: 9 - 30
Formalization of UML state machines using temporal logic Carlos RossiManuel EncisoInmaculada P. de Guzmán Regular paper 01 March 2004 Pages: 31 - 54
Nesting in Euler Diagrams: syntax, semantics and construction Jean FlowerJohn HowseJohn Taylor Regular paper 01 March 2004 Pages: 55 - 67
The OsMoSys approach to multi-formalism modeling of systems V. VittoriniM. IaconoG. Franceschinis Regular paper 01 March 2004 Pages: 68 - 81