![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Software and Systems Modeling, Volume 12
Volume 12, Number 1, February 2013
- Robert B. France, Geri Georg, Bernhard Rumpe
, Martin Schindler:
The 2012 "State of the Journal" Report. 1-3 - Wolfgang Reisig:
Remarks on Egon Börger: "Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11: 305-318". 5-9 - Geert-Jan Houben, Nora Koch
, Gustavo Rossi
, Antonio Vallecillo
:
Guest Editorial to the Theme Section on Model-Driven Web Engineering. 11-13 - Oscar Díaz
, Gorka Puente, Javier Luis Cánovas Izquierdo
, Jesús García Molina:
Harvesting models from web 2.0 databases. 15-34 - Danny M. Groenewegen
, Eelco Visser
:
Integration of data validation and user interface concerns in a DSL for web applications. 35-52 - Antonio Cicchetti
, Davide Di Ruscio
, Ludovico Iovino
, Alfonso Pierantonio:
Managing the evolution of data-intensive Web applications by model-driven techniques. 53-83 - Richard F. Paige, Jeff Gray
:
Guest editorial to the special issue on model transformation. 85-87 - Yingfei Xiong
, Hui Song, Zhenjiang Hu, Masato Takeichi:
Synchronizing concurrent model updates based on bidirectional transformation. 89-104 - Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Bruneliere
:
Typing artifacts in megamodeling. 105-119 - Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen:
A collection operator for graph transformation. 121-144 - Esther Guerra
, Juan de Lara
, Fernando Orejas
:
Inter-modelling with patterns. 145-174 - Perdita Stevens:
A simple game-theoretic approach to checkonly QVT Relations. 175-199 - Louis M. Rose, Esther Guerra
, Juan de Lara
, Anne Etien
, Dimitris S. Kolovos
, Richard F. Paige:
Genericity for model management operations. 201-219 - Georg Grossmann
, Michael Schrefl
, Markus Stumptner
:
Erratum to: Design for service compatibility - Behavioural compatibility checking and diagnosis. 221
Volume 12, Number 2, May 2013
- Robert B. France, Bernhard Rumpe
:
The evolution of modeling research challenges. 223-225 - Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone:
Guest editorial to the special section on SEFM 2009. 227-228 - Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial:
Event-B patterns and their tool support. 229-244 - Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Metric propositional neighborhood logics on natural numbers. 245-264 - Judith Thyssen, Benjamin Hummel:
Behavioral specification of reactive systems using stream-based I/O tables. 265-283 - Bertrand Jeannet:
Relational interprocedural verification of concurrent programs. 285-306 - Harald Störrle:
Towards clone detection in UML domain models. 307-329 - Koen Buyens, Riccardo Scandariato, Wouter Joosen:
Least privilege analysis in software architectures. 331-348 - José Luiz Fiadeiro, Antónia Lopes
:
A model for dynamic reconfiguration in service-oriented architectures. 349-367 - Ana Ivanovic, Pierre America, Chris Snijders:
Modeling customer-centric value of system architecture investments. 369-385 - Eugene Syriani
, Hans Vangheluwe
:
A modular timed graph transformation language for simulation-based design. 387-414 - Piotr Kosiuczenko:
Specification of invariability in OCL - Specifying invariable system parts and views. 415-434 - Muhammad Ali Babar, Ian Gorton, Flávio Oquendo:
Building European software architecture community: how far have we come? 435-438
Volume 12, Number 3, July 2013
- Robert B. France, Bernhard Rumpe
:
Model-based lifecycle management of software-intensive systems, applications, and services. 439-440 - Tony Clark
, Gabor Karsai
, Roel J. Wieringa, Robert B. France, Bernhard Rumpe
:
A newly introduced Industry Voice Column. 441-442 - Christof Ebert:
Improving engineering efficiency with PLM/ALM. 443-449 - Dorina C. Petriu
:
Guest editorial to the special issue on MODELS 2010. 451-452 - Juan de Lara
, Esther Guerra
:
From types to type requirements: genericity for model-driven engineering. 453-474 - Thomas Kühne
:
On model compatibility with referees and contexts. 475-488 - Georg Grossmann
, Michael Schrefl
, Markus Stumptner
:
Design for service compatibility - Behavioural compatibility checking and diagnosis. 489-515 - Christian Gerth, Jochen Malte Küster, Markus Luckey, Gregor Engels:
Detection and resolution of conflicting change operations in version management of process models. 517-535 - Patrick Mäder, Jane Cleland-Huang:
A visual language for modeling and executing traceability queries. 537-553 - Esther Guerra
, Juan de Lara
, Dimitrios S. Kolovos
, Richard F. Paige, Osmar Marchi dos Santos:
Engineering model transformations with transML. 555-577 - Jan Reimann
, Mirko Seifert, Uwe Aßmann
:
On the reuse and recommendation of model refactoring specifications. 579-596 - Humberto Nicolás Castejón Martínez, Gregor von Bochmann, Rolv Bræk:
On the realizability of collaborative services. 597-617 - Parastoo Mohagheghi, Wasif Gilani, Alin Stefanescu
, Miguel A. Fernández, Bjørn Nordmoen, Mathias Fritzsche:
Where does model-driven engineering help? Experiences from three industrial cases. 619-639 - Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens
, Dirk Deridder, Ebrahim Khalil Abbasi:
Supporting multiple perspectives in feature-based configuration. 641-663
Volume 12, Number 4, October 2013
- Robert B. France, Bernhard Rumpe
, Martin Schindler:
Why it is so hard to use models in software development: observations. 665-668 - Yongjie Zheng, Richard N. Taylor:
A classification and rationalization of model-based software development. 669-678 - David J. Lilja, Raffaela Mirandola:
Introduction to the theme issue on performance modeling. 679-680 - Stephan Kraft, Giuliano Casale
, Diwakar Krishnamurthy, Des Greer
, Peter Kilpatrick
:
Performance models of storage contention in cloud environments. 681-704 - Kai Sachs, Samuel Kounev, Alejandro P. Buchmann:
Performance modeling and analysis of message-oriented event-driven systems. 705-729 - Peter Altevogt, Tibor Kiss, Mike Kistler, Ram Rangan:
Mesoscale performance simulation of multicore processor systems. 731-744 - Hai Nguyen, Amy W. Apon:
A component-based end-to-end simulation of the Linux file system. 745-764 - Daniel Dominguez Gouvêa, Cyro de A. Assis D. Muniz, Gilson A. Pinto, Alberto Avritzer, Rosa Maria Meri Leão, Edmundo de Souza e Silva
, Morganna Carmem Diniz, Vittorio Cortellessa, Luca Berardinelli
, Julius C. B. Leite, Daniel Mossé, Yuanfang Cai, Michael Dalton, Lucia Happe
, Anne Koziolek
:
Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture. 765-787 - Roy Grønmo, Ragnhild Kobro Runde, Birger Møller-Pedersen:
Confluence of aspects for sequence diagrams. 789-824 - Ann Nkwocha, Jon G. Hall
, Lucia Rapanotti:
Design rationale capture for process improvement in the globalised enterprise: an industrial study. 825-845 - Vlad Rusu:
Embedding domain-specific modelling languages in Maude specifications. 847-869 - Dolores Cuadra
, Paloma Martínez, Elena Castro, Harith T. Al-Jumaily:
Guidelines for representing complex cardinality constraints in binary and ternary relationships. 871-889
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.