• 165 Citations
  • 6 h-Index
1992 …2020

Research output per year

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

Fingerprint Dive into the research topics where Saeko Matsuura is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 9 Similar Profiles

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

Research Output

Automatic verification of behavior of UML requirements specifications using model checking

Matsuura, S., Ikeda, S. & Yokotae, K., 2020 Jan 1, MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 158-166 9 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

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

  • Goal-satisfaction verification to combination of use case components

    Matsuura, S., Ogata, S. & Aoki, Y., 2018 Jan 1, ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. Damiani, E., Spanoudakis, G., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 343-350 8 p. (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering; vol. 2018-March).

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

    Open Access
  • 1 Citation (Scopus)

    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

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