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



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, 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), 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), 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, 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), 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, 78(12), 2013.12.
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, 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.
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.
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. .