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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 6 Similar Profiles
Software engineering Engineering & Materials Science
Unified Modeling Language Engineering & Materials Science
Specifications Engineering & Materials Science
Model checking Engineering & Materials Science
User interfaces Engineering & Materials Science
Students Engineering & Materials Science
Industry Engineering & Materials Science
Defects Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1992 2018

  • 151 Citations
  • 6 h-Index
  • 32 Conference contribution
  • 32 Article
  • 1 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 1, In : IEICE Transactions on Information and Systems. E101D, 7, p. 1723-1724 2 p.

Research output: Contribution to journalEditorial

Software engineering

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

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