loading
Papers
  • Login
  • Sign-Up

Research.Publish.Connect.

Paper

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

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

ISBN: 978-989-758-210-3

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user or Join INSTICC now for free.

Sign In SciTePress user: please login.

Sign In INSTICC Members: please login. If not a member yet, Join INSTICC now for free.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.224.100.134. INSTICC members have higher download limits (free membership now)

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 DevelopmentISBN 978-989-758-210-3, 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},
year={2017},
pages={529-535},
doi={10.5220/0006267105290535},
isbn={978-989-758-210-3},
}

TY - CONF

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

Sorted by: Show papers

Note: The preferred Subjects/Areas/Topics, listed below for each paper, are those that match the selected paper topics and their ontology superclasses.
More...

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.

Show authors

Note: The preferred Subjects/Areas/Topics, listed below for each author, are those that more frequently used in the author's papers.
More...