Model-Driven Development of Single-Page Applications Using UML State Machines and Maude.

Alexander Mller-Lobeck, Gefei Zhang

Browse the full QRS paper archive.