Proceedings of the 8th International Model-Driven Requirements Engineering Workshop, MoDRE 2018

Ana Moreira (Editor/Coordinator), Gunter Mussbacher (Editor/Coordinator), João Araújo (Editor/Coordinator), Pablo Sánchez (Editor/Coordinator)

Research output: Book/ReportAnthology

Abstract

The proceedings contain 11 papers. The topics discussed include: modeling and testing requirements via executable abstract state machines; a comparison of the declarative modeling languages B, dash, and TLA+; model driven software reconfiguration by exploiting grammar based genetic programming; model-based development with distributed cognition; domain-specific software language for crisis management systems; using obstacle analysis to support SysMl-based model testing for cyber physical systems; the prevalence of code over models: turning it around with transparency; the FOL-based legal-GRL (FLG) framework: towards an automated goal modeling approach for regulations; towards multi-context goal modeling and analysis with the help of intents; towards pattern-driven requirements engineering: development patterns for functional requirements; and interacting decision-making agents and their impacts on assurances: taxonomy and challenges.
Original languageEnglish
PublisherIEEE Computer Society
ISBN (Print)978-1-5386-8406-1
Publication statusPublished - 2018
Event8th International Model-Driven Requirements Engineering Workshop, MoDRE 2018 - Banff, Canada
Duration: 20 Aug 201820 Aug 2018

Fingerprint Dive into the research topics of 'Proceedings of the 8th International Model-Driven Requirements Engineering Workshop, MoDRE 2018'. Together they form a unique fingerprint.

  • Cite this