Human factors of formal methods

Proceedings of the IADIS International Conference Interfaces and Human Computer Interaction 2012, IHCI 2012, Proceedings of the IADIS International Conference Game and Entertainment Technologies 2012

Volumn , Issue , 2012, Pages 307-310

  Spichkova, Maria ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Engineering psychology; Formal methods; Human factors

Indexed keywords

ENGINEERING PSYCHOLOGY; SPECIFICATION PHASE; SYSTEM DEVELOPMENT PROCESS;

FORMAL METHODS; HUMAN ENGINEERING;

HUMAN COMPUTER INTERACTION;

EID: 84887433890     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. V. Apostolopoulos et al. Transport layer security: How much does it really cost? In In Conf. on Computer Communications (IEEE Infocom). IEEE Computer Society, 1999.
2. M. Broy and K. Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001.
3. M. Feilkas et al. A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry System Case Study. Technical Report TUM-I1103, TU München, 2011.
4. M. Feilkas et al. A Top-Down Methodology for the Development of Automotive Software. Technical Report TUM-I0902, TU München, 2009.
5. F. Huber et al. AutoFocus - A Tool for Distributed Systems Specification. In Proc. of FTRTFT'96, nr. 1135 in LNCS. Springer, 1996.
6. F. Hölzl et al. Safety-Critical System Development Methodology. Technical Report TUM-I1020, TU München, 2010.
7. C. Leuxner et al. A Formal Model for Work Flows. In Software Engineering and Formal Methods, pp. 135-144, 2010.
8. F. Redmill and J. Rajan. Human factors in safety-critical systems. Butterworth-Heinemann, 1997.
9. B. Schätz. Mastering the Complexity of Reactive Systems: the AUTOFOC US Approach. In Formal Methods for Embedded Distributed Systems: How to Master the Complexity, pp. 215-258. Kluwer Academic Publishers, 2004.
10. B. Schätz and F. Huber. Integrating Formal Description Techniques. In J. M. Wing, J. Woodcock and J. Davies, Hrsg., FM'99,1709 of LNCS. Springer, 1999.
11. M. Spichkova. Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD Thesis, TU München, 2007.
12. M. Spichkova. Architecture: Methodology of Decomposition. Technical Report TUM-I1018, TU München, 2010.
13. M. Spichkova. Architecture: Requirements + Decomposition + Refinement. In Softwaretechnik-Trends, 32: 4, 2011.
14. M. Spichkova. Focus on processes. Technical Report TUM-I1115, TU München, 2011.
15. M. Spichkova. Component Composition: Formal Specification and Verification of Cryptographic Properties. Technical Report (to appear), TU München, 2008.
16. M. Spichkova et al. Verified System Development with the AutoFocus Tool Chain. In 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS), 2012 (to appear)
17. B. Shackel and S.J. Richardson. Human factors for informatics usability. Cambridge University Press, 1991.
18. C.D. Wickens and J.G. Hollands. Engineering psychology and human performance. Prentice Hall, 2000.