Volume 7,
Number 1,
February 2008
- Robert B. France, Bernhard Rumpe:
Model-based development.
1-2
Electronic Edition (link) BibTeX
- Jules White, Douglas C. Schmidt, Aniruddha S. Gokhale:
Simplifying autonomic enterprise Java Bean applications via model-driven engineering and simulation.
3-23
Electronic Edition (link) BibTeX
- Slavisa Markovic, Thomas Baar:
Refactoring OCL annotated UML class diagrams.
25-47
Electronic Edition (link) BibTeX
- Anne Immonen, Eila Niemelä:
Survey of reliability and availability prediction methods from the viewpoint of software architecture.
49-65
Electronic Edition (link) BibTeX
- Mohamed El-Attar, James Miller:
Producing robust use case diagrams via reverse engineering of use case descriptions.
67-83
Electronic Edition (link) BibTeX
- Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier:
Applying CSP || B to information systems.
85-102
Electronic Edition (link) BibTeX
- Marcus Alanen, Ivan Porres:
A metamodeling language supporting subset and union properties.
103-124
Electronic Edition (link) BibTeX
Volume 7,
Number 2,
May 2008
- Robert B. France, Bernhard Rumpe:
Correct development of real time and embedded systems.
125
Electronic Edition (link) BibTeX
- Susanne Graf:
OMEGA: correct development of real time and embedded systems.
127-130
Electronic Edition (link) BibTeX
- Jozef Hooman, Hillel Kugler, Iulian Ober, Angelika Votintseva, Yuri Yushtein:
Supporting UML-based development of embedded systems by formal techniques.
131-155
Electronic Edition (link) BibTeX
- Pierre Combes, David Harel, Hillel Kugler:
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.
157-175
Electronic Edition (link) BibTeX
- Erika Ábrahám, Andreas Grüner, Martin Steffen:
Heap-abstraction for an object-oriented calculus with thread classes.
177-208
Electronic Edition (link) BibTeX
- Jean-Marc Jézéquel:
Model driven design and aspect weaving.
209-218
Electronic Edition (link) BibTeX
- Anna Queralt, Ernest Teniente:
A platform independent model for the electronic marketplace domain.
219-235
Electronic Edition (link) BibTeX
- David Harel, Shahar Maoz:
Assert and negate revisited: Modal semantics for UML sequence diagrams.
237-252
Electronic Edition (link) BibTeX
Volume 7,
Number 3,
July 2008
- Robert B. France:
Fair treatment of evaluations in reviews.
253-254
Electronic Edition (link) BibTeX
- Bernhard K. Aichernig, Bernhard Beckert:
Software engineering and formal methods.
255-256
Electronic Edition (link) BibTeX
- Thomas Wilson, Savi Maharaj, Robert G. Clark:
Flexible and configurable verification policies with Omnibus.
257-272
Electronic Edition (link) BibTeX
- Antonio Cerone, Simon Connelly, Peter A. Lindsay:
Formal analysis of human operator behavioural patterns in interactive surveillance systems.
273-286
Electronic Edition (link) BibTeX
- James Welch, David Faitelson, Jim Davies:
Automatic maintenance of association invariants.
287-301
Electronic Edition (link) BibTeX
- Li Jiang, Armin Eberlein, Behrouz H. Far, Majid Mousavi:
A methodology for the selection of requirements engineering techniques.
303-328
Electronic Edition (link) BibTeX
- Reda Bendraou, Philippe Desfray, Marie-Pierre Gervais, Alexis Muller:
MDA Tool Components: a proposal for packaging know-how in model driven development.
329-343
Electronic Edition (link) BibTeX
- Colin Atkinson, Thomas Kühne:
Reducing accidental complexity in domain models.
345-359
Electronic Edition (link) BibTeX
- Xavier Burgués Illa, Xavier Franch, Josep M. Ribó Balust:
Improving the accuracy of UML metamodel extensions by introducing induced associations.
361-379
Electronic Edition (link) BibTeX
Volume 7,
Number 4,
October 2008
- Oscar Nierstrasz, Jon Whittle:
Guest Editorial to the Special Issue on MoDELS 2006.
381-382
Electronic Edition (link) BibTeX
- Thomas Baar:
Correctly defined concrete syntax.
383-398
Electronic Edition (link) BibTeX
- Slavisa Markovic, Thomas Baar:
Semantics of OCL specified with QVT.
399-422
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jürgen Dingel, Zinovy Diskin, Alanna Zito:
Understanding and improving UML package merge.
443-467
Electronic Edition (link) BibTeX
- Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente:
Improving the definition of general constraints in UML.
469-486
Electronic Edition (link) BibTeX
- Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe:
Model-driven assessment of system dependability.
487-502
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:22:22 2009
by Michael Ley (ley@uni-trier.de)
