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.
|Publisher||IEEE Computer Society|
|Publication status||Published - 2018|
|Event||8th International Model-Driven Requirements Engineering Workshop, MoDRE 2018 - Banff, Canada|
Duration: 20 Aug 2018 → 20 Aug 2018