Verification of design decisions in ForSyDe.
Tarvo RaudvereIngo SanderAshish Kumar SinghAxel JantschPublished in: CODES+ISSS (2003)
Keyphrases
- design decisions
- design issues
- architectural design
- trade off
- design principles
- design process
- model checking
- face verification
- participatory design
- tool support
- design choices
- design processes
- formal verification
- verification method
- neural network
- asynchronous circuits
- design science
- relational databases
- learning algorithm
- genetic algorithm
- real world