default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems 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 - 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 J. Wieringa, Pieter H. Hartel:
Model-based qualitative risk assessment for availability of IT infrastructures. 553-580
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.
last updated on 2025-02-25 23:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
