Semi-Automated Component-Based Development of Formally Verified Software.
David HemerPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- semi automated
- component based development
- software components
- software quality
- software reuse
- fully automated
- software development
- computer systems
- embedded real time systems
- software systems
- web services
- component based architecture
- software engineering
- source code
- software projects
- data management
- embedded systems
- software maintenance
- software evolution
- real world
- artificial intelligence
- software application
- computer software
- conceptual modeling
- open source
- software design
- life cycle