Modelling behavioural requirements and alignment with verification in the embedded industry
Paper i proceeding, 2017
Empirical software engineering
Test case generation
Verification
Requirements modelling
Model-driven engineering
Model-based engineering
Författare
Grischa Liebel
Göteborgs universitet
Chalmers, Data- och informationsteknik, Software Engineering
Anthony Anjorin
Universität Paderborn
Eric Knauss
Göteborgs universitet
Florian Lorber
Aalborg Universitet
Matthias Tichy
Universität Ulm
MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
Vol. 2017-January 427-434
Porto, Portugal,
Ämneskategorier
Programvaruteknik
Inbäddad systemteknik
Datorsystem
DOI
10.5220/0006205604270434