国際会議
[1] 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.
[2] Naoyasu Ubayashi and Tetsuo Tamai, "Separation of Concerns in Mobile Agent Applications," In 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (REFLECTION 2001), volume 2192, pages 89-109, 2001.