Login / Signup
Early validation of system requirements and design through correctness-by-construction.
Emmanouela Stachtiari
Anastasia Mavridou
Panagiotis Katsaros
Simon Bliudze
Joseph Sifakis
Published in:
J. Syst. Softw. (2018)
Keyphrases
</>
functional requirements
design process
case study
design principles
building blocks
engineering design
data sets
data mining
decision trees
expert systems
conceptual framework
application specific
software design
design choices
design processes
detailed design