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 language | English |
|---|---|
| Publisher | IEEE Computer Society |
| ISBN (Print) | 978-1-5386-8406-1 |
| Publication status | Published - 2018 |
| Event | 8th International Model-Driven Requirements Engineering Workshop, MoDRE 2018 - Banff, Canada Duration: 20 Aug 2018 → 20 Aug 2018 |