Modelling behavioural requirements and alignment with verification in the embedded industry
Paper in proceeding, 2017
Empirical software engineering
Test case generation
Verification
Requirements modelling
Model-driven engineering
Model-based engineering
Author
Grischa Liebel
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)
Anthony Anjorin
Padernborn University
Eric Knauss
University of Gothenburg
Florian Lorber
Aalborg University
Matthias Tichy
University of Ulm
MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
Vol. 2017-January 427-434
Porto, Portugal,
Subject Categories
Software Engineering
Embedded Systems
Computer Systems
DOI
10.5220/0006205604270434