Some Experience on the Software Engineering of Abstract Interpretation Tools.
Bertrand JeannetPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- software engineering
- abstract interpretation
- software engineers
- termination analysis
- design patterns
- decision support
- active rules
- software development
- software systems
- model checking
- object oriented
- static analysis
- reverse engineering
- development process
- software architecture
- programming language
- artificial intelligence