Automated Reasoning with Goal Tree Models for Software Quality Requirements.
Bo WeiZhi JinDidar ZowghiBin YinPublished in: COMPSAC Workshops (2012)
Keyphrases
- automated reasoning
- tree models
- software quality
- knowledge representation
- theorem proving
- software systems
- software engineering
- probabilistic reasoning
- development process
- software projects
- theorem prover
- software development
- life cycle
- human pose estimation
- tree structure
- semi supervised
- efficient learning
- high level
- pose estimation
- data structure
- bayesian networks