Automated Theorem Proving in High-Quality Software Design.
Johann SchumannPublished in: Intellectics and Computational Logic (2000)
Keyphrases
- software design
- automated theorem proving
- high quality
- theorem prover
- theorem proving
- software engineering
- answer set programming
- software systems
- software development
- functional requirements
- classical logic
- uml diagrams
- educational software
- design patterns
- object oriented design
- database
- expert systems
- inference rules
- business processes
- metadata
- artificial intelligence