研究者
J-GLOBAL ID:200901010655854596
更新日: 2020年08月31日
鈴木 正人
スズキ マサト | Suzuki Masato
所属機関・部署:
北陸先端科学技術大学院大学 情報科学研究科 情報科学専攻
北陸先端科学技術大学院大学 情報科学研究科 情報科学専攻 について
「北陸先端科学技術大学院大学 情報科学研究科 情報科学専攻」ですべてを検索
職名:
助教授
ホームページURL (1件):
http://www.jaist.ac.jp/~kkgi/thisyear/soj/00239soj.html
研究キーワード (4件):
ソフトウェア工学
, ソフトウェアアーキテクチャ/コンポーネント
, ソフトウェア開発支援環境(ツール)
, プログラム理解支援
競争的資金等の研究課題 (3件):
ソフトウェア工学
Software Development Environment based on Components
Construction of Dependable Software
論文 (13件):
Tomohiro Kaizu, Masato Suzuki, Yoshinao Isobe. SDVerifier: A tool for verification of sequence diagrams using the process algebra CSP. Computer Software. 2015. 32. 234-252
Lin Wang, Tomoyuki Aotani, Masato Suzuki. Improving the quality of AspectJ application: Translating name-based pointcuts to analysis-based pointcuts. 2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014). 2014. 27-36
Tomohiro Kaizu, Yoshinao Isobe, Masato Suzuki. Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES. 2013. E96A. 2. 495-504
Lin Wang, Tomoyuki Aotani, Masato Suzuki. Feature selection for clustering based aspect mining. VariComp 2013 - Proceedings of the 4th International Workshop on Variability and Composition. 2013. 7-11
Lin Wang, Tomoyuki Aotani, Masato Suzuki. Interaction awareness for aspect refactoring. AOAsia 2013: Proceedings of the 8th International Workshop on Advanced Modularization Techniques - AOAsia/Pacific. 2013. 15-17
もっと見る
MISC (6件):
分散環境における耐故障ソフトウェアのためのフレームワーク-Java RMIによる実装-,. 信学技報電子情報通信学会FTS研究会. 1999. FT99-10
M Suzuki, T Katayama, RD Schlichting. An implementation of the FTAG model in concurrent ML. PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS. 1997. 4. 229-234
ソフトウェアプロセス適応のための形式的モデル. コンピュータソフトウェア(日本ソフトウェア科学会). 1996. 13. 5. 2-10
A Formal Description of FTAG for Multi-Processor Systems. Third Pacific Rim International Symposium on Fault-Tolerant Systems. 1995. 3. 244-253
M SUZUKI, T KATAYAMA, RD SCHLICHTING. IMPLEMENTING FAULT-TOLERANCE WITH AN ATTRIBUTE AND FUNCTIONAL BASED MODEL. FTCS-24 - THE TWENTY-FOURTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING. 1994. 244-253
もっと見る
書籍 (5件):
Architecture and Component Based Approaches for Dependable Distributed Information Systems
SCI 2000, Volume 3 2000
Implementing Fault Tolerant Software in Distributed Environment
Kluwer Academic Press, Chapter 15 2000
「コンピュータリテラシ -- 情報環境の使い方--」
昭晃堂 2000
Usign a functional language for designing fault tolerant parallel and distributed software
ISAS 98, Volume 1 1998
A Formal model Description of FTAG for Muiti processor System
PRFTS95 1995
学歴 (4件):
- 1992 東京工業大学 理工学研究科 情報工学専攻
- 1992 東京工業大学
- 1989 東京工業大学 理工学研究科
- 1987 東京工業大学 工学部 情報工学科
学位 (3件):
博士(工学) (東京工業大学)
工学修士 (東京工業大学)
工学士 (東京工業大学)
経歴 (1件):
1992 - - 北陸先端科学技術大学院大学 助手
委員歴 (1件):
1997 - 1999 情報処理学会 連絡委員
所属学会 (5件):
電子情報通信学会
, 日本ソフトウェア科学会
, IEEE Computer Society
, ACM
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM