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

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

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

  • 153 引用
  • 6 h指数
  • 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人, 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
1 引用 (Scopus)

Practical behavioral inconsistency detection between source code and specification using model checking

Matsuura, S., Aoki, Y. & Ogata, S., 2014 12 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

研究成果: Conference contribution

Decision tables
Model checking
Specifications