[IEEE 2008 Sixth International Conference on Software Engineering Research, Management and Applications - Prague, Czech Republic (2008.08.20-2008.08.22)] 2008 Sixth International Conference on Software Engineering Research, Management and Applications - Alloy-Based Lightweight Verification for Aspect-Oriented Architecture
Ubayashi, Naoyasu, Sato, Yuki, Sakai, Akihiro, Tamai, TetsuoYear:
2008
Language:
english
DOI:
10.1109/sera.2008.12
File:
PDF, 221 KB
english, 2008