Palanque,Philippe

Notes

• NR96-563: A FORMAL DESCRIPTION OF LOW-LEVEL INTERACTION AND ITS APPLICATION TO MULTIMODAL INTERACTIVE SYSTEMS
• NR96-782: TOWARDS AN INTEGRATED PROPOSAL FOR INTERACTIVE SYSTEMS DESIGN BASED ON TLIM AND ICO
• NR96-783: PERFORMANCE EVALUATION AS A TOOL FOR EVALUATING THE FORMAL DESIGN OF INTERACTIVE SYSTEM
• NR96-784: A DESIGN LIFE CYCLE FOR THE FORMAL DESIGN OF USER INTERFACES
• NR96-936: A MAKING-MOVIES METAPHOR STRUCTURING SOFTWARE COMPONENTS IN HIGHLY INTERACTIVE APPLICATION
• NR97-618: FORMAL TRASDUCERS-MODELS OF DEVICES AND BUILDING BRICKS FOR HIGHLY INTERACTIVE SYSTEMS
• NR97-619: UNE METAPHORE D'AIDE A LA STRUCTURATION DES APPLICATION INTERACTIVES
• NR97-623: FORMAL SPECIFICATION FOR DESIGNING USER INTERFACES OF ATC APPLICATIONS
• NR97-626: A MAKING MOVIES METAPHOR FOR STRUCTURING SOFTWARE COMPONENTS IN HIGHLY INTERACTIVE APPLICATION
• NR06-614: MODEL-BASED ENGINEERING OF WIDGETS,USER APPLICATIONS AND SERVERS COMPLIANT WITH ARINC 661 SPECIFICATION