Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011
Published in: DIFTS@FMCAD (2012)
Keyphrases
- formal methods
- computer aided software engineering
- building blocks
- interactive systems
- highly modular
- design tools
- design criteria
- knowledge based systems
- design principles
- design methodologies
- efficient implementation
- software environment
- design decisions
- design issues
- simulation tools
- learning systems
- design processes
- industrial strength
- design concepts
- circuit design
- knowledge base
- rapid prototyping
- design methodology
- design automation
- commercial products
- successful deployment
- lecture notes
- formal model
- design patterns
- web based educational systems