Software Development in PVS Using Generic Development Steps.
Axel DoldPublished in: Generic Programming (1998)
Keyphrases
- software development
- development process
- software engineering
- software developers
- case study
- development cycle
- software testing
- software design
- early phase
- artificial intelligence
- development methodologies
- development efforts
- high level
- project management
- software projects
- software architecture
- software systems
- knowledge based systems
- requirements engineering
- software reuse
- software process
- product line
- development effort
- information technology
- development environments
- knowledge management