Using the djnn framework to create and validate interactive components iteratively

Stéphanie Rey 1 Stéphane Conversy 1 Mathieu Magnaudet 1 Mathieu Poirier 1 Daniel Prun 1 Jean-Luc Vinot 1 Stéphane Chatty 2, 3
1 LII - ENAC - Laboratoire d'Informatique Interactive
2 PRES Université de Toulouse
3 ENAC - Ecole Nationale de l'Aviation Civile
Abstract : 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.
Type de document :
Communication dans un congrès
EICS '15, 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2015, Duisburg, Germany. ACM, pp 230-233/978-1-4503-3646-8, 〈10.1145/2774225.2775438〉
Liste complète des métadonnées
https://hal-enac.archives-ouvertes.fr/hal-01166576
Contributeur : Laurence Porte <>
Soumis le : mardi 23 juin 2015 - 09:10:41
Dernière modification le : mardi 29 janvier 2019 - 13:20:02

Identifiants

Collections

ENAC | LII

Citation

Stéphanie Rey, Stéphane Conversy, Mathieu Magnaudet, Mathieu Poirier, Daniel Prun, et al.. Using the djnn framework to create and validate interactive components iteratively. EICS '15, 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2015, Duisburg, Germany. ACM, pp 230-233/978-1-4503-3646-8, 〈10.1145/2774225.2775438〉. 〈hal-01166576〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

145

Picto

Contact  : publications@enac.fr