Filtrer vos résultats
- 62
- 48
- 86
- 16
- 7
- 1
- 110
- 1
- 1
- 1
- 4
- 3
- 4
- 4
- 3
- 1
- 5
- 3
- 10
- 3
- 11
- 7
- 6
- 6
- 4
- 7
- 5
- 6
- 4
- 5
- 5
- 1
- 1
- 102
- 7
- 1
- 110
- 11
- 9
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 110
- 109
- 41
- 39
- 20
- 18
- 16
- 11
- 10
- 9
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
110 résultats
Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive ApplicationsLaw, Effie; Hvannberg Ebba; Cockton Gilbert; Vanderdonckt, Jean. Maturing Usability: Quality in Software, Interaction and Quality, Springer, pp.96-122, 2008, Human-Computer Interaction Series book series (HCIS), ⟨10.1007/978-1-84628-941-5_5⟩
Chapitre d'ouvrage
hal-03662268v1
|
|||
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Communication dans un congrès
hal-03266925v1
|
|||
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalabilityACM Transactions on Computer-Human Interaction, 2009, 16 (4), pp.1-56. ⟨10.1145/1614390.1614393⟩
Article dans une revue
hal-02570890v1
|
|||
|
|
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), Jul 2006, Dublin, Ireland. pp.25-38, ⟨10.1007/978-3-540-69554-7_3⟩
Communication dans un congrès
hal-01021771v1
|
||
Notations en IHM pour une modélisation synergique des tâches et du systèmeBoy, Guy. Ingénierie cognitive - IHM et cognition, 2ème partie : Développement centré sur l'homme., Hermès, 2003, Traité des sciences cognitives, 978-2746205710
Chapitre d'ouvrage
hal-03667064v1
|
|||
|
|
Petri Net Centered versus User Centered Petri Nets Tools10th Workshop on Algorithms and Tools for. Petri Nets (AWPN 2003), Sep 2003, Eichstätt, Germany
Communication dans un congrès
hal-03664736v1
|
||
|
|
An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive ApplicationsInteracting with Computers, 2006, 18 (5), pp.910-941. ⟨10.1016/j.intcom.2006.03.002⟩
Article dans une revue
hal-03662287v1
|
||
|
|
Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based FormalismEuropean Congress on Embedded Real Time Software and Systems (ERTS 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France
Communication dans un congrès
hal-02189909v1
|
||
Approche à base de modèles pour l’ingénierie des systèmes interactifsLes Techniques de l'Ingenieur, 2022, ⟨10.51257/a-v1-h3290⟩
Article dans une revue
hal-04357894v1
|
|||
|
|
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019), Jul 2019, Atlanta, United States. ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
Communication dans un congrès
hal-02881970v1
|
||
|
|
Complexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance2nd Workshop on Complexity in Design and Engineering 2005, Mar 2005, Glasgow, United Kingdom. pp.56-69
Communication dans un congrès
hal-03663644v1
|
||
Self-Checking Widgets for Interactive Cockpits13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
Communication dans un congrès
hal-03647164v1
|
|||
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control RoomsIFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.290-301, ⟨10.1007/978-3-030-98388-8_26⟩
Communication dans un congrès
hal-03857754v1
|
|||
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based FormalismEuropean Congress on Embedded Real-Time Software (ERTS² 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France
Communication dans un congrès
hal-03644336v1
|
|||
Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit11th International Conference on Human-Computer Interaction (HCI 2005), Jul 2005, Las Vegas, Nevada, France. pp.CDRom
Communication dans un congrès
hal-03663645v1
|
|||
|
|
A Model-Based Tool for Interactive Prototyping of Highly Interactive ApplicationsConference International on Human Factors in Computing Systems (CHI 2002), Apr 2002, Minneapolis, Minnesota, France. pp.516-517, ⟨10.1145/506443.506457⟩
Communication dans un congrès
hal-03667082v1
|
||
A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts6th international conference on Multimodal interfaces (ICMI 2004), Oct 2004, State College, Pen, USA, France. pp.243-250, ⟨10.1145/1027933.1027974⟩
Communication dans un congrès
hal-03664733v1
|
|||
|
|
Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive SystemsIFIP Working Conference on Engineering for Human-Computer Interaction (EHCI 2004), International Federation for Information Processing (IFIP), Jul 2004, Hamburg, Germany. pp.179-199, ⟨10.1007/11431879_11⟩
Communication dans un congrès
hal-03664732v1
|
||
|
|
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.244-253, ⟨10.1145/2774225.2774845⟩
Communication dans un congrès
hal-04079370v1
|
||
|
|
Engineering mixed-criticality interactive applications8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.108-119, ⟨10.1145/2933242.2933258⟩
Communication dans un congrès
hal-04109570v1
|
||
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩
Communication dans un congrès
hal-03651208v1
|
|||
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques3rd ACM SIGCHI Conference Engineering Interactive Computing Systems (EICS 2011), ACM SIGCHI (Special Interest Group on Computer-Human Interaction); IFIP WG 2.7/13.4 (International Federation for Information Processing), Jun 2011, Pise, Italy. pp.21-30, ⟨10.1145/1996461.1996490⟩
Communication dans un congrès
hal-03647158v1
|
|||
|
|
Model-based Engineering of Feedforward Usability Function for GUI WidgetsInteracting with Computers, 2021, 33 (1), pp.73-91. ⟨10.1093/iwcomp/iwab014⟩
Article dans une revue
hal-03376225v1
|
||
Formal Description Techniques for Human-Machine Interfaces - Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive SystemsGuy A. Boy. The Handbook of Human-Machine Interaction : A Human-Centered Approach, CRC Press, 2011, 978-1315557380. ⟨10.1201/9781315557380-12⟩
Chapitre d'ouvrage
hal-03647156v1
|
|||
Systematic Approaches to Training Encompassing Operators’ mission and Interaction TechniquesInternational Conference on Human-Computer Interaction in Aerospace (HCI-Aero 2012), ACM-SIGCHI : Special Interest Group on Computer-Human Interaction; IEA : International Energy Agency; Air and Space Academy, Sep 2012, Brussels, Belgium
Communication dans un congrès
hal-03647153v1
|
|||
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satelliteInternational Conference on Space Operations (SpaceOps 2012), Jun 2012, Stockholm, Sweden. pp.(electronic medium), ⟨10.2514/6.2012-1275518⟩
Communication dans un congrès
hal-03644331v1
|
|||
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approachReliability Engineering and System Safety, 2011, Special Issue on Safecomp 2008, 96 (1), pp.38-52. ⟨10.1016/j.ress.2010.06.028⟩
Article dans une revue
istex
hal-02933573v1
|
|||
What User Interface Tools are needed for Safety Critical Interactive Systems?CHI 2005 Workshop : The Future of User Interface Design Tools, Apr 2005, Portland, Oregon, France
Communication dans un congrès
hal-03663650v1
|
|||
|
|
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction22nd Conference on l'Interaction Homme-Machine (IHM 2010), SIGCHI, Sep 2010, Luxembourg, Luxembourg. pp.81-88, ⟨10.1145/1941007.1941019⟩
Communication dans un congrès
hal-03651216v1
|
||
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Uniti-com, 2015, 14 (3), ⟨10.1515/icom-2015-0037⟩
Article dans une revue
hal-02933608v1
|