Skip to main content

Software and Systems Modeling

Ausgabe 6/2022

Inhalt (17 Artikel)

Open Access Editorial

Reflection on the differences between modeling and programming

Jeff Gray, Bernhard Rumpe

Open Access Expert Voice

Modeling should be an independent scientific discipline

Jordi Cabot, Antonio Vallecillo

Guest Editorial

Theme section on model-driven requirements engineering

Ana Moreira, Gunter Mussbacher, João Araújo, Pablo Sánchez

Theme Section Paper

CaRE: a refinement calculus for requirements engineering based on argumentation theory

Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Open Access Theme Section Paper

Requirements document relations

Katharina Großer, Volker Riediger, Jan Jürjens

Open Access Theme Section Paper

Early timing analysis based on scenario requirements and platform models

Jörg Holtmann, Julien Deantoni, Markus Fockel

Open Access Theme Section Paper

Decision-making under uncertainty: be aware of your priorities

Huma Samin, Nelly Bencomo, Peter Sawyer

Theme Section Paper

Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach

Sotirios Liaskos, Shakil M. Khan, John Mylopoulos

Theme Section Paper

Measurement and classification of inter-actor dependencies in goal models

Jameleddine Hassine, Muhammad Tukur

Theme Section Paper

A descriptive study of assumptions in STRIDE security threat modeling

Dimitri Van Landuyt, Wouter Joosen

Theme Section Paper

Model-based assurance evidence management for safety–critical systems

Jose Luis de la Vara, Arturo S. García, Jorge Valero, Clara Ayora

Open Access Theme Section Paper

Model-driven system-level validation and verification on the space software domain

Aarón Montalvo, Pablo Parra, Óscar Rodríguez Polo, Alberto Carrasco, Antonio Da Silva, Agustín Martínez, Sebastián Sánchez

Theme Section Paper

Specification and analysis of legal contracts with Symboleo

Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos

Open Access Regular Paper

An efficient line-based approach for resolving merge conflicts in XMI-based models

Alfonso de la Vega, Dimitris Kolovos

Open Access Regular Paper

Instant and global consistency checking during collaborative engineering

Michael Alexander Tröls, Luciano Marchezan, Atif Mashkoor, Alexander Egyed

Open Access Regular Paper

Model-driven management of BPMN-based business process families

Andrea Delgado, Daniel Calegari, Félix García, Barbara Weber