SUZUKI, Masato Associate Professor
Information Science, Next-Generation Digital Infrastructure, School of Information Science
◆Degrees
B, M, Dr. of Engineering Tokyo Institute of Technology
◆Professional Experience
1992 - : - 北陸先端科学技術大学院大学 助手
◆Research Keywords
Software Architechture/Components, Software Development Environment(Tools), Program Comprehension, Software Engineering
◆Research Interests
Restructuring and redesign of legacy softwares using components
Many of legacy softwares are hard to extand and maintain caused by their inflexible designs and/or lack of documentations. We aim to reconstruct or redesign these softwares using components, which are effcient and flexible parts of modern software. We are now engaging in developing construction methodology and supporting envirenments.
A supporting environment for Refactoring using operation histories
Refactoring is an operation which improves structure of software for expandablity and reliability without changing its functions. There are many hazards for applying refactoring to development, such as detection of target, management of "history," series of operations. We intend to make them easy to use for developers. We already give some formal definitions for primitive operations, applying some metrics for detection of the targets. We aim to developing an integrated supporting environment which includes analysis, improvement and extaction of patterns from "history."
An environment for large software comprehension
Most of software development costs are maintainance of legacy softwares. One of the problem is difference between its 'design' and 'implementation,' especially very large (more than 10,000 lines) codes. Complex structure of codes also make hard to understand the overall structure and function of softwares. We aim to analyze these codes and extract information by 'filters,' which are flexiblly defined and configured by user, and building supporting environments/tools. We indend to support easy extension for new programming languages and focus on conversion from codes written in one programming language to another without changing its functions.

■Publications

◆Published Papers
SDVerifier: A tool for verification of sequence diagrams using the process algebra CSP
Tomohiro Kaizu, Masato Suzuki, Yoshinao Isobe
Computer Software, 32, 234-252, 2015
Improving the quality of AspectJ application: Translating name-based pointcuts to analysis-based pointcuts
Lin Wang, Tomoyuki Aotani, Masato Suzuki
2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 27-36, 2014
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Tomohiro Kaizu, Yoshinao Isobe, Masato Suzuki
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A, 2, 495-504, 2013
Feature selection for clustering based aspect mining
Lin Wang, Tomoyuki Aotani, Masato Suzuki
VariComp 2013 - Proceedings of the 4th International Workshop on Variability and Composition, 7-11, 2013
Interaction awareness for aspect refactoring
Lin Wang, Tomoyuki Aotani, Masato Suzuki
AOAsia 2013: Proceedings of the 8th International Workshop on Advanced Modularization Techniques - AOAsia/Pacific, 15-17, 2013
◆Misc
分散環境における耐故障ソフトウェアのためのフレームワーク-Java RMIによる実装-,
信学技報電子情報通信学会FTS研究会, FT99-10, -, 1999
An implementation of the FTAG model in concurrent ML
M Suzuki, T Katayama, RD Schlichting
PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 4, 229-234, 1997
ソフトウェアプロセス適応のための形式的モデル
コンピュータソフトウェア(日本ソフトウェア科学会), 13, 5, 2-10, 1996
A Formal Description of FTAG for Multi-Processor Systems
Third Pacific Rim International Symposium on Fault-Tolerant Systems, 3, 244-253, 1995
IMPLEMENTING FAULT-TOLERANCE WITH AN ATTRIBUTE AND FUNCTIONAL BASED MODEL
M SUZUKI, T KATAYAMA, RD SCHLICHTING
FTCS-24 - THE TWENTY-FOURTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 244-253, 1994
◆Books
Architecture and Component Based Approaches for Dependable Distributed Information Systems
pp. 656-661, SCI 2000, Volume 3, 2000
Implementing Fault Tolerant Software in Distributed Environment
pp. 341-358, Kluwer Academic Press, Chapter 15, 2000
「コンピュータリテラシ -- 情報環境の使い方--」
昭晃堂, 2000
Usign a functional language for designing fault tolerant parallel and distributed software
pp. 249-256, ISAS 98, Volume 1, 1998
A Formal model Description of FTAG for Muiti processor System
pp. 230-235, PRFTS95, 1995

■Teaching Experience

Study on Practical Architectures for IoT Systems, Software Development Laboratory for Highly, Software Process Design for Highly Dependable Embedded Systems, Software Architecture, 実践的IoTシステムアーキテクチャ論, 高信頼組込みシステム開発演習, 高信頼組込みシステム開発プロセス設計, ソフトウェアアーキテクチャ論

■Contributions to  Society

◆Academic Society Affiliations
電子情報通信学会, 日本ソフトウェア科学会, IEEE Computer Society, ACM, 情報処理学会
◆Academic Contribution
ああ
連絡委員 , 情報処理学会