If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018

  • 153 Citations
  • 6 h-Index
  • 32 Conference contribution
  • 32 Article
  • 1 Editorial
2018

Special section on knowledge-based software engineering

Kaneda, S., Iwata, H., Kumeno, F., Sakurai, K., Aoki, Y., Fukazawa, Y., Fukuta, N., Goto, T., Hashiura, H., Hazeyama, A., Iijima, T., Kanai, A., Kimura, K., Matsuno, Y., Matsuura, S., Nakagawa, H., Nakamura, T., Nakatani, T., Ogata, S., Ohnishi, A. & 5 others, Ono, K., Saruwatari, T., Shirogane, J., Tsunoda, M. & Yamamoto, S., 2018 Jul 1, In : IEICE Transactions on Information and Systems. E101D, 7, p. 1723-1724 2 p.

Research output: Contribution to journalEditorial

Software engineering
2017

Security requirements verification for existing systems with model checking technique and UML

Matsuura, S., Ogata, S. & Aoki, Y., 2017 Jan 1, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. SciTePress, Vol. 2017-January. p. 529-535 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Specifications
Software engineering
2015
1 Citation (Scopus)

Model driven development by separating concerns in UML requirements specification

Kawai, S. & Matsuura, S., 2015 Sep 21, Proceedings - International Computer Software and Applications Conference. IEEE Computer Society, Vol. 3. p. 668-669 2 p. 7273456

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
2014

Improve user's security literacy by experiencing behavior of pseudo android malware

Kato, M. & Matsuura, S., 2014 Sep 15, Proceedings - International Computer Software and Applications Conference. IEEE Computer Society, p. 602-603 2 p. 6899269

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Malware
1 Citation (Scopus)

Practical behavioral inconsistency detection between source code and specification using model checking

Matsuura, S., Aoki, Y. & Ogata, S., 2014 Dec 12, Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc., p. 124-125 2 p. 6983818

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision tables
Model checking
Specifications

Special section on Knowledge-Based software engineering

Matsuura, S., 2014, In : IEICE Transactions on Information and Systems. E96-D, 5, p. 1016 1 p.

Research output: Contribution to journalArticle

Software engineering
2 Citations (Scopus)

Verifying business rules using model-checking techniques for non-specialist in model-checking

Aoki, Y. & Matsuura, S., 2014, In : IEICE Transactions on Information and Systems. E96-D, 5, p. 1097-1108 12 p.

Research output: Contribution to journalArticle

Model checking
Defects
Industry
Specifications
Finite automata
4 Citations (Scopus)

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

Aoki, Y. & Matsuura, S., 2014 Sep 23, 2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 18-25 8 p. 6908674

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unified Modeling Language
Model checking
Specifications
Software engineering
Finite automata
2013
4 Citations (Scopus)

A dynamic countermeasure method to android malware by user approval

Kato, M. & Matsuura, S., 2013, Proceedings - International Computer Software and Applications Conference. p. 730-731 2 p. 6649910

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Controllability
Malware
Dynamical systems
1 Citation (Scopus)

A review method for UML requirements analysis model employing system-side prototyping

Ogata, S. & Matsuura, S., 2013, In : SpringerPlus. 2, 1

Research output: Contribution to journalArticle

Specifications
User interfaces
Websites
Costs
Software engineering
3 Citations (Scopus)

Experimental development based on mapping rule between requirements analysis model and web framework specific design model

Okuda, H., Ogata, S. & Matsuura, S., 2013, In : SpringerPlus. 2, 1, p. 1-8 8 p.

Research output: Contribution to journalArticle

Unified Modeling Language
User interfaces
1 Citation (Scopus)

UML based security function policy verification method for requirements specification

Noro, A. & Matsuura, S., 2013, Proceedings - International Computer Software and Applications Conference. p. 832-833 2 p. 6649930

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
2012

An Automation of Check Focusing on CRUD for Requirements Analysis Model in UML

S.Ogata, S. O., Aoki, Y., Okuda, H. & Matsuura, S., 2012 Sep 1, In : Proc of ICSCE 2012.

Research output: Contribution to journalArticle

A review method of requirements analysis model in UML with prototyping

Ogata, S. & Matsuura, S., 2012, Frontiers in Artificial Intelligence and Applications. Vol. 240. p. 181-190 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 240).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

User interfaces
Data structures
Specifications
Defects
Industry

Collaborative learning environment for identifier naming in source codes

Shikimi, R. & Matsuura, S., 2012, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012. p. 106-111 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

software development
Software engineering
learning environment
majority rule
development project
1 Citation (Scopus)

Mapping rule between requirements analysis model and web framework specific design model

Okuda, H., Ogata, S. & Matsuura, S., 2012, Frontiers in Artificial Intelligence and Applications. Vol. 240. p. 207-216 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 240).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unified Modeling Language
User interfaces
Experiments

Preface

Virvou, M. & Matsuura, S., 2012, In : Frontiers in Artificial Intelligence and Applications. 240

Research output: Contribution to journalArticle

Knowledge based systems
2 Citations (Scopus)

Quality improvement of requirements specification using model checking technique

Aoki, Y., Ogata, S., Okuda, H. & Matsuura, S., 2012, ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. SAIC/- ed. Vol. 2 ISAS. p. 401-406 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Requirements specification
Prototype
Requirements analysis
Quality improvement
2 Citations (Scopus)

Test case generation by simulating requirements analysis model

Shikimi, R., Ogata, S. & Matsuura, S., 2012, Proceedings - International Computer Software and Applications Conference. p. 356-357 2 p. 6340175

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Software engineering
1 Citation (Scopus)

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

Ogata, S. & Matsuura, S., 2012, Proceedings of the 5th India Software Engineering Conference, ISEC'12. p. 105-108 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Students
Unified Modeling Language
Software engineering
Education
Specifications
2011
4 Citations (Scopus)

A Method for Detecting Unusual Defects in Enterprise System

Aoki, Y. & Matsuura, S., 2011 Feb 1, In : Proc of SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYSTEMS. p. 165-171

Research output: Contribution to journalArticle

4 Citations (Scopus)

A method for detecting unusual defects in enterprise system using model checking techniques

Aoki, Y. & Matsuura, S., 2011, Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11. p. 165-171 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Defects
Industry

Dependency analysis for learning class structure for novice Java programmer

Wakabayashi, T., Ogata, S. & Matsuura, S., 2011, ICSESS 2011 - Proceedings: 2011 IEEE 2nd International Conference on Software Engineering and Service Science. p. 532-535 4 p. 5982370

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Maintainability
1 Citation (Scopus)

Enhancement of requirements specification traceability by model driven requirements analysis employing automatic prototype generation

Ogata, S., Matsuura, S., Sakai, R., Sato, H. & Kobayashi, T., 2011, Proceedings of the 10th IASTED International Conference on Software Engineering, SE 2011. p. 55-63 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unified Modeling Language
Specifications
Cloud computing
User interfaces
Software engineering
2 Citations (Scopus)

Validation code generation for unexpected user operation on Web user interface

Ogata, S. & Matsuura, S., 2011, 2011 International Conference on Communications, Computing and Control Applications, CCCA 2011. 6031236

Research output: Chapter in Book/Report/Conference proceedingConference contribution

User interfaces
Unified Modeling Language
Code generation

Verification of embedded system by a method for detecting defects in source codes using model checking

Aoki, Y. & Matsuura, S., 2011, ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics. p. 530-535 6 p. 5958972

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Embedded systems
Hardware
Defects
Robots
2010
1 Citation (Scopus)

A method for detecting defects in source codes using model checking techniques

Aoki, Y. & Matsuura, S., 2010, Proceedings - International Computer Software and Applications Conference. p. 543-544 2 p. 5676307

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model checking
Defects
Industry
18 Citations (Scopus)

A method of automatic integration test case generation from UML-based scenario

Ogata, S. & Matsuura, S., 2010 Apr, In : WSEAS Transactions on Information Science and Applications. 7, 4, p. 598-607 10 p.

Research output: Contribution to journalArticle

Unified Modeling Language
Formal languages
Software engineering
Industry
Information systems
1 Citation (Scopus)

A programming learning environment "azur": Visualizing block structures and program function behavior

Imaizumi, T., Hashiura, H., Matsuura, S. & Komiya, S., 2010, Proceedings of the 9th Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2010. p. 306-311 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Switches
Experiments
1 Citation (Scopus)

A Programming Learning Environment "AZUR" : Visualizing Block Structures and Program Function Behavior

Imaizumi, T., HASHIURA, H., MATSUURA, S. & KOMIYA, S., 2010 Aug 1, In : Proc of JCKBSE’10.

Research output: Contribution to journalArticle

2 Citations (Scopus)

A tool for diagnosing the quality of java program and a method for its effective utilization in education

Hashiura, H., Matsuura, S. & Komiya, S., 2010, Proceedings of the 9th WSEAS International Conference on Applications of Computer Engineering, ACE '10. p. 276-282 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Education
Students
Seats
Feedback
8 Citations (Scopus)
Software engineering
Specifications
Unified Modeling Language
User interfaces
Industry

Model Driven Development for Embedded Systems

K.Ito, K. I., S.Matsuura, S. M. & Matsuura, S., 2010 Feb 20, In : Proc of SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYSTEMS (SEPADS '10),.

Research output: Contribution to journalArticle

2 Citations (Scopus)

The method of an automatic Web UI prototyp generation based on requirements analysis model in UML

Ogata, S. & Matsuura, S., 2010 May, In : Computer Software. 27, 2, p. 14-32 19 p.

Research output: Contribution to journalArticle

Industry
Specifications
HTML
World Wide Web
Data structures
2009
1 Citation (Scopus)

An evaluation of a use case driven requirements analysis using web UI prototype generation tool

Ogata, S. & Matsuura, S., 2009, Proceedings of the 9th WSEAS International Conference on Applied Computer Science, ACS '09. p. 235-240 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unified Modeling Language
User interfaces
Software engineering
Specifications
Industry
2008

A system development method based on a service independent interaction model

Amakawa, M., Ogata, S. & Matsuura, S., 2008, Proceedings of the 9th IASTED International Conference on Software Engineering and Applications, SEA 2008. p. 154-159 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A UML-based Requirements Analysis with Automatic Prototype System Generation

S.Ogata, S. O., S.Matsuura, S. M. & Matsuura, S., 2008 Jun 1, In : Communications of SIWN. 3, p. 166-172

Research output: Contribution to journalArticle

3 Citations (Scopus)

Automatic generation of UML-based Web application prototypes

Ogata, S. & Matsuura, S., 2008, ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems. Vol. 1 ISAS. p. 244-251 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Unified Modeling Language
Software engineering
Industry
1 Citation (Scopus)

Improving the marking of programming exercises using a marking support tool and subject design

Matsuura, S., 2008, Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education. p. 76-80 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Students
Concretes
Testing
5 Citations (Scopus)

Scenario-based automatic prototype generation

Ogata, S. & Matsuura, S., 2008, Proceedings - International Computer Software and Applications Conference. p. 492-493 2 p. 4591603

Research output: Chapter in Book/Report/Conference proceedingConference contribution

User interfaces
2007

A learning support tool for testing Java programs

Kamigochi, N. & Matsuura, S., 2007, Proceedings of the IASTED International Conference on Software Engineering, SE 2007. p. 273-278 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Testing
Navigation
Students
Specifications
5 Citations (Scopus)

An evaluation method of project based learning on software development experiment

Matsuura, S., 2007, Proceedings of the Thirty-Seventh SIGCSE Technical Symposium on Computer Science Education. p. 163-167 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

software development
Software engineering
Students
group work
experiment

IMPROVEMENT IN MARKING OF PROGRAMMING EXERCISES USING A MARKING SUPPORT TOOL AND SUBJECT DESIGN

S.Matsuura, S. M. & Matsuura, S., 2007 Oct 1, In : Proc. of CATE 2007.

Research output: Contribution to journalArticle

2006

Collaboration support model of software development experiment

Matsuura, S. & Kurihara, H., 2006, 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006. p. 23-28 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Software engineering
Experiments
Students
Planning
Engineering education
7 Citations (Scopus)

Design and Implementation of an Aspect Instantiation Mechanism

K.Sakurai, K. S., H.Masuhara, H. M., N.Ubayashi, N. U., S.Matsuura, S. M., S.Komiya, S. K. & Matsuura, S., 2006 Apr 1, In : Lecture Notes in Computer Science. 3880, p. 259-292

Research output: Contribution to journalArticle

2005

A Unit Testing Framework for Aspects without Weaving

Y.Yamazaki, Y. Y., K.Sakurai, K. S., S.Matsuura, S. M., H.Masuhara, H. M., H.Hashiura, H. H., S.Komiya, S. K. & Matsuura, S., 2005 Mar 15, In : The 4rd International Conference on Aspect-Oriented Software Development (AOSD'05) WTAOP.

Research output: Contribution to journalArticle

Evaluation of Association Aspects through Constructing Integrated Applications.

Sakurai, K., Matsuura, S., Komiya, S. & Masuhara, H., 2005, In : Computer Software. 22, 3, p. 222-228 7 p.

Research output: Contribution to journalArticle

File editors
Aspect oriented programming
Object oriented programming
Project management
Computer programming languages