Software engineering and automated deduction.
Willem VisserNikolaj BjørnerNatarajan ShankarPublished in: FOSE (2014)
Keyphrases
- automated deduction
- software engineering
- theorem proving
- artificial intelligence
- programming language
- software systems
- theorem prover
- inference rules
- logic programming
- software development
- reverse engineering
- deductive databases
- software engineers
- software projects
- design patterns
- software architecture
- development process
- requirements engineering
- knowledge engineering
- knowledge management
- object oriented
- systems development
- software maintenance
- software design
- software reuse
- database
- software engineering education
- human computer interaction
- probabilistic model
- active learning
- expert systems
- data sets