Formal Tools for Modular System Development.
Lucia PomelloLuca BernardinelloPublished in: ICATPN (2004)
Keyphrases
- decision support
- document management
- software engineering
- technical issues
- design principles
- design tools
- formal methods
- user friendly
- formal model
- rapid development
- data sets
- software developers
- communication technologies
- st century
- computer aided software engineering
- enabling technologies
- development environment
- formal specification
- design patterns
- development process
- knowledge management
- expert systems