Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 8 Similar Profiles
Unified Modeling Language Engineering & Materials Science
Software engineering 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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1992 2015

  • 141 Citations
  • 6 h-Index
  • 32 Article
  • 31 Conference contribution

Model driven development by separating concerns in UML requirements specification

Kawai, S. & Matsuura, S. 2015 Sep 21 Proceedings - International Computer Software and Applications Conference. IEEE Computer Society, Vol. 3, p. 668-669 2 p. 7273456

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Malware

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision tables
Model checking
Specifications

Special section on Knowledge-Based software engineering

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

Research output: Contribution to journalArticle

Software engineering
1 Citations

Verifying business rules using model-checking techniques for non-specialist in model-checking

Aoki, Y. & Matsuura, S. 2014 In : IEICE Transactions on Information and Systems. E96-D, 5, p. 1097-1108 12 p.

Research output: Contribution to journalArticle

Model checking
Defects
Industry
Specifications
Finite automata