%0 Conference Paper %F Oral %T Using the djnn framework to create and validate interactive components iteratively %+ ENAC - Equipe Informatique Interactive (LII) %+ PRES Université de Toulouse %+ Ecole Nationale de l'Aviation Civile (ENAC) %A Rey, Stéphanie %A Conversy, Stéphane %A Magnaudet, Mathieu %A Poirier, Mathieu %A Prun, Daniel %A Vinot, Jean-Luc %A Chatty, Stéphane %< avec comité de lecture %B EICS '15, 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems %C Duisburg, Germany %I ACM %P pp 230-233/978-1-4503-3646-8 %8 2015-06-23 %D 2015 %R 10.1145/2774225.2775438 %Z Computer Science [cs]/Human-Computer Interaction [cs.HC]Conference papers %X Using a real life scenario of aircraft cockpit design, we illustrate how the model-based architecture of the djnn programming framework allows to combine the multidisciplinary and iterative processes of user interface design with the requirements of industrial system development. Treating software programs as hierarchies of interactive components allows to delegate the production of components to multiple actors, each using the tools of their trade. Components can be exchanged in various formats, refined without modifying their surroundings, and undergo automated property verifications before being integrated. %G English %L hal-01166576 %U https://enac.hal.science/hal-01166576 %~ ENAC %~ LII