ソフトウェア工学, プログラミング言語
キーワード：高信頼ソフトウェア開発技術，ソフトウェア工学，ソフトウェアアーキテクチャ，ソフトウェアテスト，形式手法・形式検証，プログラミング言語機構，モジュール化機構
2003.10.

CREST「ポストペタスケール高性能計算に資するシステムソフトウェア技術の創出」（ポストペタスケール時代のスーパーコンピューティング向けソフトウェア開発環境）
2011.10～2017.03, 代表者：千葉 滋, 東京大学, 戦略的創造研究推進事業 (文部科学省).

主要著書

主要原著論文

1.	村岡 北斗, 鵜林 尚靖, 亀井 靖高, 佐藤 亮介, Revertに着目した不確かさに関する実証的分析, 情報処理学会論文誌, 61, 4, 918-929, 2020.04.
2.	Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato, Modular Programming and Reasoning for Living with Uncertainty (Extended Version)(Selected Paper from ICSOFT 2018), Software Technologies, Communications in Computer and Information Science (CCIS) 1077, Springer, 220-244, 2019.07.
3.	Junji Shimagaki, Yasutaka Kamei, Abram Hindle, Naoyasu Ubayashi, Automatic Topic Classification of Test Cases Using Text Mining at an Android Smartphone Vendor Company, 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2018), 32:1-32:10, 2018.10.
4.	Yasutaka Kamei, Takafumi Fukushima, Shane McIntosh, Kazuhiro Yamashita, Naoyasu Ubayashi, Ahmed E. Hassan, Studying just-in-time defect prediction using cross-project models, Empirical Software Engineering, 21, 5, 2072-2106, 2016.10.
5.	Junji Shimagaki, Yasutaka Kamei, Shane McIntosh, David Pursehouse, Naoyasu Ubayashi, Why are Commits being Reverted? A Comparative Study of Industrial and Open Source Projects, 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME 2016), 301-311, 2016.10.
6.	Keisuke Miura, Shane McIntosh, Yasutaka Kamei, Ahmed E. Hassan, Naoyasu Ubayashi, The Impact of Task Granularity on Co-evolution Analyses, 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2016), 47:1-47:10, 2016.09.
7.	Junji Shimagaki, Yasutaka Kamei, Shane McIntosh, Ahmed E. Hassan, Naoyasu Ubayashi, A Study of the Quality-Impacting Practices of Modern Code Review at Sony Mobile, 38th International Conference on Software Engineering (ICSE 2016), Software Engineering in Practic (SEIP) Track, 212-221, ICSE (Companion Volume) , 2016.05.
8.	Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei, Abstraction-aware Verifying Compiler for Yet Another MDD, 29th International Conference on Automated Software Engineering (ASE 2014), 557-562, 2014.09.
9.	Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama, Context-dependent Product Line Engineering with Lightweight Formal Approaches (SPLC 2010 Revised Selected Paper), Science of Computer Programming, 2331-2346, 78(12), 2013.12, This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical environments. In current product line development projects, Feature Analysis is mainly conducted from the viewpoint of system configurations: how hardware and software components are configured to constitute a system. In most cases, contexts are not considered explicitly. As a result, unexpected and unfavorable behavior might emerge in a system if a developer does not recognize any possible conflicting combinations between the system and contexts. To deal with this problem, this paper provides the notion of a context-dependent product line, which is composed of the system and context lines. The former is obtained by analyzing a family of systems. The latter is obtained by analyzing features of contexts associated to the systems. The system and context lines contain reusable core assets. The configuration of selected system components and contexts can be formally checked at the specification level. In this paper, we show a development process that includes the creation of both product line assets as well as context assets. .
10.	Yasutaka Kamei, Emad Shihab, Bram Adams, Ahmed E. Hassan, Audris Mockus, Anand Sinha, Naoyasu Ubayashi, A Large-Scale Empirical Study of Just-In-Time Quality Assurance, IEEE Transactions on Software Engineering, 39, 6, 757-773, 2013.06.
11.	Naoyasu Ubayashi, Yasutaka Kamei, Masayuki Hirayama, and Tetsuo Tamai, A Context Analysis Method for Embedded Systems ---Exploring a Requirement Boundary between a System and Its Context, 19th IEEE International Requirements Engineering Conference (RE 2011), pp.143-152, 2011.08, 高信頼な組み込みシステムを開発するには，システムに求められる機能だけでなく，それが動作する環境 (外部環境) についても要求分析を行う必要がある．しかし，考慮すべき外部環境は一般的に広範囲にわたるため，アドホック的な分析ではフレーム問題に陥ってしまう．本論文では，ガイドワードを用いて要求境界を決定する方法を提案している．更に，形式仕様記述言語 VDM とその支援ツールを用いて要求境界の妥当性を検査する方法，外部環境モデルから要求境界を考慮した設計モデルを自動生成する方法を提示している．.
12.	Naoyasu Ubayashi, Jun Nomura, and Tetsuo Tamai, Archface: A Contract Place Where Architectural Design and Code Meet Together, 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), pp.75-84, 2010.05, ソフトウェアアーキテクチャに関する研究は，ソフトウェア工学において重要な研究分野の一つである．本論文では，アーキテクチャ設計とその実装の間の溝を埋めるためのインタ フェース機構 Archface を提案している．Archface を導入することにより，アーキテクチャ設計の本質をインタフェース内にカプセル化することが可能になる．Archface は Component-and-Connector アーキテクチャを記述支援の対象とし，プログラムの実装に際してはインタフェース中に記述されたアーキテクチャ制約に従うことをプログラマに強制する．そのため，設計の意図を正しく実装に反映できる．.
13.	Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, and Jun Yoshida, An Extensible Aspect-oriented Modeling Environment, 21st International Conference on Advanced Information Systems (CAiSE 2009), 2009.06.
14.	Naoyasu Ubayashi, Akihiro Sakai, and Tetsuo Tamai, An Aspect-oriented Weaving Mechanism Based on Component and Connector Architecture, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007.11.
15.	Naoyasu Ubayashi, Genki Moriyama, Hidehiko Masuhara, and Tetsuo Tamai, A Parameterized Interpreter for Modeling Different AOP Mechanisms, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005.11.
16.	Tetsuo Tamai, Naoyasu Ubayashi, and Ryoichi Ichiyama, An Adaptive Object Model with Dynamic Role Binding, 27th IEEE/ACM International Conference on Software Engineering (ICSE 2005), 2005.05.
17.	Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, and Seiichi Komiya, Association Aspects, 3rd International Conference on Aspect-Oriented Software Development (AOSD 2004), 2004.03.
18.	Naoyasu Ubayashi and Tetsuo Tamai, Aspect-Oriented Programming with Model Checking, 1st International Conference on Aspect-Oriented Software Development (AOSD 2002), 2002.04.

主要総説, 論評, 解説, 書評, 報告書等

1.	肥後 芳樹, 鵜林 尚靖, ソフトウェア工学の最前線 ～ソフトウェアが社会のすべてを定義する時代～：自動プログラミング，自動バグ修正への夢, 情報処理, 2017.08.
2.	紫合 治, 鵜林 尚靖, 丸山 勝久, 青山 幹雄, 野田 夏子, ソフトウェア工学の最前線 ～ソフトウェアが社会のすべてを定義する時代～：ソフトウェア工学の過去，現在，未来, 情報処理, 2017.08.
3.	鵜林 尚靖, 丸山 勝久, 青山 幹雄, 野田 夏子, ソフトウェア工学の最前線 ～ソフトウェアが社会のすべてを定義する時代～：編集にあたって, 情報処理, 2017.08, 情報処理学会誌2017年8月号にて、特集「ソフトウェア工学の最前線〜ソフトウェアが社会のすべてを定義する時代〜」のエディタを務めた。ソフトウェア工学研究会の主査として、ソフトウェア工学研究会発足40周年を記念して組んだ特集である。ソフトウェア工学研究会が設立されてから2017で40周年になる（1977年に研究会が発足）。この機会に日本におけるソフトウェア工学研究の歴史を振り返ると共に、新しい時代のソフトウェア工学に期待される技術や夢について考えることを狙いとした。特集号では、ソフトウェア工学の最前線について、先達から若手研究者に至るまで幅広く執筆していただいた。記事の大半が、新進気鋭の若手研究者とトップ研究者との共著という形を取っている。これからの未来を担う若手とこれまでソフトウェア工学の研究に多大な貢献をしてきたベテランとの合作で、ソフトウェア工学の過去、現在、未来について大いに語っていただこうという趣旨である。本特集は、対談、エッセイ、技術解説の三部構成になっている。技術解説には「未来に向かって」という共通タイトルが付けられている。.

1.	Naoyasu Ubayashi, Takuya Fukamachi, Syunya Nakamura, Keisuke Watanabe, Takuya Watanabe , iArch-U, 2016.12, [URL], Integrated Development Environment (IDE) for Uncertainty-Aware Software Development.

所属学会名

学協会役員等への就任

学会大会・会議・シンポジウム等における役割

学会誌・雑誌・著書の編集への参加状況

学術論文等の審査

外国人研究者等の受入れ状況