The logic of software design.
Jonathan S. OstroffRichard F. PaigePublished in: IEE Proc. Softw. (2000)
Keyphrases
- software design
- software engineering
- software systems
- software development
- object oriented design
- logic programming
- functional requirements
- educational software
- modal logic
- design patterns
- uml diagrams
- multi valued
- classical logic
- predicate logic
- defeasible logic
- asynchronous circuits
- databases
- proof theory
- knowledge representation
- relational databases
- real world