研究会・全国大会等
[1] 鵜林 尚靖, 亀井 靖高, "Verifiable Architectural Interface for Supporting Model-Driven Development with Adequate Abstraction Level," 4th International Workshop on Modelling in Software Engineering (MiSE 2012) (Workshop at ICSE 2012), pages 51-21, 2012年.