Research Output 1992 2015

  • 141 Citations
  • 6 h-Index
  • 32 Article
  • 31 Conference contribution
2015

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

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
1 Citations

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
2 Citations

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
3 Citations

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 Citations

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

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 Citations

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 Citations

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
1 Citations

Preface

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

Research output: Contribution to journalArticle

Knowledge based systems
2 Citations

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
1 Citations

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 Citations

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

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

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 Citations

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

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 Citations

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
17 Citations

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 Citations

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 Citations

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

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
7 Citations
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

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 Citations

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

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 Citations

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

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
4 Citations

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

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

Lesson Support System for Programming Exercise Lesson Improvement

S.Matsuura, S. M., S.Atsuta, S. A. & Matsuura, S. 2005 Feb 1 In : The 4th IASTED International Conference on Web-Based Education (WBE2005).

Research output: Contribution to journalArticle

2 Citations

Lesson support system for the improvement of the programming exercise lesson

Matsuura, S. & Atsuta, S. 2005 Proceedings of the IASTED International Conference on Web-Based Education, WBE 2005. p. 131-136 6 p.

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

programming
Internet
Students
management
student