Tools and Behavioral Abstraction: A Direction for Software Engineering.
K. Rustan M. LeinoPublished in: The Future of Software Engineering (2010)
Keyphrases
- software engineering
- software engineers
- software developers
- programming language
- development methodologies
- software systems
- formal methods
- design principles
- software tools
- artificial intelligence
- object oriented
- software design
- design patterns
- search based software testing
- object oriented software engineering
- software reuse
- user friendly
- decision support
- neural network
- reverse engineering
- software maintenance
- databases
- database systems
- decision making
- data mining