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

Research Output 1992 2018

  • 151 Citations
  • 6 h-Index
  • 32 Conference contribution
  • 32 Article
  • 1 Editorial
Filter
Conference contribution
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 Citations

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 Citations

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

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

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

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
5 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
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
2005
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
2004
41 Citations

Association aspects

Sakurai, K., Masuhara, H., Ubayashi, N., Matsuura, S. & Komiya, S., 2004, AOSD 2004: 3rd International Conference on Aspect-Oriented Software Development - Conference Proceedings. Lieberherr, K. (ed.). p. 16-25 10 p.

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

Linguistics
5 Citations

EXtreme programming support tool in distributed environment

Atsuta, S. & Matsuura, S., 2004, Proceedings - International Computer Software and Applications Conference. Vol. 2, p. 32-33 2 p.

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

Software engineering
Communication
Telecommuting
Computer programming