Volume 10, Number 1, February 2011
- Huy Tran, Uwe Zdun, Schahram Dustdar:
VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs.
5-29

- Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis:
Semantics of trace relations in requirements models for consistency checking and inferencing.
31-54

- Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés:
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods.
55-62

- Ashalatha Nayak, Debasis Samanta:
Synthesis of test scenarios using UML activity diagrams.
63-89

- Yunja Choi, Christian Bunse:
Design verification in model-based μ-controller development using an abstract component.
91-115

- Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel:
Exploring inconsistencies between modal transition systems.
117-142

Volume 10, Number 2, May 2011
- Antonio Cerone, Stefan Gruner:
Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.
143-145

- Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Formalizing requirements with object models and temporal constraints.
147-160

- Peter Höfner, Ridha Khédri, Bernhard Möller:
An algebra of product families.
161-182

- Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke:
Büchi automata for modeling component connectors.
183-200

- Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons:
Testing timed systems modeled by Stream X-machines.
201-217

- Fausto Spoto:
Precise null-pointer analysis.
219-252

- Haiping Zha, Wil M. P. van der Aalst, Jianmin Wang, Lijie Wen, Jiaguang Sun:
Verifying workflow processes: a transformation-based approach.
253-264

- Paolo Bocciarelli, Andrea D'Ambrogio:
A model-driven method for describing and predicting the reliability of composite services.
265-280

Volume 10, Number 3, July 2011
- Bernhard Rumpe, Robert B. France:
Linking models and their storage artifacts.
281-282

- Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz:
Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages.
283-286

- Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró:
Non-functional properties in the model-driven development of service-oriented systems.
287-311

- Simona Bernardi, José Merseguer, Dorina C. Petriu:
A dependability profile within MARTE.
313-336

- Gregory Zoughbi, Lionel C. Briand, Yvan Labiche:
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.
337-367

- Shareeful Islam, Haralambos Mouratidis, Jan Jürjens:
A framework to support alignment of secure software engineering with legal regulations.
369-394

- Christiano Braga:
A transformation contract to generate aspects from access control policies.
395-409

- Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec:
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.
411-437

Volume 10, Number 4, October 2011
- Bernhard Rumpe, Robert B. France:
Variability in UML language and semantics.
439-440

- Manfred Broy, María Victoria Cengarle:
UML formal semantics: lessons learned.
441-446

- Shahar Maoz, David Harel:
On tracing reactive systems.
447-468

- Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler:
Rigorous identification and encoding of trace-links in model-driven engineering.
469-487

- Zoltán Micskei, Hélène Waeselynck:
The many meanings of UML 2 Sequence Diagrams: a survey.
489-514

- Kenro Yatake, Takuya Katayama:
An executable object-oriented semantics and its application to firewall verification.
515-536

- Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener:
Model-driven generative development of measurement software.
537-552

- Emmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel:
Model-based qualitative risk assessment for availability of IT infrastructures.
553-580

Last update Sat May 25 21:04:59 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page