Saeko Matsuura

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