Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware and Systems Modeling, Volume 16
Volume 16, Number 1, February 2017
- Geri Georg, Jeff Gray
, Bernhard Rumpe, Martin Schindler:
SoSyM reflections of 2016: a journal status report. 1-4
- Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo:
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, Michael Leuschel:
Inferring physical units in formal models. 25-47 - Andrzej Wasowski, Thorsten Weyer:
Introduction to the theme issue on variability modeling of software-intensive systems. 49-51 - Andrzej Wasowski, Thorsten Weyer:
Erratum to: Introduction to the theme issue on variability modeling of software-intensive systems. 53 - Nicolas Dintzner, Arie van Deursen, Martin Pinzger:
Analysing the Linux kernel feature model changes using FMDiff. 55-76 - Rodrigo Queiroz, Leonardo Teixeira Passos, Marco Túlio Valente, Claus Hunsen, Sven Apel, Krzysztof Czarnecki:
The shape of feature code: an analysis of twenty C-preprocessor-based systems. 77-96 - Rodrigo Bonifácio, Paulo Borba, Cristiano Ferraz, Paola R. G. Accioly:
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, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Statistical prioritization for software product line testing: an experience report. 153-171 - Ana Belén Sánchez, Sergio Segura, José Antonio Parejo, Antonio Ruiz Cortés:
Variability testing in the wild: the Drupal case study. 173-194 - David Granada, Juan Manuel Vara, Marco Brambilla, Verónica Andrea Bollati, Esperanza Marcos:
Analysing the cognitive effectiveness of the WebML visual notation. 195-227 - Dimitrios S. Kolovos, Antonio García-Domínguez, Louis M. Rose, Richard F. Paige:
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, Daniel Amyot:
An empirical approach toward the resolution of conflicts in goal-oriented models. 279-306
Volume 16, Number 2, May 2017
- Jeff Gray, Bernhard Rumpe:
Models for the digital transformation. 307-308 - Ana Moreira, Bernhard Schätz, Peter J. Clarke, Antonio Vallecillo:
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, Holger Giese:
On the complex nature of MDE evolution and its impact on changeability. 333-356 - Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró:
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, Arnaud Gotlieb, Marius Liaaen:
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, Bernard Carré:
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, Chris Holmes, Julian Johnson, Dimitrios S. Kolovos, Richard F. Paige:
Model-based tool support for Tactical Data Links: an experience report from the defence domain. 559-586 - Iulia Dragomir, Iulian Ober, Christian Percebois:
Contract-based modeling and verification of timed safety requirements within SysML. 587-624
Volume 16, Number 3, July 2017
- Jeff Gray, Bernhard Rumpe:
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, Irene T. P. Vanderfeesten, Marijn G. A. Plomp, Pieter Van Gorp, Dirk Fahland, Wim L. M. van der Crommert, H. Daniel Diaz Garcia:
Evaluating data-centric process approaches: Does the human factor factor in? 649-662 - Ilia Bider, Erik Perjons, Mturi Elias, Paul Johannesson:
A fractal enterprise model and its application for business development. 663-689 - Agnès Front, Dominique Rieu, Marco Santórum, Fatemeh Movahedian:
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, Fabiano Dalpiaz, Paolo Giorgini:
Designing secure business processes with SecBPMN. 737-757 - Laura Sánchez-González, Félix García, Francisco Ruiz, Mario Piattini:
A case study about the improvement of business process models driven by indicators. 759-788 - Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot:
Refinement-based Validation of Event-B Specifications. 789-808 - Alexander van Den Berghe, Riccardo Scandariato, Koen Yskout, Wouter Joosen:
Design notations for secure software: a systematic literature review. 809-831 - Jana-Rebecca Rehse, Peter Fettke, Peter Loos:
A graph-theoretic method for the inductive development of reference process models. 833-873 - Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis:
An integrated semantics for reasoning about SysML design models using refinement. 875-902 - Amin Jalali, Chun Ouyang, Petia Wohed, Paul Johannesson:
Supporting aspect orientation in business process management - From process modelling to process enactment. 903-925
Volume 16, Number 4, October 2017
- Jeff Gray, Bernhard Rumpe:
The importance of flow in software development. 927-928 - Rui C. Gonçalves, Don S. Batory, João L. Sobral, Taylor L. Riché:
From software extensions to product lines of dataflow programs. 929-947 - Taniro Rodrigues, Flávia Coimbra Delicato, Thaís Vasconcelos Batista, Paulo F. Pires, Luci Pirmez:
An approach based on the domain perspective to develop WSAN applications. 949-977 - Zhiqiang Yan, Remco M. Dijkman, Paul Grefen:
Generating process model collections. 979-995 - Vahdat Abdelzad, Timothy C. Lethbridge:
Promoting traits into model-driven development. 997-1017 - Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin:
Process mining using BPMN: relating event logs and process models. 1019-1048 - Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés:
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, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz:
A novel model-based testing approach for software product lines. 1223-1251
a service of 
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 2023-12-05 21:12 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:
