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
Guest Editorial to the Theme Section on Model-Driven Web Engineering. 11-13 - Oscar Díaz
Harvesting models from web 2.0 databases. 15-34 - Danny M. Groenewegen
Integration of data validation and user interface concerns in a DSL for web applications. 35-52 - Antonio Cicchetti
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
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
Inter-modelling with patterns. 145-174 - Perdita Stevens:
A simple game-theoretic approach to checkonly QVT Relations. 175-199 - Louis M. Rose, Esther Guerra
Genericity for model management operations. 201-219 - Georg Grossmann
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
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
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
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
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
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
Engineering model transformations with transML. 555-577 - Jan Reimann
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
Where does model-driven engineering help? Experiences from three industrial cases. 619-639 - Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens
Supporting multiple perspectives in feature-based configuration. 641-663
Volume 12, Number 4, October 2013
- Robert B. France, Bernhard Rumpe
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
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
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
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
Guidelines for representing complex cardinality constraints in binary and ternary relationships. 871-889
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-11-25 22:32 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: