A Practical Approach to Software Engineering Using Z and the Refinement Calculus.
Kenneth R. WoodPublished in: SIGSOFT FSE (1993)
Keyphrases
- software engineering
- software systems
- software development
- reverse engineering
- artificial intelligence
- object oriented
- software engineers
- software design
- software engineering education
- software architecture
- requirements elicitation
- development process
- programming language
- design patterns
- databases
- genetic algorithm
- formal language
- computer algebra
- step wise
- provably correct
- natural deduction
- knowledge engineering
- automated deduction
- real numbers
- requirements engineering
- software testing
- software maintenance
- knowledge management
- search engine
- learning algorithm
- machine learning