Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden. Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects. In 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017. pages 152-162, IEEE Computer Society, 2017. [doi]
Abstract is missing.