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

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

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

  • 146 引用
  • 6 h指数
  • 32 Conference contribution
  • 32 Article

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

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

Special section on Knowledge-Based software engineering

Matsuura, S. 2014 : : IEICE Transactions on Information and Systems. E96-D, 5, p. 1016 1 p.

研究成果: ジャーナルへの寄稿Article

Software engineering