Journals in DBLP

Software and System Modeling
2005, volume: 4, number: 3

1. Robert B. France, Bernhard Rumpe
   Modeling Paradigms. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:233-233 [Journal]
   
2. Tommaso Bolognesi, John Derrick
   Introduction. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:234-235 [Journal]
   
3. Benoît Fraikin, Marc Frappier, Régine Laleau
   State-based versus event-based specifications for information systems: a comparison of B and eb³. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:236-257 [Journal]
   
4. Neil Evans, Helen Treharne
   Investigating a file transfer protocol using CSP and B. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:258-276 [Journal]
   
5. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
   Unifying classes and processes. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:277-296 [Journal]
   
6. Frank Devos, Eric Steegmans
   Specifying business rules in object-oriented analysis. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:297-309 [Journal]
   
7. John Howse, Steve Schuman
   Precise visual modeling: A case-study. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:310-325 [Journal]
   
8. Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander
   Testing Web applications by modeling with FSMs. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:326-345 [Journal]
   
9. Marcin Sikorski
   Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:3, pp:346-347 [Journal]