The SCEAS System
Navigation Menu

Journals in DBLP

Software and System Modeling
2004, volume: 3, number: 1

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002