Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications.

Cinzia Bernardeschi, Alessandro Fantechi, Fabio Patern

Browse the full SEKE paper archive.