References

  1. SAS Airbus (2016): Airbus A380 Flight Crew Operating Manual. http://www.airbus.com/.
  2. Airlines Electronic Engineering Committee (2002): ARINC 661 specification: Cockpit Display System Interfaces To User Systems. Aeronautical Radio Inc.
  3. Eric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque & Marco Winckler (2010): Beyond Modelling: An Integrated Environment Supporting Co-execution of Tasks and Systems Models. In: Proceedings of the 2Nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '10. ACM, pp. 165–174, doi:10.1145/1822018.1822043.
  4. Judy Bowen & Steve Reeves (2013): Modelling Safety Properties of Interactive Medical Systems. In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '13. ACM, pp. 91–100, doi:10.1145/2494603.2480314.
  5. José C. Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque & Miguel Pinto (2016): Systematic Automation of Scenario-based Testing of User Interfaces. In: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16. ACM, New York, NY, USA, pp. 138–148, doi:10.1145/2933242.2948735.
  6. José C. Campos & Michael D. Harrison (2001): Model Checking Interactor Specifications. Automated Software Engineering. 8(3-4), pp. 275–310, doi:10.1023/A:1011265604021.
  7. José C. Campos & Michael D. Harrison (2009): Interaction Engineering Using the IVY Tool. In: Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '09. ACM, pp. 35–44, doi:10.1145/1570433.1570442.
  8. Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Racim Fahssi & Arnaud Hamon (In Press, 2016): Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. In: Formal Methods in Human Computer Interaction. Springer.
  9. Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre & David Navarre (2014): An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. In: Proceedings of the 2014 Tenth European Dependable Computing Conference, EDCC '14. IEEE Computer Society, pp. 198–209, doi:10.1109/EDCC.2014.17.
  10. Peter Forbrig, Célia Martinie, Philippe Palanque, Marco Winckler & Racim Fahssi (2014): Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components. In: Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. Springer Berlin Heidelberg, pp. 144–163, doi:10.1007/978-3-662-44811-3_9.
  11. Michael D. Harrison, José C. Campos & Paolo Masci (2016): Patterns and templates for automated verification of user interface software design in PVS. Technical Report. Newcastle University. Available at http://www.ncl.ac.uk/computing/research/publication/225438.
  12. Michael D. Harrison, Paolo Masci, José C. Campos & Paul Curzon (In Press, 2016): The specification and analysis of use properties of a nuclear control system. In: Formal Methods in Human Computer Interaction. Springer.
  13. Constance Heitmeyer, James Kirby, Bruce Labaw & Ramesh Bharadwaj (1998): SCR: A toolset for specifying and analyzing software requirements. In: Alan J. Hu & Moshe Y. Vardi: Computer Aided Verification: 10th International Conference, CAV'98 1427. Springer Berlin Heidelberg, pp. 526–531, doi:10.1007/BFb0028775.
  14. Ian Horrocks (1999): Constructing the User Interface with Statecharts. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  15. Glenn E. Krasner & Stephen T. Pope (1988): A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80. Journal of Object Oriented Programming 1(3), pp. 26–49. Available at http://dl.acm.org/citation.cfm?id=50757.50759.
  16. Célia Martinie, Philippe Palanque, Eric Barboni & Martina Ragosta (2011): Task-model based assessment of automation levels: application to space ground segments. In: Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on. IEEE, pp. 3267–3273, doi:10.1109/ICSMC.2011.6084173.
  17. Célia Martinie, Philippe Palanque & Marco Winckler (2011): Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. In: Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, 2011, Proceedings, Part III. Springer Berlin Heidelberg, pp. 589–609, doi:10.1007/978-3-642-23765-2_40.
  18. Paolo Masci, Peter G. Larsen & Paul Curzon (2015): Integrating the PVSio-web modelling and prototyping environment with Overture. In: 13th Overture Workshop, satellite event of FM2015. Grace Technical Reports, Grace-TR 2015-06, pp. 33–47. Available at http://grace-center.jp/wp-content/uploads/2012/05/13thOverture-Proceedings.pdf.
  19. Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul Jones, Paul Curzon & Harold Thimbleby (2015): PVSio-web 2.0: Joining PVS to HCI. In: Daniel Kroening & S. Corina Păsăreanu: Computer Aided Verification: 27th International Conference, CAV 2015, Proceedings, Part I. Springer International Publishing, pp. 470–478, doi:10.1007/978-3-319-21690-4_30. Tool available at http://www.pvsioweb.org.
  20. MathWorks: Mathworks Simulink. http://www.mathworks.com/products/simulink.
  21. Gioacchino Mauro, Harold Thimbleby, Andrea Domenici & Cinzia Bernardeschi (2016): Extending a user interface prototyping tool with automatic MISRA C code generation. In: 3rd Workshop on Formal Integrated Development Environment (F-IDE), satellite workshop of Formal Methods 2016. Electronic Proceedings in Theoretical Computer Science (EPTCS).
  22. César A Muñoz & Ricky Butler (2003): Rapid prototyping in PVS. Available at http://ntrs.nasa.gov/search.jsp?R=20040046914. NASA/CR-2003-212418, NIA Report No.2003-03.
  23. David Navarre, Philippe Palanque, Jean-Francois Ladry & Eric Barboni (2009): ICOs: A Model-based User Interface Description Technique Dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. ACM Transactions on Computer-Human Interaction (TOCHI) 16(4), pp. 18:1–18:56, doi:10.1145/1614390.1614393.
  24. Sam Owre, John M. Rushby & Natarajan Shankar (1992): PVS: A Prototype Verification System. In: Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction, CADE-11. Springer Berlin Heidelberg, pp. 748–752, doi:10.1007/3-540-55602-8_217.
  25. James Lyle Peterson (1981): Petri Net Theory and the Modeling of Systems. Prentice Hall.
  26. José-Luis Silva, Camille Fayollas, Arnaud Hamon, Célia Martinie & Eric Barboni (2014): Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. Electronic Communications of the EASST 69, doi:10.14279/tuj.eceasst.69.967.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org