Research Output 1992 2015

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

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
2013
1 Citations

A review method for UML requirements analysis model employing system-side prototyping

Ogata, S. & Matsuura, S. 2013 In : SpringerPlus. 2, 1

Research output: Contribution to journalArticle

Specifications
User interfaces
Websites
Costs
Software engineering
3 Citations

Experimental development based on mapping rule between requirements analysis model and web framework specific design model

Okuda, H., Ogata, S. & Matsuura, S. 2013 In : SpringerPlus. 2, 1, p. 1-8 8 p.

Research output: Contribution to journalArticle

Unified Modeling Language
User interfaces
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 Sep 1 In : Proc of ICSCE 2012.

Research output: Contribution to journalArticle

1 Citations

Preface

Virvou, M. & Matsuura, S. 2012 In : Frontiers in Artificial Intelligence and Applications. 240

Research output: Contribution to journalArticle

Knowledge based systems
2011
4 Citations

A Method for Detecting Unusual Defects in Enterprise System

Aoki, Y. & Matsuura, S. 2011 Feb 1 In : Proc of SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYSTEMS. p. 165-171

Research output: Contribution to journalArticle

2010
17 Citations

A method of automatic integration test case generation from UML-based scenario

Ogata, S. & Matsuura, S. 2010 Apr In : WSEAS Transactions on Information Science and Applications. 7, 4, p. 598-607 10 p.

Research output: Contribution to journalArticle

Unified Modeling Language
Formal languages
Software engineering
Industry
Information systems
1 Citations

A Programming Learning Environment "AZUR" : Visualizing Block Structures and Program Function Behavior

Imaizumi, T., HASHIURA, H., MATSUURA, S. & KOMIYA, S. 2010 Aug 1 In : Proc of JCKBSE’10.

Research output: Contribution to journalArticle

7 Citations
Software engineering
Specifications
Unified Modeling Language
User interfaces
Industry

Model Driven Development for Embedded Systems

K.Ito, K. I., S.Matsuura, S. M. & Matsuura, S. 2010 Feb 20 In : Proc of SOFTWARE ENGINEERING, PARALLEL and DISTRIBUTED SYSTEMS (SEPADS '10),.

Research output: Contribution to journalArticle

2 Citations

The method of an automatic Web UI prototyp generation based on requirements analysis model in UML

Ogata, S. & Matsuura, S. 2010 May In : Computer Software. 27, 2, p. 14-32 19 p.

Research output: Contribution to journalArticle

Industry
Specifications
HTML
World Wide Web
Data structures
2008

A UML-based Requirements Analysis with Automatic Prototype System Generation

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

Research output: Contribution to journalArticle

2007

IMPROVEMENT IN MARKING OF PROGRAMMING EXERCISES USING A MARKING SUPPORT TOOL AND SUBJECT DESIGN

S.Matsuura, S. M. & Matsuura, S. 2007 Oct 1 In : Proc. of CATE 2007.

Research output: Contribution to journalArticle

2006
7 Citations

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 Apr 1 In : Lecture Notes in Computer Science. 3880, p. 259-292

Research output: Contribution to journalArticle

2005

A Unit Testing Framework for Aspects without Weaving

Y.Yamazaki, Y. Y., K.Sakurai, K. S., S.Matsuura, S. M., H.Masuhara, H. M., H.Hashiura, H. H., S.Komiya, S. K. & Matsuura, S. 2005 Mar 15 In : The 4rd International Conference on Aspect-Oriented Software Development (AOSD'05) WTAOP.

Research output: Contribution to journalArticle

Evaluation of Association Aspects through Constructing Integrated Applications.

Sakurai, K., Matsuura, S., Komiya, S. & Masuhara, H. 2005 In : Computer Software. 22, 3, p. 222-228 7 p.

Research output: Contribution to journalArticle

File editors
Aspect oriented programming
Object oriented programming
Project management
Computer programming languages

Lesson Support System for Programming Exercise Lesson Improvement

S.Matsuura, S. M., S.Atsuta, S. A. & Matsuura, S. 2005 Feb 1 In : The 4th IASTED International Conference on Web-Based Education (WBE2005).

Research output: Contribution to journalArticle

PROGRAMMING EXERCISE EVALUATION METHOD USING CODE REVIEW FOR IMPROVEMENT OF PROGRAMMING SKILL

S.Matsuura, S. M., S.Atsuta, S. A., T.Fujiwara, T. F. & Matsuura, S. 2005 Aug 1 In : Default journal.

Research output: Contribution to journalArticle

THE EFFECTS OF REFACTORING PROCESSES ON PTOGRAM QUALITY

T.Fujiwarra, T. F., S.Matsuura, S. M. & Matsuura, S. 2005 Jun 1 In : Default journal.

Research output: Contribution to journalArticle

1997
7 Citations

EVA: A flexible programming method for evolving systems

Matsuura, S., Kuruma, H. & Honiden, S. 1997 In : IEEE Transactions on Software Engineering. 23, 5, p. 296-313 18 p.

Research output: Contribution to journalArticle

Computer programming
Functional programming
Service life
Personnel
7 Citations

Eva : A Flexible Programming Method for Evolving Systems

Saeko, M., Hironobu, K., Shinichi, H. & Matsuura, S. 1997 May 16 In : IEEE Transactions on Software Engineering. 23, p. 296-313

Research output: Contribution to journalArticle

Program Development with Reuse of Programming Processes

Saeko, M., Hironobu, K., Shinichi, H. & Matsuura, S. 1997 Jun 17 In : The 9th International Conference on Software Engineering & Knowledge Engineering. p. 121-130

Research output: Contribution to journalArticle

1996

EVA : A Flexible Programming Support System

Saeko, M., Hironobu, M. S., Shinichi, H. & Matsuura, S. 1996 Dec 9 In : International Symposium on New Models for Softwave Architecture '96. p. 15-23

Research output: Contribution to journalArticle

1995

Knowledge Acquisition and Integration on Specification Change

Saeko, M., Shinichi, H. & Matsuura, S. 1995 Dec 6 In : Proceesings of Asia Pacific Software Engineering Conference '95. p. 364-373

Research output: Contribution to journalArticle

1993

Software Process Modeling Using Functional Language Miranda

Saeko, M., Shinichi, H. & Matsuura, S. 1993 Nov 17 In : Conference Proceedings of Joint Conference on Software Engineering '93. p. 255-262

Research output: Contribution to journalArticle

1992

Software development environment: dmCASE

Matsuura, S. & Ohbayashi, M. 1992 In : Journal of Information Processing. 15, 1, p. 116-128 13 p.

Research output: Contribution to journalArticle

Software engineering
Specification languages
Object oriented programming
User interfaces
Formal specification

The Software Development Environment : dm CASE

Saeko, M., Masaharu, O. & Matsuura, S. 1992 Jan 15 In : Transaction from Transactions of IPSJ. 15, p. 116-128

Research output: Contribution to journalArticle