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

Fingerprint Saeko Matsuuraが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

  • 5 同様のプロファイル
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

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

研究成果 1992 2018

  • 160 引用
  • 6 h指数
  • 33 Conference contribution
  • 32 Article
  • 1 Editorial

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

公開
Software engineering
Uncertainty

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 1, : : IEICE Transactions on Information and Systems. E101D, 7, p. 1723-1724 2 p.

研究成果: Editorial

Software engineering

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. SciTePress, 巻 2017-January. p. 529-535 7 p.

研究成果: Conference contribution

Model checking
Specifications
Software engineering
1 引用 (Scopus)

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

Specifications

Improve user's security literacy by experiencing behavior of pseudo android malware

Kato, M. & Matsuura, S., 2014 9 15, Proceedings - International Computer Software and Applications Conference. IEEE Computer Society, p. 602-603 2 p. 6899269

研究成果: Conference contribution

Malware