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

Fingerprint Fingerprintは、論文等の研究業績を自然後処理することで作成された、重み付けキーワード群です。研究者や組織の主要な研究内容を表します。

  • 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

  • 151 引用
  • 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 引用

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 引用

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