default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Modeling, Volume 15
Volume 15, Number 1, February 2016
- Geri Georg, Jeff Gray
, Bernhard Rumpe, Martin Schindler:
The 2015 "State of the Journal" report. 1-4 - Pieter J. Mosterman, Justyna Zander:
Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems. 5-16 - Pieter J. Mosterman, Justyna Zander:
Industry 4.0 as a Cyber-Physical System study. 17-29 - Michael Szvetits, Uwe Zdun:
Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime. 31-69 - Zhiqiang Fan, Tao Yue, Li Zhang:
SAMM: an architecture modeling methodology for ship command and control systems. 71-118 - Amal Elgammal, Oktay Türetken, Willem-Jan van den Heuvel, Mike P. Papazoglou:
Formalizing and appling compliance patterns for business process compliance. 119-146 - Geoffrey Biggs, Takeshi Sakamoto, Tetsuo Kotoku:
A profile and tool for modelling safety information with design information in SysML. 147-178 - Ernesto Posse, Juergen Dingel:
An executable formal semantics for UML-RT. 179-217 - Mario Cortes Cornax, Sophie Dupuy-Chessa, Dominique Rieu, Nadine Mandran:
Evaluating the appropriateness of the BPMN 2.0 standard for modeling service choreographies: using an extended quality framework. 219-255 - Mohsen Asadi, Gerd Gröner, Bardia Mohabbati, Dragan Gasevic:
Goal-oriented modeling and verification of feature-oriented product lines. 257-279 - Rik Eshuis, Pieter Van Gorp:
Synthesizing object life cycles from business process models. 281-302
Volume 15, Number 2, May 2016
- Jeff Gray, Bernhard Rumpe:
The evolution of model editors: browser- and cloud-based solutions. 303-305 - Selmin Nurcan, Rainer Schmidt:
Special section of BPMDS'2013: coping with complexity in business processes. 307-308 - Nesi Outmazgin, Pnina Soffer:
A process mining-based analysis of business process work-arounds. 309-323 - Cornelia Haisjackl, Irene Barba, Stefan Zugal, Pnina Soffer, Irit Hadar, Manfred Reichert, Jakob Pinggera, Barbara Weber:
Understanding Declare models: strategies, pitfalls, empirical results. 325-352 - Matthias Lohrmann, Manfred Reichert:
Effective application of process improvement patterns to business processes. 353-375 - Rui C. Gonçalves, Don S. Batory, João Luís Sobral:
ReFlO: an interactive tool for pipe-and-filter domain specification and program generation. 377-395 - Matthias Farwick, Christian M. Schweda, Ruth Breu, Inge Hanschke:
A situational method for semi-automated Enterprise Architecture Documentation. 397-426 - Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan:
Component-based verification using incremental design and invariants. 427-451 - Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix. 453-471 - Erik Burger, Jörg Henss, Martin Küster, Steffen Kruse, Lucia Happe:
View-based model-driven software development with ModelJoin. 473-496 - Tamal Sen, Rajib Mall:
Extracting finite state representation of Java programs. 497-511 - Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. 513-530 - Corentin Burnay, Ivan J. Jureta, Isabelle Linden, Stéphane Faulkner:
A framework for the operationalization of monitoring in business intelligence requirements engineering. 531-552 - Erik Wittern, Christian Zirpins:
Service feature modeling: modeling and participatory ranking of service design alternatives. 553-578 - Alejandro Rago, Claudia A. Marcos, J. Andres Diaz-Pace:
Identifying duplicate functionality in textual use cases by aligning semantic actions. 579-603
Volume 15, Number 3, July 2016
- Jeff Gray, Bernhard Rumpe:
Models in simulation. 605-607 - Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi:
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. 609-629 - Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae:
Comprehensive analysis of FBD test coverage criteria using mutants. 631-645 - Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer:
Model transformation intents and their properties. 647-684 - Cédric Eichler, Thierry Monteil, Patricia Stolf, Luigi Alfredo Grieco, Khalil Drira:
Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction. 685-705 - Massimiliano de Leoni, Suriadi Suriadi, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst:
Turning event logs into process movies: animating what has really happened. 707-732 - Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró:
Query-driven soft traceability links for models. 733-756 - Tao Yue, Shaukat Ali:
Empirically evaluating OCL and Java for specifying constraints on UML models. 757-781 - Nuno Macedo, Alcino Cunha:
Least-change bidirectional model transformation with QVT-R and ATL. 783-810 - Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski:
Clafer: unifying class and feature modeling. 811-845 - Jung Ho Bae, Heung Seok Chae:
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments. 847-879 - Johan Fabry, Arturo Zambrano, Silvia E. Gordillo:
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain. 881-905 - Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu:
Feature-based classification of bidirectional transformation approaches. 907-928
Volume 15, Number 4, October 2016
- Jeff Gray, Bernhard Rumpe:
How to write a successful SoSyM submission. 929-931 - Einar Broch Johnsen, Luigia Petre:
Theme issue on Integrated Formal Methods. 933-935 - Tolga Ovatman, Atakan Aral, Davut Polat, Ali Osman Ünver:
An overview of model checking practices on verification of PLC software. 937-960 - Fu Song, Tayssir Touili:
Model-checking software library API usage rules. 961-985 - Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. 987-1012 - Elena Giachino, Cosimo Laneve, Michael Lienhardt:
A framework for deadlock detection in core ABS. 1013-1048 - Murat Moran, James Heather, Steve A. Schneider:
Automated anonymity verification of the ThreeBallot and VAV voting systems. 1049-1062 - Efstathios Stathakidis, David M. Williams, James Heather:
Constructing and verifying a robust Mix Net using CSP. 1063-1089 - Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff:
The Unit-B method: refinement guided by progress concerns. 1091-1116 - Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel:
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. 1117-1140 - Pontus Boström, Jonatan Wiik:
Contract-based verification of discrete-time multi-rate Simulink models. 1141-1161 - Susanne Graf, Sophie Quinton:
Knowledge-based construction of distributed constrained systems. 1163-1180 - Radu Muschevici, José Proença, Dave Clarke:
Feature Nets: behavioural modelling of software product lines. 1181-1206 - Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki:
Supporting different process views through a Shared Process Model. 1207-1233
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-11-16 00:13 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:
