Software and System Modeling, Volume 10
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
- 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
- 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
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team