• 166 引用
  • 6 h指数
1992 …2020

年単位の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

フィンガープリント Saeko Matsuuraが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

  • 6 同様のプロファイル

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

Automatic verification of behavior of UML requirements specifications using model checking

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

研究成果: Conference contribution

  • Goal-satisfaction verification to combination of use case components

    Matsuura, S., Ogata, S. & Aoki, Y., 2018 1 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. (版). SciTePress, p. 343-350 8 p. (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering; 巻数 2018-March).

    研究成果: Conference contribution

    公開
  • 1 引用 (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人, Ono, K., Saruwatari, T., Shirogane, J., Tsunoda, M. & Yamamoto, S., 2018 7, : : IEICE Transactions on Information and Systems. E101D, 7, p. 1723-1724 2 p.

    研究成果: Editorial

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

    Matsuura, S., Ogata, S. & Aoki, Y., 2017 1 1, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (版). SciTePress, p. 529-535 7 p. (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development; 巻数 2017-January).

    研究成果: Conference contribution

    公開
  • Model driven development by separating concerns in UML requirements specification

    Kawai, S. & Matsuura, S., 2015 9 21, Proceedings - International Computer Software and Applications Conference. IEEE Computer Society, 巻 3. p. 668-669 2 p. 7273456

    研究成果: Conference contribution

  • 1 引用 (Scopus)