• 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

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

Software development environment: dmCASE

Matsuura, S. & Ohbayashi, M., 1992 Dec 1, In : Journal of information processing. 15, 1, p. 116-128 13 p.

Research output: Contribution to journalArticle

Software Process Modeling Using Functional Language Miranda

Saeko, M., Shinichi, H. & Matsuura, S., 1993 Nov 17, In : Conference Proceedings of Joint Conference on Software Engineering '93. p. 255-262

Research output: Contribution to journalArticle

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

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)

THE EFFECTS OF REFACTORING PROCESSES ON PTOGRAM QUALITY

T.Fujiwarra, T. F., S.Matsuura, S. M. & Matsuura, S., 2005 Jun 1, In : Default journal.

Research output: Contribution to journalArticle

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

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

Research output: Contribution to journalArticle

2 Citations (Scopus)

The Software Development Environment : dm CASE

Saeko, M., Masaharu, O. & Matsuura, S., 1992 Jan 15, In : Transaction from Transactions of IPSJ. 15, p. 116-128

Research output: Contribution to journalArticle

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 business rules using model-checking techniques for non-specialist in model-checking

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

Research output: Contribution to journalArticle

2 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. (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)