More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Software and Systems Modeling, Volume 7

> Home > Journals > Software and Systems Modeling

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 7, Number 1, February 2008

- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FranceR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FranceR08
Robert B. France, Bernhard Rumpe:
Model-based development. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/WhiteSG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/WhiteSG08
Jules White, Douglas C. Schmidt, Aniruddha S. Gokhale:
Simplifying autonomic enterprise Java Bean applications via model-driven engineering and simulation. 3-23
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MarkovicB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MarkovicB08
Slavisa Markovic, Thomas Baar:
Refactoring OCL annotated UML class diagrams. 25-47
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/ImmonenN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ImmonenN08
Anne Immonen, Eila Niemelä:
Survey of reliability and availability prediction methods from the viewpoint of software architecture. 49-65
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/El-AttarM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/El-AttarM08
Mohamed El-Attar, James Miller:
Producing robust use case diagrams via reverse engineering of use case descriptions. 67-83
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/EvansTLF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/EvansTLF08
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier:
Applying CSP || B to information systems. 85-102
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AlanenP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AlanenP08
Marcus Alanen, Ivan Porres:
A metamodeling language supporting subset and union properties. 103-124

Volume 7, Number 2, May 2008

- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FranceR08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FranceR08a
Robert B. France, Bernhard Rumpe:
Correct development of real time and embedded systems. 125
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/Graf08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Graf08
Susanne Graf:
OMEGA: correct development of real time and embedded systems. 127-130
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/HoomanKOVY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/HoomanKOVY08
Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein:
Supporting UML-based development of embedded systems by formal techniques. 131-155
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/CombesHK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CombesHK08
Pierre Combes, David Harel, Hillel Kugler:
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. 157-175
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AbrahamGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AbrahamGS08
Erika Ábrahám, Andreas Grüner, Martin Steffen:
Heap-abstraction for an object-oriented calculus with thread classes. 177-208
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/Jezequel08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Jezequel08
Jean-Marc Jézéquel:
Model driven design and aspect weaving. 209-218
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/QueraltT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/QueraltT08
Anna Queralt, Ernest Teniente:
A platform independent model for the electronic marketplace domain. 219-235
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/HarelM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/HarelM08
David Harel, Shahar Maoz:
Assert and negate revisited: Modal semantics for UML sequence diagrams. 237-252

Volume 7, Number 3, July 2008

- view
  authority control:
- export record
  dblp key:
  - journals/sosym/France08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/France08
Robert B. France:
Fair treatment of evaluations in reviews. 253-254
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AichernigB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AichernigB08
Bernhard K. Aichernig, Bernhard Beckert:
Software engineering and formal methods. 255-256
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/WilsonMC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/WilsonMC08
Thomas Wilson, Savi Maharaj, Robert G. Clark:
Flexible and configurable verification policies with Omnibus. 257-272
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/CeroneCL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CeroneCL08
Antonio Cerone, Simon Connelly, Peter A. Lindsay:
Formal analysis of human operator behavioural patterns in interactive surveillance systems. 273-286
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/WelchFD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/WelchFD08
James Welch, David Faitelson, Jim Davies:
Automatic maintenance of association invariants. 287-301
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/JiangEFM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/JiangEFM08
Li Jiang, Armin Eberlein, Behrouz H. Far, Majid Mousavi:
A methodology for the selection of requirements engineering techniques. 303-328
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/BendraouDGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/BendraouDGM08
Reda Bendraou, Philippe Desfray, Marie-Pierre Gervais, Alexis Muller:
MDA Tool Components: a proposal for packaging know-how in model driven development. 329-343
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AtkinsonK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AtkinsonK08
Colin Atkinson, Thomas Kühne:
Reducing accidental complexity in domain models. 345-359
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/IllaFB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/IllaFB08
Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust:
Improving the accuracy of UML metamodel extensions by introducing induced associations. 361-379

Volume 7, Number 4, October 2008

- view
  authority control:
- export record
  dblp key:
  - journals/sosym/NierstraszW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/NierstraszW08
Oscar Nierstrasz, Jon Whittle:
Guest Editorial to the Special Issue on MoDELS 2006. 381-382
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/Baar08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/Baar08
Thomas Baar:
Correctly defined concrete syntax. 383-398
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MarkovicB08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MarkovicB08a
Slavisa Markovic, Thomas Baar:
Semantics of OCL specified with QVT. 399-422
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MullerFFHSGJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MullerFFHSGJ08
Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel:
Model-driven analysis and synthesis of textual concrete syntax. 423-441
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/DingelDZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/DingelDZ08
Jürgen Dingel, Zinovy Diskin, Alanna Zito:
Understanding and improving UML package merge. 443-467
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/CostalGQRT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CostalGQRT08
Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente:
Improving the definition of general constraints in UML. 469-486
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MustafizSKV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MustafizSKV08
Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe:
Model-driven assessment of system dependability. 487-502

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.