@inproceedings{350f7733f13d4a1aa3469eb00a441fc7,
title = "Quality improvement of requirements specification using model checking technique",
abstract = "A key to success of high quality software development is to define valid and feasible requirements specification. We have proposed a method of model-driven requirements analysis using Unified Modelling Language (UML). The main feature of our method is to automatically generate a Web user interface prototype from UML requirements analysis model so that we can confirm validity of input/output data for each page and page transition on the system by directly operating the prototype. This paper proposes a data life cycle verification method using a model checking technique UPPAAL. Exhaustive checking improves the quality of requirements analysis model which are validated by the customers through automatically generated prototype.",
keywords = "Model checking, Model driven development, Quality improvement, Requirements analysis",
author = "Yoshitaka Aoki and Shinpei Ogata and Hirotaka Okuda and Saeko Matsuura",
year = "2012",
month = sep,
day = "10",
language = "English",
isbn = "9789898565105",
series = "ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems",
number = "SAIC/-",
pages = "401--406",
booktitle = "ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems",
edition = "SAIC/-",
note = "14th International Conference on Enterprise Information Systems, ICEIS 2012 ; Conference date: 28-06-2012 Through 01-07-2012",
}