国際会議
[1] 鵜林 尚靖, 中島 震, "Context-Aware Feature-Oriented Modeling with an Aspect Extension of Vdm," 22nd Annual ACM Symposium on Applied Computing (SAC 2007)---Programming for Separation of Concerns (PSC) Track, pages 1269-1274, 2007年.
[2] Naoyasu Ubayashi and Shin Nakajima, "Separation of Context Concerns --- Applying Aspect Orientation to Vdm," In Second Overture (Open Source Formal Methods Tools) Workshop (Workshop at FM 06), 2006.