The Specification and Verified Decomposition of System Requirements Using CSP.
Andrew P. MoorePublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- decomposition methods
- tree decomposition
- constraint satisfaction problems
- decomposition method
- application specific
- requirements specification
- constraint propagation
- business rules
- information systems
- high level
- requirements analysis
- user defined
- arc consistency
- decomposition algorithm
- hypertree decomposition
- image decomposition
- software requirements
- database
- formal verification
- probabilistic reasoning
- constraint networks
- np hard
- lower bound
- computational complexity
- neural network
- databases