Zum Inhalt

Software and Systems Modeling

Ausgabe 4/2018

Inhalt (13 Artikel)

Agile model-based system development

  • Editorial

Jeff Gray, Bernhard Rumpe

Encoding process discovery problems in SMT

  • Regular Paper

Marc Solé, Josep Carmona

Reusing metamodels and notation with Diagram Definition

  • Regular Paper

Conrad Bock, Maged Elaasar

On submodels and submetamodels with their relation

  • Regular Paper

Bernard Carré, Gilles Vanwormhoudt, Olivier Caron

VMTL: a language for end-user model transformation

  • Regular Paper

Vlad Acreţoaie, Harald Störrle, Daniel Strüber

A model-driven development approach for context-aware systems

  • Regular Paper

Imen Jaouadi, Raoudha Ben Djemaa, Hanêne Ben-Abdallah

Formalised EMFTVM bytecode language for sound verification of model transformations

  • Regular Paper

Zheng Cheng, Rosemary Monahan, James F. Power

Scope in model transformations

  • Regular Paper

Māris Jukšs, Clark Verbrugge, Maged Elaasar, Hans Vangheluwe

Holistic security requirements analysis for socio-technical systems

  • Regular Paper

Tong Li, Jennifer Horkoff, John Mylopoulos

An approach to clone detection in sequence diagrams and its application to security analysis

  • Regular Paper

Manar H. Alalfi, Elizabeth P. Antony, James R. Cordy

Efficient parallel reasoning on fuzzy goal models for run time requirements verification

  • Regular Paper

George Chatzikonstantinou, Kostas Kontogiannis

The Train Benchmark: cross-technology performance evaluation of continuous model queries

  • Open Access
  • Regular Paper

Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró

    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