Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai. Alloy-Based Lightweight Verification for Aspect-Oriented Architecture. In Walter Dosch, Roger Y. Lee, Petr Tuma, Thierry Coupaye, editors, Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic. pages 171-178, IEEE Computer Society, 2008. [doi]
Abstract is missing.