Zum Inhalt

Software and Systems Modeling

Ausgabe 6/2022

Inhalt (17 Artikel)

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

    Bildnachweise
    AvePoint Deutschland GmbH/© AvePoint Deutschland GmbH, ams.solutions GmbH/© ams.solutions GmbH, Wildix/© Wildix, arvato Systems GmbH/© arvato Systems GmbH, Ninox Software GmbH/© Ninox Software GmbH, Nagarro GmbH/© Nagarro GmbH, GWS mbH/© GWS mbH, CELONIS Labs GmbH, USU GmbH/© USU GmbH, G Data CyberDefense/© G Data CyberDefense, Vendosoft/© Vendosoft, Kumavision/© Kumavision, Noriis Network AG/© Noriis Network AG, tts GmbH/© tts GmbH, Asseco Solutions AG/© Asseco Solutions AG, AFB Gemeinnützige GmbH/© AFB Gemeinnützige GmbH, Ferrari electronic AG/© Ferrari electronic AG, Doxee AT GmbH/© Doxee AT GmbH , Haufe Group SE/© Haufe Group SE, NTT Data/© NTT Data, Bild 1 Verspätete Verkaufsaufträge (Sage-Advertorial 3/2026)/© Sage, IT-Director und IT-Mittelstand: Ihre Webinar-Matineen in 2025 und 2026/© amgun | Getty Images