• 165 引用
  • 6 h指数
1992 …2020

年単位の研究成果

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

研究成果

2020

Automatic verification of behavior of UML requirements specifications using model checking

Matsuura, S., Ikeda, S. & Yokotae, K., 2020 1 1, MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (版). SciTePress, p. 158-166 9 p. (MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development).

研究成果: Conference contribution

2018

Goal-satisfaction verification to combination of use case components

Matsuura, S., Ogata, S. & Aoki, Y., 2018 1 1, ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. Damiani, E., Spanoudakis, G., Maciaszek, L. & Maciaszek, L. (版). SciTePress, p. 343-350 8 p. (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering; 巻数 2018-March).

研究成果: Conference contribution

公開
1 引用 (Scopus)

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

2017

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. Pires, L. F., Hammoudi, S. & Selic, B. (版). SciTePress, p. 529-535 7 p. (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development; 巻数 2017-January).

研究成果: Conference contribution

公開
2015

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

1 引用 (Scopus)
2014

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

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. (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014).

研究成果: Conference contribution

2 引用 (Scopus)
2 引用 (Scopus)

Verifying security requirements using model checking technique for UML-based requirements specification

Aoki, Y. & Matsuura, S., 2014 9 23, 2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 18-25 8 p. 6908674. (2014 IEEE 1st International Workshop on Requirements Engineering and Testing, RET 2014 - Proceedings).

研究成果: Conference contribution

6 引用 (Scopus)
2013

A dynamic countermeasure method to android malware by user approval

Kato, M. & Matsuura, S., 2013 1 1, Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society, p. 730-731 2 p. 6649910. (Proceedings - International Computer Software and Applications Conference).

研究成果: Conference contribution

5 引用 (Scopus)
2 引用 (Scopus)
3 引用 (Scopus)

UML based security function policy verification method for requirements specification

Noro, A. & Matsuura, S., 2013 1 1, Proceedings - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013. IEEE Computer Society, p. 832-833 2 p. 6649930. (Proceedings - International Computer Software and Applications Conference).

研究成果: Conference contribution

1 引用 (Scopus)
2012

An Automation of Check Focusing on CRUD for Requirements Analysis Model in UML

S.Ogata, S. O., Aoki, Y., Okuda, H. & Matsuura, S., 2012 9 1, : : Proc of ICSCE 2012.

研究成果: Article

A review method of requirements analysis model in UML with prototyping

Ogata, S. & Matsuura, S., 2012, Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering. IOS Press, p. 181-190 10 p. (Frontiers in Artificial Intelligence and Applications; 巻数 240).

研究成果: Conference contribution

Collaborative learning environment for identifier naming in source codes

Shikimi, R. & Matsuura, S., 2012 10 1, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012. p. 106-111 6 p. (Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education, CATE 2012).

研究成果: Conference contribution

Mapping rule between requirements analysis model and web framework specific design model

Okuda, H., Ogata, S. & Matsuura, S., 2012, Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering. IOS Press, p. 207-216 10 p. (Frontiers in Artificial Intelligence and Applications; 巻数 240).

研究成果: Conference contribution

1 引用 (Scopus)

Preface

Virvou, M. & Matsuura, S., 2012, Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering. IOS Press, p. v-vii (Frontiers in Artificial Intelligence and Applications; 巻数 240).

研究成果: Foreword/postscript

Quality improvement of requirements specification using model checking technique

Aoki, Y., Ogata, S., Okuda, H. & Matsuura, S., 2012 9 10, ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems. SAIC/- 版 p. 401-406 6 p. (ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems; 巻数 2 ISAS, 番号 SAIC/-).

研究成果: Conference contribution

3 引用 (Scopus)

Test case generation by simulating requirements analysis model

Shikimi, R., Ogata, S. & Matsuura, S., 2012 12 14, Proceedings - 36th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2012. p. 356-357 2 p. 6340175. (Proceedings - International Computer Software and Applications Conference).

研究成果: Conference contribution

3 引用 (Scopus)

Training of requirements analysis modeling with UML-based prototype generation tool

Ogata, S. & Matsuura, S., 2012 3 21, Asian Internet Engineeering Engineering Conference, AINTEC 2010. p. 105-108 4 p. (Proceedings of the 5th India Software Engineering Conference, ISEC'12).

研究成果: Conference contribution

1 引用 (Scopus)

A method for detecting unusual defects in enterprise system using model checking techniques

Aoki, Y. & Matsuura, S., 2011 6 17, Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11. p. 165-171 7 p. (Recent Researches in Software Engineering, Parallel and Distributed Systems - 10th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems, SEPADS'11).

研究成果: Conference contribution

4 引用 (Scopus)

Dependency analysis for learning class structure for novice Java programmer

Wakabayashi, T., Ogata, S. & Matsuura, S., 2011 9 12, ICSESS 2011 - Proceedings: 2011 IEEE 2nd International Conference on Software Engineering and Service Science. p. 532-535 4 p. 5982370. (ICSESS 2011 - Proceedings: 2011 IEEE 2nd International Conference on Software Engineering and Service Science).

研究成果: Conference contribution

Enhancement of requirements specification traceability by model driven requirements analysis employing automatic prototype generation

Ogata, S., Matsuura, S., Sakai, R., Sato, H. & Kobayashi, T., 2011 6 13, Proceedings of the 10th IASTED International Conference on Software Engineering, SE 2011. p. 55-63 9 p. (Proceedings of the 10th IASTED International Conference on Software Engineering, SE 2011).

研究成果: Conference contribution

1 引用 (Scopus)

Validation code generation for unexpected user operation on Web user interface

Ogata, S. & Matsuura, S., 2011 10 26, 2011 International Conference on Communications, Computing and Control Applications, CCCA 2011. 6031236. (2011 International Conference on Communications, Computing and Control Applications, CCCA 2011).

研究成果: Conference contribution

2 引用 (Scopus)

Verification of embedded system by a method for detecting defects in source codes using model checking

Aoki, Y. & Matsuura, S., 2011 9 1, ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics. p. 530-535 6 p. 5958972. (ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics).

研究成果: Conference contribution

2010

A method for detecting defects in source codes using model checking techniques

Aoki, Y. & Matsuura, S., 2010 12 1, Proceedings - 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010. p. 543-544 2 p. 5676307. (Proceedings - International Computer Software and Applications Conference).

研究成果: Conference contribution

2 引用 (Scopus)
19 引用 (Scopus)

A programming learning environment "azur": Visualizing block structures and program function behavior

Imaizumi, T., Hashiura, H., Matsuura, S. & Komiya, S., 2010 12 1, Proceedings of the 9th Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2010. p. 306-311 6 p. (Proceedings of the 9th Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2010).

研究成果: Conference contribution

1 引用 (Scopus)
1 引用 (Scopus)

A tool for diagnosing the quality of java program and a method for its effective utilization in education

Hashiura, H., Matsuura, S. & Komiya, S., 2010 12 1, Proceedings of the 9th WSEAS International Conference on Applications of Computer Engineering, ACE '10. p. 276-282 7 p. (Proceedings of the 9th WSEAS International Conference on Applications of Computer Engineering, ACE '10).

研究成果: Conference contribution

2 引用 (Scopus)
10 引用 (Scopus)
2 引用 (Scopus)
2009

An evaluation of a use case driven requirements analysis using web UI prototype generation tool

Ogata, S. & Matsuura, S., 2009 12 1, Proceedings of the 9th WSEAS International Conference on Applied Computer Science, ACS '09. p. 235-240 6 p. (Proceedings of the 9th WSEAS International Conference on Applied Computer Science, ACS '09).

研究成果: Conference contribution

1 引用 (Scopus)
2008

A system development method based on a service independent interaction model

Amakawa, M., Ogata, S. & Matsuura, S., 2008 12 1, Proceedings of the 9th IASTED International Conference on Software Engineering and Applications, SEA 2008. p. 154-159 6 p. (Proceedings of the 9th IASTED International Conference on Software Engineering and Applications, SEA 2008).

研究成果: Conference contribution

A UML-based Requirements Analysis with Automatic Prototype System Generation

S.Ogata, S. O., S.Matsuura, S. M. & Matsuura, S., 2008 6 1, : : Communications of SIWN. 3, p. 166-172

研究成果: Article

Automatic generation of UML-based Web application prototypes

Ogata, S. & Matsuura, S., 2008 11 17, ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems. p. 244-251 8 p. (ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems; 巻数 1 ISAS).

研究成果: Conference contribution

3 引用 (Scopus)

Improving the marking of programming exercises using a marking support tool and subject design

Matsuura, S., 2008 12 1, Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education. p. 76-80 5 p. (Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education).

研究成果: Conference contribution

1 引用 (Scopus)

Scenario-based automatic prototype generation

Ogata, S. & Matsuura, S., 2008 9 23, Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. p. 492-493 2 p. 4591603. (Proceedings - International Computer Software and Applications Conference).

研究成果: Conference contribution

5 引用 (Scopus)
2007

A learning support tool for testing Java programs

Kamigochi, N. & Matsuura, S., 2007 12 1, Proceedings of the IASTED International Conference on Software Engineering, SE 2007. p. 273-278 6 p. (Proceedings of the IASTED International Conference on Software Engineering, SE 2007).

研究成果: Conference contribution

An evaluation method of project based learning on software development experiment

Matsuura, S., 2007 12 1, Proceedings of the Thirty-Seventh SIGCSE Technical Symposium on Computer Science Education. p. 163-167 5 p. (Proceedings of the Thirty-Seventh SIGCSE Technical Symposium on Computer Science Education).

研究成果: Conference contribution

5 引用 (Scopus)
2006

Collaboration support model of software development experiment

Matsuura, S. & Kurihara, H., 2006 12 1, 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006. p. 23-28 6 p. (18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006).

研究成果: Conference contribution

Design and Implementation of an Aspect Instantiation Mechanism

K.Sakurai, K. S., H.Masuhara, H. M., N.Ubayashi, N. U., S.Matsuura, S. M., S.Komiya, S. K. & Matsuura, S., 2006 4 1, : : Lecture Notes in Computer Science. 3880, p. 259-292

研究成果: Article

7 引用 (Scopus)