Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Eric Barboni, CĂ©lia Martinie, David Navarre, Philippe A. Palanque, Marco Winckler. Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language. Science of Computer Programming, 86:3-29, 2014. [doi]

Abstract

Abstract is missing.