• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
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.
  • 7 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • 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

  • Requirements Traceability Management Support Tool for UML Models

    Yoshino, K. & Matsuura, S., 2020 Feb 18, Proceedings of the 2020 9th International Conference on Software and Computer Applications, ICSCA 2020. Association for Computing Machinery, p. 163-166 4 p. (ACM International Conference Proceeding Series).

    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, 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 journalEditorialpeer-review

  • Security requirements verification for existing systems with model checking technique and UML

    Matsuura, S., Ogata, S. & Aoki, Y., 2017, 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
If you made any changes in Pure these will be visible here soon.