Saeko Matsuura
According to our database1,
Saeko Matsuura
authored at least 28 papers
between 1995 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model.
CoRR, 2021
2020
Automatic Verification of Behavior of UML Requirements Specifications using Model Checking.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Proceedings of the 9th International Conference on Software and Computer Applications, 2020
2018
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.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
2014
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking.
IEICE Trans. Inf. Syst., 2014
Verifying security requirements using model checking technique for UML-based requirements specification.
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.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2013
UML based Security Function Policy Verification Method for Requirements Specification.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
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.
Proceedings of the Knowledge-Based Software Engineering, 2012
Proceedings of the Knowledge-Based Software Engineering, 2012
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012
Quality Improvement of Requirements Specification using Model Checking Technique.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
2010
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010
2008
Automatic Generation of UML-Based Web Application Prototypes.
Proceedings of the ICEIS 2008, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2006
LNCS Trans. Aspect Oriented Softw. Dev., 2006
Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006
Collaboration Support Model of Software Development Experiment.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004
1997
IEEE Trans. Software Eng., 1997
1995
Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995