Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Naoyasu Ubayashi Last modified date:2018.06.04



Graduate School
Undergraduate School
Other Organization
Administration Post
Other


Homepage
http://posl.ait.kyushu-u.ac.jp/~ubayashi/
Academic Degree
Ph.D.
Field of Specialization
Software Engineering
Outline Activities
Software Engineering, Programming Language, Software Architecture, and Formal Verification
Research
Research Interests
  • Software engineering, Programming language
    keyword : Dependable software development, Software engineering, Software architecture, Software testing, Formal methods / Formal verification, Programming language mechanisms, Module mechanisms
    2003.10.
Academic Activities
Papers
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
.
7. 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.
8. 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 とその支援ツールを用いて要求境界の妥当性を検査する方法,外部環境モデルから要求境界を考慮した設計モデルを自動生成する方法を提示している..
9. 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 アーキテクチャを記述支援の対象とし,プログラムの実装に際してはインタフェース中に記述されたアーキテクチャ制約に従うことをプログラマに強制する.そのため,設計の意図を正しく実装に反映できる..
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. Naoyasu Ubayashi and Tetsuo Tamai, Aspect-Oriented Programming with Model Checking, 1st International Conference on Aspect-Oriented Software Development (AOSD 2002), 2002.04.
Works, Software and Database
1. .