Practical Application of CSP and FDR to Software Design.
Jonathan LawrencePublished in: 25 Years Communicating Sequential Processes (2004)
Keyphrases
- practical application
- software design
- constraint satisfaction problems
- software systems
- false discovery rate
- software development
- software engineering
- decomposition methods
- constraint satisfaction
- arc consistency
- constraint propagation
- constraint programming
- design patterns
- uml diagrams
- object oriented design
- constraint networks
- functional requirements
- educational software
- databases
- np complete
- artificial intelligence
- data mining
- np hard
- tree decomposition
- closest string
- development process
- error rate
- object oriented
- hypothesis testing
- search space
- constraint graph