|
Journals in DBLP
- Robert B. France, Bernhard Rumpe
In search of effective design abstractions. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:1-3 [Journal]
- Cris Kobryn
UML 3.0 and the future of modeling. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:4-8 [Journal]
- María Victoria Cengarle, Alexander Knapp
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:9-30 [Journal]
- Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
Formalization of UML state machines using temporal logic. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:31-54 [Journal]
- Jean Flower, John Howse, John Taylor
Nesting in Euler Diagrams: syntax, semantics and construction. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:55-67 [Journal]
- Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
The OsMoSys approach to multi-formalism modeling of systems. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:68-81 [Journal]
|