Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects.

Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden

Browse the full ICSE paper archive.