Formal software engineering.
Carl A. GunterElsa L. GunterPamela ZavePublished in: ACM SIGSOFT Softw. Eng. Notes (2000)
Keyphrases
- software engineering
- formal methods
- artificial intelligence
- software systems
- reverse engineering
- software development
- software engineers
- object oriented
- development process
- software engineering education
- software design
- design patterns
- mathematical theory
- formal model
- systems development
- formal models
- genetic algorithm
- programming language
- software maintenance
- database
- software architecture
- human computer interaction
- formal specification
- software product line
- requirements elicitation
- software reuse
- databases
- requirements engineering
- real world
- information systems
- model checking
- knowledge base
- image sequences