Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013.
Published in: DIFTS@FMCAD (2014)
Keyphrases
- formal methods
- design methodologies
- interactive systems
- design tools
- knowledge based systems
- building blocks
- highly modular
- software environment
- computer aided software engineering
- design automation
- efficient implementation
- design processes
- simulation tools
- design patterns
- design principles
- design process
- circuit design
- current status
- object oriented systems
- web based educational systems
- case study
- learning systems
- embedded systems
- software tools
- formal model
- successful deployment
- hardware architectures
- design criteria
- implementation issues
- heterogeneous systems
- artificial intelligence
- design decisions
- development methodologies
- commercial products
- uml models
- design issues
- technical issues
- computer systems
- management system