• 166 Citations
  • 6 h-Index
1992 …2020

Research output per year

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

Research Output

Conference contribution

Lesson support system for the improvement of the programming exercise lesson

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

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

2 Citations (Scopus)

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

Okuda, H., Ogata, S. & Matsuura, S., 2012, Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering. IOS Press, p. 207-216 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 240).

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

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

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. (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014).

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

2 Citations (Scopus)

Quality improvement of requirements specification using model checking technique

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

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

3 Citations (Scopus)

Scenario-based automatic prototype generation

Ogata, S. & Matsuura, S., 2008 Sep 23, Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. p. 492-493 2 p. 4591603. (Proceedings - International Computer Software and Applications Conference).

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

6 Citations (Scopus)

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. Pires, L. F., Hammoudi, S. & Selic, B. (eds.). SciTePress, p. 529-535 7 p. (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development; vol. 2017-January).

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

Open Access

Test case generation by simulating requirements analysis model

Shikimi, R., Ogata, S. & Matsuura, S., 2012 Dec 14, Proceedings - 36th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2012. p. 356-357 2 p. 6340175. (Proceedings - International Computer Software and Applications Conference).

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

3 Citations (Scopus)

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

Ogata, S. & Matsuura, S., 2012 Mar 21, Asian Internet Engineeering Engineering Conference, AINTEC 2010. p. 105-108 4 p. (Proceedings of the 5th India Software Engineering Conference, ISEC'12).

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

1 Citation (Scopus)

UML based security function policy verification method for requirements specification

Noro, A. & Matsuura, S., 2013 Jan 1, Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society, p. 832-833 2 p. 6649930. (Proceedings - International Computer Software and Applications Conference).

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

1 Citation (Scopus)

Validation code generation for unexpected user operation on Web user interface

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

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

2 Citations (Scopus)

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

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

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

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. (2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings).

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

6 Citations (Scopus)
Editorial

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, In : IEICE Transactions on Information and Systems. E101D, 7, p. 1723-1724 2 p.

Research output: Contribution to journalEditorial

Special section on Knowledge-Based software engineering

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

Research output: Contribution to journalEditorial

Foreword/postscript

Preface

Virvou, M. & Matsuura, S., 2012, Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering. IOS Press, p. v-vii (Frontiers in Artificial Intelligence and Applications; vol. 240).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

Review article

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

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

Research output: Contribution to journalReview article

2 Citations (Scopus)