Skip to main content
Top

Software and Systems Modeling

Issue 6/2022

Content (17 Articles)

Reflection on the differences between modeling and programming

  • Open Access
  • Editorial

Jeff Gray, Bernhard Rumpe

Modeling should be an independent scientific discipline

  • Open Access
  • Expert Voice

Jordi Cabot, Antonio Vallecillo

Theme section on model-driven requirements engineering

  • Guest Editorial

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

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

  • Theme Section Paper

Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Requirements document relations

  • Open Access
  • Theme Section Paper

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

Early timing analysis based on scenario requirements and platform models

  • Open Access
  • Theme Section Paper

Jörg Holtmann, Julien Deantoni, Markus Fockel

Decision-making under uncertainty: be aware of your priorities

  • Open Access
  • Theme Section Paper

Huma Samin, Nelly Bencomo, Peter Sawyer

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

  • Theme Section Paper

Sotirios Liaskos, Shakil M. Khan, John Mylopoulos

Measurement and classification of inter-actor dependencies in goal models

  • Theme Section Paper

Jameleddine Hassine, Muhammad Tukur

A descriptive study of assumptions in STRIDE security threat modeling

  • Theme Section Paper

Dimitri Van Landuyt, Wouter Joosen

Model-based assurance evidence management for safety–critical systems

  • Theme Section Paper

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

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

  • Open Access
  • Theme Section Paper

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

Specification and analysis of legal contracts with Symboleo

  • Theme Section Paper

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

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

  • Open Access
  • Regular Paper

Alfonso de la Vega, Dimitris Kolovos

Instant and global consistency checking during collaborative engineering

  • Open Access
  • Regular Paper

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

Model-driven management of BPMN-based business process families

  • Open Access
  • Regular Paper

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

Premium Partner

    Image Credits
    Neuer Inhalt/© ITandMEDIA, Nagarro GmbH/© Nagarro GmbH, AvePoint Deutschland GmbH/© AvePoint Deutschland GmbH, AFB Gemeinnützige GmbH/© AFB Gemeinnützige GmbH, USU GmbH/© USU GmbH, Ferrari electronic AG/© Ferrari electronic AG