Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò. Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. In SEKE 95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings. pages 234-243, Knowledge Systems Institute, 1995.
Abstract is missing.