Quality Improvement of Requirements Specification using Model Checking Technique - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura. Quality Improvement of Requirements Specification using Model Checking Technique. In Leszek A. Maciaszek, Alfredo Cuzzocrea, José Cordeiro, editors, ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012. pages 401-406, SciTePress, 2012.

This author has not been identified. Look up 'Yoshitaka Aoki' in GoogleThis author has not been identified. Look up 'Shinpei Ogata' in GoogleThis author has not been identified. Look up 'Hirotaka Okuda' in GoogleThis author has not been identified. Look up 'Saeko Matsuura' in Google

runs on WebDSL