![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Software 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
![](https://dblp.uni-trier.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.