Quality Improvement of Requirements Specification using Model Checking Technique

Yoshitaka Aoki; Shinpei Ogata; Saeko Matsuura; Hirotaka Okuda

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Quality Improvement of Requirements Specification using Model Checking Technique

In Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: MDDIS, 401-406, 2012 , Wroclaw, Poland

Authors: Yoshitaka Aoki ¹ ; Shinpei Ogata ² ; Saeko Matsuura ¹ and Hirotaka Okuda ¹

Affiliations: ¹ Shibaura Institute of Technology, Japan ; ² Shinshu University, Japan

Keyword(s): Requirements Analysis, Quality Improvement, Model Checking, Model Driven Development.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.145.9.200

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Aoki, Y.; Ogata, S.; Matsuura, S. and Okuda, H. (2012). Quality Improvement of Requirements Specification using Model Checking Technique. In Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012) - Volume 1: MDDIS; ISBN 978-989-8565-11-2; ISSN 2184-4992, SciTePress, pages 401-406. DOI: 10.5220/0004156104010406

@conference{mddis12,
author={Yoshitaka Aoki. and Shinpei Ogata. and Saeko Matsuura. and Hirotaka Okuda.},
title={Quality Improvement of Requirements Specification using Model Checking Technique},
booktitle={Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012) - Volume 1: MDDIS},
year={2012},
pages={401-406},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004156104010406},
isbn={978-989-8565-11-2},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012) - Volume 1: MDDIS
TI - Quality Improvement of Requirements Specification using Model Checking Technique
SN - 978-989-8565-11-2
IS - 2184-4992
AU - Aoki, Y.
AU - Ogata, S.
AU - Matsuura, S.
AU - Okuda, H.
PY - 2012
SP - 401
EP - 406
DO - 10.5220/0004156104010406
PB - SciTePress