- 論文誌
- [1] Naoyasu Ubayashi, Shin Nakajima, , and Masayuki Hirayama, "Context-Dependent Product Line Engineering with Lightweight Formal Approaches (Splc 2010 Revised Selected Paper)," Science of Computer Programming, volume 78, number 12, pages 2331-2346, 2013.
- [2] Naoyasu Ubayashi, Shin Nakajima, and Masayuki Hirayama, "Context-Dependent Product Line Engineering with Lightweight Formal Approaches(Splc 2010 Revised Selected Paper)," Science of Computer Programming, 2012.
- 研究会・全国大会等
- [1] 鵜林 尚靖, "A Modularity Assessment Framework for Context-Dependent Formal Specifications," 4th Workshop on Assessment of Contemporary Modularization Techniques(ACoM 2010) (Workshop at SPLC 2010), pages 13-14, 2010年.
- [2] 中島 震, 鵜林 尚靖, "Lightweight Formal Analysis of Foda Feature Diagrams," 4th International Workshop on Rapid Integration of Software Engineering techniques (RISE 2007), pages 3-18, 2007年.