Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. - Saeko Matsuura; Shinichi Honiden (APSEC, 1995)

EVA: A Flexible Programming Method for Evolving Systems. - Saeko Matsuura; Hironobu Kuruma; Shinichi Honiden (IEEE Trans. Software Eng., 1997)

Association aspects. - Kouhei Sakurai; Hidehiko Masuhara; Naoyasu Ubayashi; Saeko Matsuura; Seiichi Komiya (AOSD, 2004)

eXtreme Programming Support Tool in Distributed Environment. - Satoshi Atsuta; Saeko Matsuura (COMPSAC Workshops, 2004)

Collaboration Support Model of Software Development Experiment. - Saeko Matsuura; Hiroki Kurihara (SEKE, 2006)

An evaluation method of project based learning on software development experiment. - Saeko Matsuura (SIGCSE, 2006)

Design and Implementation of an Aspect Instantiation Mechanism. - Kouhei Sakurai; Hidehiko Masuhara; Naoyasu Ubayashi; Saeko Matsuura; Seiichi Komiya (LNCS Trans. Aspect Oriented Softw. Dev., 2006)

Scenario-Based Automatic Prototype Generation. - Shinpei Ogata; Saeko Matsuura (COMPSAC, 2008)

Automatic Generation of UML-Based Web Application Prototypes. - Shinpei Ogata; Saeko Matsuura (ICEIS (3-1), 2008)

A Method for Detecting Defects in Source Codes Using Model Checking Techniques. - Yoshitaka Aoki; Saeko Matsuura (COMPSAC, 2010)

Test Case Generation by Simulating Requirements Analysis Model. - Ryo Shikimi; Shinpei Ogata; Saeko Matsuura (COMPSAC, 2012)

Quality Improvement of Requirements Specification using Model Checking Technique. - Yoshitaka Aoki; Shinpei Ogata; Hirotaka Okuda; Saeko Matsuura (ICEIS (2), 2012)

Training of requirements analysis modeling with UML-based prototype generation tool. - Shinpei Ogata; Saeko Matsuura (ISEC, 2012)

A Review Method of Requirements Analysis Model in UML with Prototyping. - Shinpei Ogata; Saeko Matsuura (JCKBSE, 2012)

Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. - Hirotaka Okuda; Shinpei Ogata; Saeko Matsuura (JCKBSE, 2012)

A Dynamic Countermeasure Method to Android Malware by User Approval. - Makoto Kato; Saeko Matsuura (COMPSAC, 2013)

UML based Security Function Policy Verification Method for Requirements Specification. - Atsushi Noro; Saeko Matsuura (COMPSAC, 2013)

Improve User's Security Literacy by Experiencing Behavior of Pseudo Android Malware. - Makoto Kato; Saeko Matsuura (COMPSAC, 2014)

Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. - Saeko Matsuura; Yoshitaka Aoki; Shinpei Ogata (ISSRE Workshops, 2014)

Verifying security requirements using model checking technique for UML-based requirements specification. - Yoshitaka Aoki; Saeko Matsuura (RET, 2014)

Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking. - Yoshitaka Aoki; Saeko Matsuura (IEICE Trans. Inf. Syst., 2014)

Foreword. - Saeko Matsuura (IEICE Trans. Inf. Syst., 2014)

Model Driven Development by Separating Concerns in UML Requirements Specification. - Satoshi Kawai; Saeko Matsuura (COMPSAC Workshops, 2015)

Security Requirements Verification for Existing Systems with Model Checking Technique and UML. - Saeko Matsuura; Shinpei Ogata; Yoshitaka Aoki (MODELSWARD, 2017)

Goal-Satisfaction Verification to Combination of Use Case Components. - Saeko Matsuura; Shinpei Ogata; Yoshitaka Aoki (ENASE, 2018)

Requirements Traceability Management Support Tool for UML Models. - Kaito Yoshino; Saeko Matsuura (ICSCA, 2020)

Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. - Saeko Matsuura; Sae Ikeda; Kasumi Yokotae (MODELSWARD, 2020)

validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model. - Hikaru Morita; Saeko Matsuura (CoRR, 2021)