Human Factors of Formal Methods

This paper provides a brief introduction to the work that aims to apply the achievements within the area of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process.

[1]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[2]  Bernhard Schätz,et al.  A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry-System Case Study - , 2011 .

[3]  Maria Spichkova.  Architecture: Requirements + Decomposition + Refinement , 2011, Softwaretechnik-Trends.

[4]  Maria Spichkova,et al.  Safety-Critical System Development Methodology , 2010 .

[5]  J. G. Hollands,et al.  Engineering Psychology and Human Performance , 1984 .

[6]  B. Schätz,et al.  Mastering the Complexity of Reactive Systems - The AutoFocusApproach , 2004, Formal Methods for Embedded Distributed Systems.

[7]  Bernhard Schätz,et al.  Integrating Formal Description Techniques , 1999, World Congress on Formal Methods.

[8]  Wassiou Sitou,et al.  A Formal Model for Work Flows , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[9]  Bernhard Schätz,et al.  AutoFocus: A Tool for Distributed Systems Specification , 1996, FTRTFT.

[10]  Maria Spichkova,et al.  A Top-Down Methodology for the Development of Automotive Software , 2009 .

[11]  Debanjan Saha,et al.  Transport layer security: how much does it really cost? , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[12]  Brian Shackel,et al.  Human factors for informatics usability , 1991 .

[13]  Maria Spichkova.  Architecture: Methodology of Decomposition , 2010 .

[14]  Maria Spichkova,et al.  Verified System Development with the AutoFocus Tool Chain , 2012, WS-FMDS.

[15]  Maria Spichkova.  Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle , 2007 .

[16]  Felix Redmill,et al.  Human Factors in Safety-Critical Systems , 1997 .