default search action
Software and Systems Modeling, Volume 15
Volume 15, Number 1, February 2016
- Geri Georg, Jeff Gray
, Bernhard Rumpe
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
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
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
Synthesizing object life cycles from business process models. 281-302
Volume 15, Number 2, May 2016
- Jeff Gray
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
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
Formalizing and verifying stochastic system architectures using Monterey Phoenix. 453-471 - Erik Burger
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
Heuristic search for equivalence checking. 513-530 - Corentin Burnay, Ivan J. Jureta, Isabelle Linden
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
Identifying duplicate functionality in textual use cases by aligning semantic actions. 579-603
Volume 15, Number 3, July 2016
- Jeff Gray
Models in simulation. 605-607 - Dániel Varró
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. 609-629 - Donghwan Shin
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
Model transformation intents and their properties. 647-684 - Cédric Eichler, Thierry Monteil, Patricia Stolf
Enhanced graph rewriting systems for complex software domains - Dynamic software architecture, non-functional requirements, and correctness by construction. 685-705 - Massimiliano de Leoni
Turning event logs into process movies: animating what has really happened. 707-732 - Ábel Hegedüs
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
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
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain. 881-905 - Soichiro Hidaka, Massimo Tisi, Jordi Cabot
Feature-based classification of bidirectional transformation approaches. 907-928
Volume 15, Number 4, October 2016
- Jeff Gray
How to write a successful SoSyM submission. 929-931 - Einar Broch Johnsen
Theme issue on Integrated Formal Methods. 933-935 - Tolga Ovatman
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
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
A framework for deadlock detection in core ABS. 1013-1048 - Murat Moran
Automated anonymity verification of the ThreeBallot and VAV voting systems. 1049-1062 - Efstathios Stathakidis, David M. Williams
Constructing and verifying a robust Mix Net using CSP. 1063-1089 - Simon Hudon, Thai Son Hoang
The Unit-B method: refinement guided by progress concerns. 1091-1116 - Stijn de Gouw
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. 1117-1140 - Pontus Boström
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
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 2024-12-17 20:48 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: