loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

Affiliations: 1 Shibaura Institute of Technology, Japan ; 2 Shinsyu University, Japan

Keyword(s): UML, Security Requirements, Source Code Verification, Model Checking, Reverse Engineering.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Frameworks for Model-Driven Development ; Methodologies, Processes and Platforms ; Model-Based Testing and Validation ; Model-Driven Software Development ; Software Engineering

Abstract: In software development, when making migration or specification changes to an existing system, it is important to verify that the new source code meets the original specifications. We propose an effective use of model checking techniques and a supporting tool that allows non-specialized developers to easily verify specification conformance. In this study, we verify security requirements for an ongoing learning management system that has insufficient specification documentation and discuss the applications and challenges for developing the model checking technology.

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 44.200.210.43

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:
Matsuura, S.; Ogata, S. and Aoki, Y. (2017). Security Requirements Verification for Existing Systems with Model Checking Technique and UML. In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-210-3; ISSN 2184-4348, SciTePress, pages 529-535. DOI: 10.5220/0006267105290535

@conference{modelsward17,
author={Saeko Matsuura. and Shinpei Ogata. and Yoshitaka Aoki.},
title={Security Requirements Verification for Existing Systems with Model Checking Technique and UML},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2017},
pages={529-535},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006267105290535},
isbn={978-989-758-210-3},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Security Requirements Verification for Existing Systems with Model Checking Technique and UML
SN - 978-989-758-210-3
IS - 2184-4348
AU - Matsuura, S.
AU - Ogata, S.
AU - Aoki, Y.
PY - 2017
SP - 529
EP - 535
DO - 10.5220/0006267105290535
PB - SciTePress