Research Output 1992 2015

  • 137 Citations
  • 5 h-Index
  • 32 Article
  • 31 Conference contribution
Filter
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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

Decision tables
Model checking
Specifications
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: ResearchConference contribution

Model checking
Requirements specification
Unified modeling language
Unified Modeling Language
Specifications
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: ResearchConference contribution

Malware
Controllability
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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

software development
learning environment
Software engineering
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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

User interfaces
Code generation
Unified Modeling Language

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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

software development
experiment
evaluation
learning
Software engineering
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: ResearchConference 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: ResearchConference 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: ResearchConference contribution

Linguistics
4 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: ResearchConference contribution

Software engineering
Communication
Telecommuting
Computer programming