CONDEnSe: Contract Based Design Synthesis.

César Augusto Ribeiro dos Santos Amr Hany Saleh Tom Schrijvers Mike Nicolai

Published in: MoDELS (2019)

Keyphrases

case study
engineering design
knowledge based systems
design process
building blocks
logic synthesis
design space exploration
optimal design
design principles
computer aided
neural network
databases
software architecture
real time
low cost
supply chain
database systems