External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Alloy-Based Lightweight Verification for Aspect-Oriented Architecture

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]

Authors

Naoyasu Ubayashi

This author has not been identified. Look up 'Naoyasu Ubayashi' in Google

Yuki Sato

This author has not been identified. Look up 'Yuki Sato' in Google

Akihiro Sakai

This author has not been identified. Look up 'Akihiro Sakai' in Google

Tetsuo Tamai

This author has not been identified. Look up 'Tetsuo Tamai' in Google
runs on