default search action
Software and Systems Modeling, Volume 16
Volume 16, Number 1, February 2017
- Geri Georg, Jeff Gray
, Bernhard Rumpe
SoSyM reflections of 2016: a journal status report. 1-4 - Mario Bravetti, Robert M. Hierons
Introduction to the Software Engineering and Formal Methods 2013 special issue. 5-6 - Yunja Choi, Taejoon Byun:
Constraint-based test generation for automotive operating systems. 7-24 - Sebastian Krings
Inferring physical units in formal models. 25-47 - Andrzej Wasowski
Introduction to the theme issue on variability modeling of software-intensive systems. 49-51 - Andrzej Wasowski
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems. 53 - Nicolas Dintzner, Arie van Deursen
Analysing the Linux kernel feature model changes using FMDiff. 55-76 - Rodrigo Queiroz, Leonardo Teixeira Passos, Marco Túlio Valente
The shape of feature code: an analysis of twenty C-preprocessor-based systems. 77-96 - Rodrigo Bonifácio
Empirical assessment of two approaches for specifying software product line use case scenarios. 97-123 - Malte Lochau, Johannes Bürdek, Stefan Hölzle, Andy Schürr:
Specification and automated validation of staged reconfiguration processes for dynamic software product lines. 125-152 - Xavier Devroey
Statistical prioritization for software product line testing: an experience report. 153-171 - Ana Belén Sánchez
Variability testing in the wild: the Drupal case study. 173-194 - David Granada
Analysing the cognitive effectiveness of the WebML visual notation. 195-227 - Dimitrios S. Kolovos
Eugenia: towards disciplined and automated development of GMF-based graphical model editors. 229-255 - Robert Heinrich, Philipp Merkle, Jörg Henss, Barbara Paech:
Integrating business process simulation and information system simulation for performance prediction. 257-277 - Jameleddine Hassine
An empirical approach toward the resolution of conflicts in goal-oriented models. 279-306
Volume 16, Number 2, May 2017
- Jeff Gray
Models for the digital transformation. 307-308 - Ana Moreira
Guest editorial to the special issue on "modeling: foundations and applications" (MODELS 2013). 309-311 - Jon Whittle, John Edward Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal:
A taxonomy of tool-related issues affecting the adoption of model-driven engineering. 313-331 - Regina Hebig
On the complex nature of MDE evolution and its impact on changeability. 333-356 - Oszkár Semeráth
Formal validation of domain-specific languages with derived features and well-formedness constraints. 357-392 - Karolina Zurowska, Juergen Dingel:
Language-specific model checking of UML-RT models. 393-415 - Shuai Wang, Shaukat Ali
Automated product line test case selection: industrial case study and controlled experiment. 417-441 - Don S. Batory, Maider Azanza
Teaching model-driven engineering from a relational database perspective. 443-467 - Gilles Vanwormhoudt, Olivier Caron
Aspectual templates in UML - Enhancing the semantics of UML templates in OCL. 469-497 - Tanumoy Pati, Sowmya Kolli, James H. Hill:
Proactive modeling: a new model intelligence technique. 499-521 - Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel
Using contexts to extract models from code. 523-557 - Suraj Ajit
Model-based tool support for Tactical Data Links: an experience report from the defence domain. 559-586 - Iulia Dragomir
Contract-based modeling and verification of timed safety requirements within SysML. 587-624
Volume 16, Number 3, July 2017
- Jeff Gray
Logic formulas in models. 625-626 - Selmin Nurcan, Rainer Schmidt
Theme section of BPMDS'2014: the human perspective in business processes. 627-629 - Charles Crick, Eng K. Chew:
Business processes in the agile organisation: a socio-technical perspective. 631-648 - Hajo A. Reijers
Evaluating data-centric process approaches: Does the human factor factor in? 649-662 - Ilia Bider
A fractal enterprise model and its application for business development. 663-689 - Agnès Front, Dominique Rieu, Marco Santórum
A participative end-user method for multi-perspective business process elicitation and improvement. 691-714 - David Knuplesch, Manfred Reichert:
A visual language for modeling multiple perspectives of business process compliance rules. 715-736 - Mattia Salnitri
Designing secure business processes with SecBPMN. 737-757 - Laura Sánchez-González, Félix García
A case study about the improvement of business process models driven by indicators. 759-788 - Atif Mashkoor
Refinement-based Validation of Event-B Specifications. 789-808 - Alexander van Den Berghe, Riccardo Scandariato, Koen Yskout
Design notations for secure software: a systematic literature review. 809-831 - Jana-Rebecca Rehse
A graph-theoretic method for the inductive development of reference process models. 833-873 - Lucas Lima, Alvaro Miyazawa
An integrated semantics for reasoning about SysML design models using refinement. 875-902 - Amin Jalali
Supporting aspect orientation in business process management - From process modelling to process enactment. 903-925
Volume 16, Number 4, October 2017
- Jeff Gray
The importance of flow in software development. 927-928 - Rui C. Gonçalves
From software extensions to product lines of dataflow programs. 929-947 - Taniro Rodrigues
An approach based on the domain perspective to develop WSAN applications. 949-977 - Zhiqiang Yan, Remco M. Dijkman
Generating process model collections. 979-995 - Vahdat Abdelzad
Promoting traits into model-driven development. 997-1017 - Anna A. Kalenkova
Process mining using BPMN: relating event logs and process models. 1019-1048 - Amador Durán
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. 1049-1082 - Dominique Méry, Michael Poppleton:
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. 1083-1115 - Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva:
Model checking multi-level and recursive nets. 1117-1144 - Jaco Jacobs, Andrew Simpson
On the formal interpretation and behavioural consistency checking of SysML blocks. 1145-1178 - Lukas Linsbauer, Roberto Erick Lopez-Herrejon, Alexander Egyed:
Variability extraction and modeling for product variants. 1179-1199 - Xiaobo Li, Feng Yang, Yonglin Lei, Weiping Wang, Yifan Zhu:
A model framework-based domain-specific composable modeling method for combat system effectiveness simulation. 1201-1222 - Ferruccio Damiani
A novel model-based testing approach for software product lines. 1223-1251
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-19 22: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: