Saeko Matsuura

According to our database, Saeko Matsuura authored at least 28 papers between 1995 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model.

Hikaru Morita, Saeko Matsuura

CoRR, 2021

2020

Automatic Verification of Behavior of UML Requirements Specifications using Model Checking.

Saeko Matsuura, Sae Ikeda, Kasumi Yokotae

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Requirements Traceability Management Support Tool for UML Models.

Kaito Yoshino, Saeko Matsuura

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

2018

Goal-Satisfaction Verification to Combination of Use Case Components.

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

2017

Security Requirements Verification for Existing Systems with Model Checking Technique and UML.

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2015

Model Driven Development by Separating Concerns in UML Requirements Specification.

Satoshi Kawai, Saeko Matsuura

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Foreword.

Saeko Matsuura

IEICE Trans. Inf. Syst., 2014

Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking.

Yoshitaka Aoki, Saeko Matsuura

IEICE Trans. Inf. Syst., 2014

Verifying security requirements using model checking technique for UML-based requirements specification.

Yoshitaka Aoki, Saeko Matsuura

Proceedings of the 1st IEEE International Workshop on Requirements Engineering and Testing, 2014

Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking.

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Improve User's Security Literacy by Experiencing Behavior of Pseudo Android Malware.

Makoto Kato, Saeko Matsuura

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

UML based Security Function Policy Verification Method for Requirements Specification.

Atsushi Noro, Saeko Matsuura

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

A Dynamic Countermeasure Method to Android Malware by User Approval.

Makoto Kato, Saeko Matsuura

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model.

Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura

Proceedings of the Knowledge-Based Software Engineering, 2012

A Review Method of Requirements Analysis Model in UML with Prototyping.

Shinpei Ogata, Saeko Matsuura

Proceedings of the Knowledge-Based Software Engineering, 2012

Training of requirements analysis modeling with UML-based prototype generation tool.

Shinpei Ogata, Saeko Matsuura

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

Quality Improvement of Requirements Specification using Model Checking Technique.

Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Test Case Generation by Simulating Requirements Analysis Model.

Ryo Shikimi, Shinpei Ogata, Saeko Matsuura

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2010

A Method for Detecting Defects in Source Codes Using Model Checking Techniques.

Yoshitaka Aoki, Saeko Matsuura

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2008

Automatic Generation of UML-Based Web Application Prototypes.

Shinpei Ogata, Saeko Matsuura

Proceedings of the ICEIS 2008, 2008

Scenario-Based Automatic Prototype Generation.

Shinpei Ogata, Saeko Matsuura

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

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

An evaluation method of project based learning on software development experiment.

Saeko Matsuura

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

Collaboration Support Model of Software Development Experiment.

Saeko Matsuura, Hiroki Kurihara

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2004

eXtreme Programming Support Tool in Distributed Environment.

Satoshi Atsuta, Saeko Matsuura

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Association aspects.

Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, Seiichi Komiya

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

1997

EVA: A Flexible Programming Method for Evolving Systems.

Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden

IEEE Trans. Software Eng., 1997

1995

Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.

Saeko Matsuura, Shinichi Honiden

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995