An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat. An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. In T. C. Nicholas Graham, Philippe A. Palanque, editors, Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Volume 5136 of Lecture Notes in Computer Science, pages 208-224, Springer, 2008. [doi]

Abstract

Abstract is missing.