Mathematics-Based Software Engineering for Completely Validated Software.
Richard C. LingerPublished in: ICSE (1989)
Keyphrases
- software engineering
- software systems
- software development
- software design
- software engineers
- software maintenance
- software architecture
- software projects
- software reuse
- software quality
- software developers
- mining software repositories
- design patterns
- development process
- software engineering practices
- software life cycle
- software evolution
- source code
- artificial intelligence
- software testing
- formal methods
- case study
- development cycle
- requirements engineering
- software industry
- programming language
- software tools
- personal computer
- embedded systems
- software package
- software components
- database applications
- computer systems
- agile development
- object oriented software engineering
- platform independent
- software process
- hardware design
- reverse engineering
- knowledge engineering
- distributed systems
- object oriented
- database systems