Design of PQ specification

• Should provide better support for designing our system

• The semantic distance between various instantiations should be carefully controlled

• PQs should take into account the domain knowledge and reasoning method used

Previous slide

Next slide

Back to first slide

View graphic version