Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware 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
a service of 
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 2024-04-25 05:27 CEST 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:
