Login / Signup
Correct-by-construction: a contract-based semi-automated requirement decomposition process.
Minghui Sun
Georgios Bakirtzis
Hassan Jafarzadeh
Cody Fleming
Published in:
CoRR (2019)
Keyphrases
</>
semi automated
fully automated
construction process
database
data sets
software engineering
machine learning
genetic algorithm
computer vision
information systems
case study
digital libraries
denoising
diffusion process