Quality improvement of requirements specification using model checking technique

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura

研究成果: Conference contribution

3 引用 (Scopus)

抜粋

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.

元の言語English
ホスト出版物のタイトルICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
ページ401-406
ページ数6
エディションSAIC/-
出版物ステータスPublished - 2012 9 10
イベント14th International Conference on Enterprise Information Systems, ICEIS 2012 - Wroclaw, Poland
継続期間: 2012 6 282012 7 1

出版物シリーズ

名前ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems
番号SAIC/-
2 ISAS

Conference

Conference14th International Conference on Enterprise Information Systems, ICEIS 2012
Poland
Wroclaw
期間12/6/2812/7/1

ASJC Scopus subject areas

  • Information Systems and Management

フィンガープリント Quality improvement of requirements specification using model checking technique' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Aoki, Y., Ogata, S., Okuda, H., & Matsuura, S. (2012). Quality improvement of requirements specification using model checking technique. : ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems (SAIC/- 版, pp. 401-406). (ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems; 巻数 2 ISAS, 番号 SAIC/-).