Saeko Matsuura

Publication Activity (10 Years)

Years Active: 1995-2021
Publications (10 Years): 5

Top Topics

Requirements Analysis

Requirements Specification

State Transition Model

Top Venues

IEICE Trans. Inf. Syst.

Publications

Hikaru Morita, Saeko Matsuura
validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model. CoRR (2021)
Kaito Yoshino, Saeko Matsuura
Requirements Traceability Management Support Tool for UML Models. ICSCA (2020)
Saeko Matsuura, Sae Ikeda, Kasumi Yokotae
Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. MODELSWARD (2020)
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
Goal-Satisfaction Verification to Combination of Use Case Components. ENASE (2018)
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
Security Requirements Verification for Existing Systems with Model Checking Technique and UML. MODELSWARD (2017)
Satoshi Kawai, Saeko Matsuura
Model Driven Development by Separating Concerns in UML Requirements Specification. COMPSAC Workshops (2015)
Yoshitaka Aoki, Saeko Matsuura
Verifying security requirements using model checking technique for UML-based requirements specification. RET (2014)
Yoshitaka Aoki, Saeko Matsuura
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking. IEICE Trans. Inf. Syst. (5) (2014)
Makoto Kato, Saeko Matsuura
Improve User's Security Literacy by Experiencing Behavior of Pseudo Android Malware. COMPSAC (2014)
Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata
Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. ISSRE Workshops (2014)
Saeko Matsuura
Foreword. IEICE Trans. Inf. Syst. (5) (2014)
Makoto Kato, Saeko Matsuura
A Dynamic Countermeasure Method to Android Malware by User Approval. COMPSAC (2013)
Atsushi Noro, Saeko Matsuura
UML based Security Function Policy Verification Method for Requirements Specification. COMPSAC (2013)
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura
Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. JCKBSE (2012)
Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
Quality Improvement of Requirements Specification using Model Checking Technique. ICEIS (2) (2012)
Shinpei Ogata, Saeko Matsuura
Training of requirements analysis modeling with UML-based prototype generation tool. ISEC (2012)
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura
Test Case Generation by Simulating Requirements Analysis Model. COMPSAC (2012)
Shinpei Ogata, Saeko Matsuura
A Review Method of Requirements Analysis Model in UML with Prototyping. JCKBSE (2012)
Yoshitaka Aoki, Saeko Matsuura
A Method for Detecting Defects in Source Codes Using Model Checking Techniques. COMPSAC (2010)
Shinpei Ogata, Saeko Matsuura
Scenario-Based Automatic Prototype Generation. COMPSAC (2008)
Shinpei Ogata, Saeko Matsuura
Automatic Generation of UML-Based Web Application Prototypes. ICEIS (3-1) (2008)
Saeko Matsuura, Hiroki Kurihara
Collaboration Support Model of Software Development Experiment. SEKE (2006)
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, Seiichi Komiya
Design and Implementation of an Aspect Instantiation Mechanism. LNCS Trans. Aspect Oriented Softw. Dev. 1 (2006)
Saeko Matsuura
An evaluation method of project based learning on software development experiment. SIGCSE (2006)
Satoshi Atsuta, Saeko Matsuura
eXtreme Programming Support Tool in Distributed Environment. COMPSAC Workshops (2004)
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, Seiichi Komiya
Association aspects. AOSD (2004)
Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden
EVA: A Flexible Programming Method for Evolving Systems. IEEE Trans. Software Eng. 23 (5) (1997)
Saeko Matsuura, Shinichi Honiden
Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. APSEC (1995)