Goal-Satisfaction Verification to Combination of Use Case Components.

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Browse the full ENASE paper archive.