Motoshi SAEKI


An Investigative Study on How Developers Filter and Prioritize Code Smells
Natthawute SAE-LIM Shinpei HAYASHI Motoshi SAEKI 
Publication:   
Publication Date: 2018/07/01
Vol. E101-D  No. 7  pp. 1733-1742
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
code smellscode smell filtrationcode smell prioritizationpractitioner's perspective
 Summary | Full Text:PDF(610.6KB)

Detecting Architectural Violations Using Responsibility and Dependency Constraints of Components
Shinpei HAYASHI Fumiki MINAMI Motoshi SAEKI 
Publication:   
Publication Date: 2018/07/01
Vol. E101-D  No. 7  pp. 1780-1789
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
architecture patterncode smellprogram dependence graph
 Summary | Full Text:PDF(915.8KB)

Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
Kunihiro NODA Takashi KOBAYASHI Shinichiro YAMAMOTO Motoshi SAEKI Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D  No. 4  pp. 959-969
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
program slicingprogram comprehensionprogram maintenancesequence diagramreverse engineeringdebugging
 Summary | Full Text:PDF(1.4MB)

Impact Analysis on an Attributed Goal Graph
Shinpei HAYASHI Daisuke TANABE Haruhiko KAIYA Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D  No. 4  pp. 1012-1020
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
goal-oriented analysisimpact analysischange management
 Summary | Full Text:PDF(905.2KB)

Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
Rodion MOISEEV Shinpei HAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/03/01
Vol. E94-D  No. 3  pp. 612-621
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
OCLconstraintsassertion codeprogramming languages
 Summary | Full Text:PDF(769.6KB)

Deriving Framework Usages Based on Behavioral Models
Teruyoshi ZENMYO Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/04/01
Vol. E93-D  No. 4  pp. 733-744
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Software Development Techniques
Keyword: 
frameworklabeled transition systembranch conditionsatisfiability problem
 Summary | Full Text:PDF(2.6MB)

Search-Based Refactoring Detection from Source Code Revisions
Shinpei HAYASHI Yasuyuki TSUDA Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/04/01
Vol. E93-D  No. 4  pp. 754-762
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Management Techniques
Keyword: 
refactoringversion archivessource code differencesinformed searchheuristics
 Summary | Full Text:PDF(424.3KB)

Design Pattern Detection by Using Meta Patterns
Shinpei HAYASHI Junya KATADA Ryota SAKAMOTO Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4  pp. 933-944
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Software Engineering
Keyword: 
design patternsprogram understandingmeta patternsdynamic analysisProlog
 Summary | Full Text:PDF(819.3KB)

Attributed Goal-Oriented Analysis Method for Selecting Alternatives of Software Requirements
Kazuma YAMAMOTO Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/04/01
Vol. E91-D  No. 4  pp. 921-932
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Software Engineering
Keyword: 
goal-oriented analysisrequirements analysisattribute grammardecision makingTOPSIS methodattributed graph
 Summary | Full Text:PDF(679.2KB)

Supporting Application Framework Selection Based on Labeled Transition Systems
Teruyoshi ZENMYO Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4  pp. 1378-1389
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
application frameworklabeled transition system
 Summary | Full Text:PDF(872.6KB)

Meta-Modeling Based Version Control System for Software Diagrams
Takafumi ODA Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4  pp. 1390-1402
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
UML diagramversion control systemmeta-CASErepository
 Summary | Full Text:PDF(2.7MB)

Supporting Refactoring Activities Using Histories of Program Modification
Shinpei HAYASHI Motoshi SAEKI Masahito KURIHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4  pp. 1403-1412
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
refactoringsoftware development environmentmodification historypattern matching
 Summary | Full Text:PDF(825.5KB)

Formalizing Refactoring by Using Graph Transformation
Hiroshi KAZATO Minoru TAKAISHI Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4  pp. 855-867
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Metrics, Test, and Maintenance
Keyword: 
refactoringobject-oriented designgraph transformationgraph grammarOCLmeta model
 Summary | Full Text:PDF(2MB)

Combining Goal-Oriented Analysis and Use Case Analysis
Kenji WATAHIKI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4  pp. 822-830
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Requirement Engineering
Keyword: 
goal-oriented analysisscenario analysisrequirements engineering
 Summary | Full Text:PDF(820.7KB)

Specifying Software Architectures Based on Coloured Petri Nets
Wenxin WU Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 701-712
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: System
Keyword: 
software architectureColoured Petri Netarchitecture stylearchitecture description languagearchitectural reuse
 Summary | Full Text:PDF(780.9KB)

Applying Multiple Program Graphs to Modify Specifications
Takahiro NAKANISHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 669-678
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
program graphsoftware maintenancesoftware evolutionreverse engineering
 Summary | Full Text:PDF(877.8KB)

Method Integration with Formal Description Techniques
Sureerat SAEEIAB Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4  pp. 616-626
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
method integrationspecification and design methodsformal description techniqueLOTOSOMT
 Summary | Full Text:PDF(1.1MB)