HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees.

Published in: FormaliSE@ICSE (2020)

Keyphrases

software design
software systems
software engineering
software development
structural analysis
structural information
design patterns
functional requirements
uml diagrams
generative model
educational software
quality guarantees
object oriented design
bayesian networks
neural network
data sets
texture synthesis