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

  • 7 同様のプロファイル
Specifications Engineering & Materials Science
Software engineering Engineering & Materials Science
Industry Engineering & Materials Science
Unified Modeling Language Engineering & Materials Science
Model checking Engineering & Materials Science
User interfaces Engineering & Materials Science
Students Engineering & Materials Science
Defects Engineering & Materials Science

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

研究成果 1992 2015

  • 137 引用
  • 5 h-Index
  • 32 Article
  • 31 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

研究成果: ResearchConference 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

研究成果: ResearchConference contribution

Malware

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

研究成果: ResearchConference 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.

研究成果: Research - 審査Article

Software engineering
1 引用
Model checking
Industry
Defects
Specifications
Finite automata