[DSBW Spring 2009] Unit 06: Conallen's Web Application Extension for UML (WAE2)
[DSBW Spring 2010] Unit 10: XML and Web And beyond
Checking query containment with the CQC method