loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Yoshitaka Aoki 1 ; Shinpei Ogata 2 ; Saeko Matsuura 1 and Hirotaka Okuda 1

Affiliations: 1 Shibaura Institute of Technology, Japan ; 2 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

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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