研究会・全国大会等
[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年.