Skip to main content

Advanced Search

Projected result for your current search: 0

Search Operators:

You can use operators in your search query to narrow down your results even more. Click on the search operator to see an explanation of how it works.
Finds documents with exactly this word group, in exactly this word order and spelling (e.g. "employer branding").
Finds documents with both search terms (e.g. sales AND bonus).
Finds documents with one or the other search term (e.g. porsche OR volkswagen).
Finds documents with all search terms. Blank space is understood as AND (e.g. man robot production).
Finds documents with no appearance of the word behind NOT (e.g. ford NOT "harrison ford").
Finds documents where the search term is mentioned at least "n" times."n" may be any number (e.g. COUNT(gear)>8).
Finds documents with both search terms in any word order, permitting "n" words as a maximum distance between them. Best choose between 15 and 30 (e.g. NEAR(recruit, professionals, 20)).
Finds documents with the search term in word versions or composites. The asterisk * marks whether you wish them BEFORE, BEHIND, or BEFORE and BEHIND the search term (e.g. lightweight*, *lightweight, *lightweight*).
Finds documents with the search term in different spellings. "?" allows only one character (e.g. organi?ation).
Special characters are understood as AND (e.g. Miller Bros. & Sons).

Semantic Search

powered by (Link opens in a new window)
loading …
Log in
Top

Software and Systems Modeling

Issue 6/2025

Content (14 Articles)

Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling

  • Open Access
  • Editorial

Marsha Chechik, Benoit Combemale, Jeff Gray, Bernhard Rumpe

Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)

  • Open Access
  • Guest Editorial

Antonio Cicchetti, Thomas Kühne, Alfonso Pierantonio, Gabriele Taentzer

Impromptu: a framework for model-driven prompt engineering

  • Open Access
  • Special Section Paper

Sergio Morales, Robert Clarisó, Jordi Cabot

Experimenting with modeling-specific word embeddings

  • Special Section Paper

José Antonio Hernández López, Carlos Durá, Jesús Sánchez Cuadrado

gLTSdiff: a generalized framework for structural comparison of software behavior

  • Special Section Paper

Dennis Hendriks, Wytse Oortwijn

Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching

  • Open Access
  • Special Section Paper

Matthias Barkowsky, Holger Giese

Meet OCL, a relational object constraint language

  • Open Access
  • Special Section Paper

Friedrich Steimann, Robert Clarisó, Martin Gogolla

Automatic security-flaw detection - towards a fair evaluation and comparison

  • Open Access
  • Special Section Paper

Bernhard J. Berger, Christina Plump

An empirical study of manual abstraction between class diagrams and code of open-source systems

  • Open Access
  • Special Section Paper

Wenli Zhang, Weixing Zhang, Daniel Strüber, Regina Hebig

Model checking of spacecraft operational designs: a scalability analysis

  • Open Access
  • Special Section Paper

Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp M. Fischer, Andreas Gerndt, Michael Felderer

Mutation testing for temporal alloy models (extended version)

  • Special Section Paper

Ana Jovanovic, Allison Sullivan

A reference architecture for the development of GLSP-based web modeling tools

  • Open Access
  • Special Section Paper

Haydar Metin, Dominik Bork

Requirements specification using templates: a model-driven approach

  • Special Section Paper

Ikram Darif, Ghizlane El Boussaidi, Sègla Kpodjedo

Models for formal methods and tools: the case of railway systems

  • Open Access
  • Expert Voice

M. H. ter Beek

Oct 25
Issue: 5/2025
Feb 26
Issue: 1/2026

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

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