Bibliography

1
Ackermann, D., Taubner, M.J., Mental Models and Human-Computer Interaction 1, eds., Amsterdam, New York, Oxford et.al.: North-Holland, 1990

2
American Psychological Association (APA). URL: http://www.apa.org/

3
American Psychological Association: Ethics. URL: http://www.apa.org/ethics/code/index.aspx

4
Andersen, P.B. A Theory of Computer Semiotics. Semiotic approaches to construction and assessment of computer systems, Cambridge: Cambridge University Press, 1990

5
Anderson, J.R. Kognitive Psychologie: eine Einführung (Translated into German by Fehr, U.; Grabowski-Gellert, J.; Granzow, S.), Heidelberg: Spektrum der Wissenschaft Verlagsgesellschaft (English Version: 1985, Cognitive Psychology and its Implications. New York - Oxford: W.H.Freemann and Company), (1989, 2nd. ed.).

6
Arbinger, R., Gedächtnis, Darmstadt: Wissenschaftliche Buchgesellschaft, (1984).

7
Philip Barnard, Jon May, David Duke, David Duce Systems, interactions, and macrotheory, June 2000, Transactions on Computer-Human Interaction (TOCHI) , Volume 7 Issue 2 , pp.222-262

8
Philip J. Barnard, Jon May Representing cognitive activity in complex tasks,March 1999, Human-Computer Interaction , Volume 14 Issue 1 , pp.93-158

9
Phil Barnard, Research for human-computer interaction at the MRC Applied Psychology Unit (lab review), March 1990, CHI '90: Proceedings of the SIGCHI conference on Human factors in computing systems: Empowering people, pp.379f

10
P. Barnard, A. MacLean, M. Wilson Navigating integrated facilities: initiating and terminating interaction sequences, May 1988, CHI '88: Proceedings of the SIGCHI conference on Human factors in computing systems, pp.121-126, 1988.

11
Phil Barnard, Michael Wilson, Allan MacLean Approximate modelling of cognitive activity: towards an expert system design aid,April 1987, CHI '87: Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface , pp.21-26

12
P. Barnard, N. Hammond, A. MacLean, J. Morton Learning and remembering interactive commands, March 1982, CHI '82: Proceedings of the 1982 conference on Human factors in computing systems, pp.2-7

13
Berard, B.; Bidoit, M.; Finkel, A., Systems and Software Verification. Model-Checking Techniques and Tools: Model-checking Techniques and Tools,Berlin: Springer, 2001, ( ISBN-10: 3540415238, ISBN-13: 978-3540415237)

14
BERKA, K., Scales of Measurement. In: COHEN, R. S., WARTOFSKY, M. W. (Eds)Language, Logic, and Method. Dordrecht - Boston - London: D.Reidel Publishing Company, pp. 1-73

15
Bitsch, F.: Safety Patterns - The Key to Formal Specification of Safety Requirements. In: Proceedings of the 20th International Conference on Computer Safety, Reliability and Security, Springer Verlag Berlin Heidelberg, Lecture Notes In Computer Science; Vol. 2187, 2001, p. 176

16
Braun, E.; Radermacher, H. Wissenschaftstheoretisches Lexikon, Graz: Styria Verlag, 1978

17
Brooke, J. (1996). SUS: A 'quick and dirty' usability scale. Usability Evaluation in Industry. UK: Taylor and Francis

18
Buehner, M. Einführung in die Test- und Fragebogenkonstruktion, 2nd. rev. Ed., München et: Pearson Studium

19
Bundesministerium für Gesundheit und soziale Sicherung (BMGS), Informationsbroschüre zum Gesetz zur Gleichstellung behinderter Menschen, Nr.A 301, Bonn, 2005.

20
(BIPM) Bureau International des Poids et Mesures, International Measurement Standards, URL:http://www.bipm.org/(last visited 2 May 2007)

21
Card, S.C.; Moran, T.P.; Newell, A. The Psychology of Human-Computer Interaction.,Boca Raton - London - New York: CRC Press - Taylor & Francis Group, 1983 (Repr. 2008)

22
Stuart K. Card, Thomas P. Moran, Allen Newell The keystroke-level model for user performance time with interactive systems. July 1980, Communications of the ACM , Volume 23 Issue 7, pp.396 - 410

23
Carroll, J.M. (Ed.) Interfacing Thought. Cognitive Aspects of Human-Computer Interaction, Cambridge (MA) - London (UK): MIT Press, 1987

24
Chin, J. P., Diehl, V. A., and Norman, K. (1988). Development of an instrument measuring user satisfaction of the human-computer interface. In the Proceedings of ACM CHI ?88 (Washington D.C.), 213- 218.

25
Clarke, E. M. , Jr.; Grumberg, O.; and Peled, D.A. , Model Checking, MIT Press, 1999, ( ISBN-10: 0262032708, ISBN-13: 978-0262032704)

26
COTTET, F.; DELACROIX, J.: KAISER, C.; MAMMERI, Z. Scheduling in Real-Time Systems, John Wiley & Sons, Chichester (Engl.), 2002

27
Craik, F.I.M.; Levy, B.A. The Concept of Primary Memory, In: W.K.Estes (ed). Handbook of Learning and Cognitive Processes, Vol.4, 133-175, 1976.

28
Dahm, M.: Grundlagen der Mensch-Computer-Interaktion. München - Bosten et al: Pearson Studium , 2006

29
Deutsches Institut für Medizinische Dokumentation und Information, DIMDI, WHO-Kooperationszentrum für das System Internationaler Klassifikationen, ICF. Internationale Klassifikation der Funktionsfähigkeit, Behinderung und Gesundheit. Genf: WHO (World Health Organization), 2005

30
Diestel, R., Graphentheorie,(3.Aufl.), Berlin-Heidelberg: Springer-Verlag, 2006

31
Dix, A.; Finlay,J.E.; Abowd,G.D.; Beale, R.: Human-Computer Interaction. Pearson Education, 2003, 3rd.ed.

32
Doeben-Henisch, G.: The Planet Earth Simulator Project - A Case Study in Computational Semiotics, In: Proceedings IEEE AFRICON2004 Conference, 2004, pp.417-422.

33
Doeben-Henisch, G.: Reducing Negative Complexity by a Semiotic System. In: Gudwin, R., & Queiroz, J., (eds). Semiotics and Intelligent Systems Development. Hershey et al: Idea Group Publishing, 2006, pp.330-342.

34
Doeben-Henisch, G.; Wagner, M. Validation within Safety Critical Systems Engineering from a Computational Semiotics Point of View, In: IEEE Africon2007 Intern.Conference, Windhoek (Namibia), Sept.2007.

35
Doeben-Henisch, G. Formal Specification and Verification within Systems Engineering, Lecture Notes (still unfinished), 2009, URL: www.uffmm.org/fsv

36
David J. Duke, Philip J. Barnard, David A. Duce, Jon May Syndetic modelling, December 1998, Human-Computer Interaction , Volume 13 Issue 4, pp.337-393, Publisher: L. Erlbaum Associates Inc.

37
Dumas, J.; Redish, J. (1999) A Practical Guide to Usability Testing, revised edition. Bristol, England: Intellect.

38
Dumas, J.S.; J.E.Fox, Usability Testing: Current Practice and Future Directions, In: Sears, A.; Jacko, J.A. (Eds.): The Human-Computer Interaction Handbook. Fundamentals, Evolving Technologies and Emerging Applications., New York - London: Lawrence Erlbaum Associates, Publ., 2008, 2nd.ed., pp.1129 - 1150.

39
Dumas, J.S. User Based Evaluations, In: Jacko, J.A.; Sears, A. (eds.) The Human Computer Interaction Handbook. Fundamentals, Evolving Technologies and Emerging Applications.(Eds), Mahwaw (NJ) - London: Lawrence ErlbaumAssociates, Publ., 2003, 1093-1117

40
Duttheillet, C.; Vernier-Mounier, I.; Illie, J.-M.; Poitrenaud, D.: State-Space-Based Methods and Model Checking. In: Girault, Claude; Valk, Rüdiger (Eds.): Petri Nets for Systems Engineers. A Guide to Modeling, Verification, and Applications. Springer, Berlin - Heidelberg - New York, 2003, pp.201-275.

41
Ebbinghaus, Hermann Über das Gedächtnis. Untersuchungen zur experimentellen Psychologie, Neue, unveränd. und ungek. Ausgabe nach der 1. Aufl. 1885. Darmstadt: Wissenschaftliche Buchgesellschaft, 1971. ISBN 3-534-05255-2

42
Erasmus, L. D.; Doeben-Henisch, G. A Theory of the System Engineering Process, IEEE Africon 2011 - The Falls Resort and Conference Centre, Livingstone, Zambia, 13 - 15 September 2011, Page(s): 1 - 5

43
Erasmus, L. D.; Doeben-Henisch, G. A Theory of the System Engineering Management Processes, ISEM 2011 Proceedings, September 21-23, Stellenbosch, South Africa, Page(s): 1-12 (URL: http://www.isem.org.za/index.php/isem/isem2011/paper/view/124/108)

44
Ericsson, K.A.; Simon, H.A. Protocol Analysis. Verbal Reprots as Datas, rev.Ed., 1993 (1984), Cambridge (MA) - London: MIT Press, 1993

45
Estes, W.K. (ed) Handbook of Learning and Cognitive Processes, Vol.1-2, Hillsdale (NJ): Lawrence Erlbaum Associates, 1975

46
Estes,W.K. (ed) Handbook of Learning and Cognitive Processes, Vol.3-4, Hillsdale (NJ): Lawrence Erlbaum Associates, 1976

47
Roderick A. Farmer, Baden Hughes CASE: a framework for evaluating learner-computer interaction in Computer-Assisted Language learning, July 2005, CHINZ '05: Proceedings of the 6th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: making CHI natural, pp.67-74

48
GI AK MenschComputerInteraktion: Curriculum für ein Basismodul zur MenschComputerInteraktion. URL: http://www.gi-ev.de/fileadmin/redaktion/empfehlungen/GI-Empfehlung_MCI-Basismodul2006.pdf, 2006

49
GIGERENZER, G. Messung und Modellbildung in der Psychologie, Uni-Taschenbücher Bd. 1047, München - Basel: Ernst Reinhadt Verlag, 1981

50
Girault, C.; Valk, R. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications, Berlin - Heidelberg - New York: Springer, 2003

51
Greer, A.D.; Newhook, P.M.; Sutherland, G.R.; HumanâMachine Interface for Robotic Surgery and Stereotaxy, Mechatronics, IEEE/ASME Transactions on Volume: 13 , Issue: 3, Publication Year: 2008 , Page(s): 355 - 361

52
Jonathan Grudin, Phil Barnard When does an abbreviation become a word? and related questions, April 1985, CHI '85: Proceedings of the SIGCHI conference on Human factors in computing systems, pp.121-125

53
Haddad, S.: Introduction: Issues in Verification, In: Girault, Claude; Valk, Rüdiger (Eds.): Petri Nets for Systems Engineers. A Guide to Modeling, Verification, and Applications. Springer,Berlin - Heidelberg - New York, 2003, pp.183-200.

54
Nick Hammond, Phil Barnard, Joelle Coutaz, Michael Harrison, Allan MacLean, Richard M. Young Modelling user, system design: results of a scenarios matrix exercise,March 1991, CHI '91: Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology, pp.377-380

55
N. Hammond, A. Jørgensen, A. MacLean, P. Barnard, J. Long Design practice and interface usability: Evidence from interviews with designers, December 1983, CHI '83: Proceedings of the SIGCHI conference on Human Factors in Computing Systems, pp.40-44.

56
Heinecke, A.M.: Mensch-Computer-Interaktion. Fachbuchverlag Leipzig, 2005

57
Herrmann, Debra S., Software Safety and Reliability. IEEE Computer Society Press, Los Alamitos, CA, 1999

58
Hoffmann, J. Das Aktive Gedächtnis. Psychologische Experimente und Theorien zur menschlichen Gedächtnistätigkeit, Berlin: VEB Deutscher Verlag der Wissenschaften, 1982.

59
Human Factors and Ergonomics Society. URL:http://www.hfes.org

60
Human Factors and Ergonomics Society: Ethics. URL: http://www.hfes.org/web/AboutHFES/ethics.html

61
Holland, J.H. Adaptation in Natural and Artificial Systems, London:UK, The MIT-Press, 1992 (first 1975 Univ. of Michigan)

62
Holland, J.H. Hidden Order. How adaptation Builds Complexity, New York: USA, Basic Books

63
International Council on Systems Engineering (INCOSE), A GUIDE FOR SYSTEM LIFE CYCLE PROCESSES AND ACTIVITIES, INCOSE SYSTEMS ENGINEERING HANDBOOK, ed.by Cecilia Haskins, INCOSE-TP-2003-002-03, version 3, June 2006

64
International Council on Systems Engineering (INCOSE), 'WHAT TO' GUIDE FOR ALL SE PRACTITIONERS, SYSTEMS ENGINEERING HANDBOOK A, INCOSE-TP-2003-016-02, Version 2a, 1 June 2004

65
INCOSE - Requirements Management (RM) Tools Survey site: http://www.paper-review.com/tools/rms/read.php

66
INCOSE - Some Standards for Systems Engineering: http://www.incose.org/practice/standardsupdate.aspx

67
INCOSE - Systems Engineering: http://www.incose.org/practice/whatissystemseng.aspx

68
Iossifidis, I.; Bruckhoff, C.; Theis, C.; Grote, C.; Faubel, C.; Schoner, G.; CORA: An anthropomorphic robot assistant for human environment, Robot and Human Interactive Communication, 2002. Proceedings. 11th IEEE International Workshop on, Publication Year: 2002 , Page(s): 392 - 398

69
ISO/IEC 26702 IEEE Std 1220-2005: ISO/IEC Standard for Systems Engineering - Application and Management of the Systems Engineering Process, E-ISBN: 978-0-7381-5658-3, Print ISBN: 978-0-7381-5657-6

70
ISO/IEC/IEEE 16326:2009: Systems and software engineering - Life cycle processes - Project management. E-ISBN : 978-0-7381-6116-7, Print ISBN: 978-0-7381-6117-4

71
ISO/IEC/IEEE 16326:2009: Systems and software engineering - Life cycle processes - Project management. E-ISBN : 978-0-7381-6116-7, Print ISBN: 978-0-7381-6117-4

72
Jacko, J.A.; Sears, A.: The Human Computer Interaction Handbook. Fundamentals, Evolving Technologies and Emerging Applications.(Eds), Mahwaw (NJ) - London: Lawrence ErlbaumAssociates, Publ., 2003. See also: http://www.isrc.umbc.edu/HCIHandbook/

73
John, B. E.; Kieras, D. E. Using GOMS for user interface design and evaluation: Which technique?, ACM Transactions on Computer-Human Interaction, 3, 287-319, (1996).

74
John, B. E.; Kieras, D. E. The GOMS family of user interface analysis techniques: Comparison and contrast. ACM Transactions on Computer-Human Interaction, 3, 320-351, (1996).

75
Kieras, D.E. A guide to GOMS model usability evaluation using GOMSL and GLEAN3. On-line publication describing GOMSL, the GLEAN tool, and how to perform a GOMS analysis. Supersedes the previous Guides using NGOMSL, 2006, URL: ftp://www.eecs.umich.edu/people/kieras/GOMS/GOMSL_Guide.pdf

76
Kieras, D.E., Wood, S.D., Abotel, K.; Hornof, A.GLEAN: A Computer-Based Tool for Rapid GOMS Model Usability Evaluation of User Interface Designs. UISTÃ95 Proceedings of the ACM Symposium on User Interface Software and Technology. November, 1995.

77
John, B. E.; Kieras, D. E. The GOMS family of analysis techniques: Tools for design and evaluation. Carnegie Mellon University School of Computer Science Technical Report No. CMU-CS-94-181. Also appears as the Human-Computer Interaction Institute Technical Report No. CMU-HCII-94-106, 1994.

78
Jüttner, C. Gedächtnis, München - Basel: Ernst Reinhardt Verlag, 1979

79
Kant, I., Kritik der reinen Vernunft. Bd.505 Philos.Bibliothek. Hamburg: Felix Meiner Verlag , first published: 1781/1787, reprint: 1956

80
Kelly, T. P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. Dphil Thesis, University of York, UK, 1999.

81
Kelly, T. P.; McDermid, J. A.: Safety Case Construction and Reuse using Patterns. In Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97), September 1997, Springer

82
Kirakowski, J. (1996). The software usability measurement inventory: Background and usage. In Jordan, P., Thomas, B., and Weerdmeester, B. (Eds.), Usability Evaluation in Industry. UK: Taylor and Francis.

83
KLEIN, M.G.; RALYA, Th.; POLLAK, B. OBENZA, R.; HARBOUR, M.G.; A Practitioner's Handbook for Real-Time Analysis, Kluwer Academic Publishers, Boston - Dordrecht - London, 1993

84
KOPETZ, H.: Real-Time Systems. Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers,Boston - Dordrecht - London, 1997, 5th ed. 2001

85
Kintsch, W. Gedächtnis und Kognition, (Transl. into German by Albert., A.). Berlin - Heidelberg - New York: Springer-Verlag, 1982 (English Version: 1977, 2nd. ed., Memory and Cognition. New York: John Wiley & Sons, Inc.)

86
Klix, F. Information und Verhalten. Kybernetische Aspekte der organismischen Informationsverarbeitung. Einführung in naturwissenschaftliche Grundlagen der Allgemeinen Psychologie, Berlin: VEB Deutscher Verlag der Wissenschaften, 1980

87
John D. Gould, John A. Anderson, Phil Barnard / Thomas K. Landauer Psychological research methods in the human use of computers (panel session), April 1985, CHI '85: Proceedings of the SIGCHI conference on Human factors in computing systems, pp.41-45

88
Lauesen, S.: Task Descriptions as Functional Requirements, in: IEEE Software 2003, March/April, pp. 58-65.

89
Lauesen, S.: User Interface Design. A software Engineering Perspective. London et al:Pearson - Addison Wesley, 2005. See also the Webpage with additional Material: http://www.itu.dk/ slauesen/SorenUID.html

90
Kazar, J.; Feng, J.H.; Hochheiser, H. Research Methods in Human-Computer Interaction, Chichester (UK): John Wiley and Sons, Ltd., 2010

91
Leveson, N. G., Safeware - System Safety and Computers. Addison Wesley, Boston, MA, 1995

92
Leveson, Nancy G.; Heimdahl, Mats P.E.; Reese, Jon Damon:Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. In Software Engineering - ESEC/FSE'99: 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999. Proceedings

93
Lewis, J. R. (1991). Psychometric Evaluation of an After-Scenario Questionnaire for Computer Usability Studies: the ASQ. SIGCHI Bulletin, 23(1), 78-81.

94
Lewis, J. R. (1995). IBM Computer Usability Satisfaction Questionnaires: Psychometric Evaluation and Instructions for Use. International Journal of Human-Computer Interaction, 7, 57-78.

95
Ludwig, G. (1978a). Die Grundstrukturen einer physikalischen Theorie. Berlin - Heidelberg - New York: Springer. Mackintosh, N. J. (Ed.). (1994). Animal Learning and Cognition. Academic Press.

96
Lutz, Robyn R., Software Engineering for Safety. A Roadmap. in The Future of Software Engineering, Anthony Finkelstein (Ed.), ACM Press 2000

97
Manna, Z.; Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems. Specification, Berlin. Springer, 1992

98
Manna, Z.; Pnueli, A. Temporal Verification of Reactive Systems. Safety, Berlin: Springer, 1995 /* This book is part 2 continuing the book 1992-book */

99
Markowitsch, H-J. Dem Gedächtnis auf der Spur. Vom Erinnern und Vergessen, Darmstadt: Wissenschaftl. Buchgesellschaft, 2002.

100
Jon May, Michael P. Dean, Philip J. Barnard Using film cutting techniques in interface design, December 2003, Human-Computer Interaction , Volume 18 Issue 4, pp.325-372

101
Mazur, J.E. Learning and behavior, (5th edition). United Kingdom: Pearson Education Ltd., 2002

102
McMillan, K.L. Symbolic Model Checking, Boston - Dordrecht - London: Kluwer Academic Publishers, 1993

103
Mittelstras, J.(Ed) Enzyklopädie Philosophie und Wissenschaftstheorie, Bd.1, Stuttgart-Weimar: J.B.Metzler Verlag, 1995

104
Mittelstras, J.(Ed) Enzyklopädie Philosophie und Wissenschaftstheorie, Bd.2, Stuttgart-Weimar: J.B.Metzler Verlag, 1995

105
Moldt, D.; Kordon, F.: Systems Engineering and Validation In: Girault, Claude; Valk, Rüdiger (Eds.): Petri Nets for Systems Engineers. A Guide to Modeling, Verification, and Applications. Springer, Berlin - Heidelberg - New York, 2003, pp.405-415.

106
Morikawa, K.; Oka, N.; Triface: the interactions between human, robot and environment, Robot and Human Interactive Communication, 2003. Proceedings. ROMAN 2003. The 12th IEEE International Workshop on, Page(s): 187 - 192

107
Nielsen, J.; Landauer, T. K. (1993) A mathematical model of the finding of usability problems. In: CHI '93. Conference proceedings on Human factors in computing systems, 206-213

108
Judith Reitman Olson, Gary M. Olson The growth of cognitive modeling in human-computer interaction since GOMS, June 1990, Human-Computer Interaction , Volume 5 Issue 2, pp.221-265, Publisher: L. Erlbaum Associates Inc.

109
OMG, SysML, online at: http://www.omg.org/spec/SysML/1.3/PDF, OMG, June 2012

110
OMG MDA MDA Guide Version 1.0.1 Document Number: omg/2003-06-01 Date: 12th June 2003 http://www.omg.org/docs

111
OMG-SysML, OMG SysML Specification v. 1.0 (Final Adopted Specification) [May 2006]. http://www.omg.org/cgi-bin/doc?ptc/06-05-04 (Last visited March 21, 2007) and http://www.omg.org/spec/SysML/1.0/PDF (Sept.2007).

112
Pagulayan, R.J.; Keeker, K.; Wixon, D.; Romero, R.L.; Fuller, Th. User-Centered Design in Games. In: Jacko, J.A.; Sears, A.:(Eds.) The Human Computer Interaction Handbook. Fundamentals, Evolving Technologies and Emerging Applications. Mahwaw (NJ) - London: Lawrence ErlbaumAssociates, Publ., 2003, pp.883 - 906.

113
NIST CIF Common Industry Format (CIF): http://zing.ncsl.nist.gov/iusr/index.html (last visited January-3, 2011)

114
NIST CISU-R Common Industry Specification for Usability?Requirements(CISU-R): NISTIR 7432, June 2007: http://zing.ncsl.nist.gov/iusr/index.html (last visited May-8, 2008)

115
Payne, S.J.Mental Models in Human Computer Interaction., In: Sears, A.; Jacko, J.A. (Eds.): The Human-Computer Interaction Handbook. Fundamentals, Evolving Technologies and Emerging Applications., New York - London: Lawrence Erlbaum Associates, Publ., 2008, 2nd.ed.pp:64 - 76.

116
Plutchik, R. Foundations of Experimental Research, 3rd.ed., New York. Harper and Row Publ., 1983

117
Rubin, J. (1994) Handbook of Usability Testing, How to Plan, Design, and Conduct Effective Tests. New York: John Wiley & Sons, Inc.

118
Schneider, K. Verification of Reactive Systems. Formal Methods and Algorithms, Berlin-Heidelberg: Springer-Verlag, 2004

119
Sears, A.; Jacko, J.A. (Eds.): The Human-Computer Interaction Handbook. Fundamentals, Evolving Technologies and Emerging Applications., New York - London: Lawrence Erlbaum Associates, Publ., 2008, 2nd.ed.

120
Seow, S.C. Information Theoretic Models of HCI: A Comparison of the Hick-Hyman Law and Fitts' Law., in: HUMAN-COMPUTER INTERACTION, 2005, Volume 20, pp. 315-352, Copyright(C)2005, Lawrence Erlbaum Associates, Inc.

121
Shiffrin, R.M. Capacity Limitations in Information Processing, Attention, and Memory, In: W.K.Estes (ed). Handbook of Learning and Cognitive Processes. Vol.4, 177-236, 1976

122
Shultz, K.S.; Whitney, D.J. Measurement Theory in Action. Case Studies and Exercises, Thousand Oaks: Sage Publ., 2005

123
Sigaud, O.; Wilson, S.W., Learning classifier systems: A survey, Soft Computing, vol. 11, no. 11, September, 2007, pp. 1065-1078

124
Sixtl, F. Mesmethoden der Psychologie. Theoretische 'Grundlagen und Probleme, 2.rev.ed., Weinheim - Basel: Beltz-Verlag, 1982

125
Sternberg, S. High-speed scanning in human memory, Science, 153, 652-654, 1966 (see the webpage: http://www.psych.upenn.edu/%7Esaul/hss.html

126
Strube, G. Assoziation. Der Prozess des Erinnerns und die Struktur des Gedächtnisses, Berlin - Heidelberg - New York: Springer-Verlag, 1984

127
STEGMÜLLER, W. [1969], Erklärung, Voraussage, Retrodiktion. Diskrete Zustandssysteme. Das ontologische Problem der Erkläruing. Naturgesetze und irreale Konditionalsätze, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. I, Theorie und Erfahrung, Studienausgabe, Teil 2,Springer-Verlag, Berlin - Heidelberg - New York.

128
STEGMÜLLER, W. [1969], Historische, psychologische und rationale Erklärung. Kausalitätsprobleme, Determinismus und Indeterminismus, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. I, Theorie und Erfahrung, Studienausgabe, Teil 3,Springer-Verlag, Berlin - Heidelberg - New York.

129
STEGMÜLLER, W. [1969], Teleologie, Funktionalanalyse und Selbstregulation, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. I, Theorie und Erfahrung, Studienausgabe, Teil 4,Springer-Verlag, Berlin - Heidelberg - New York.

130
STEGMÜLLER, W. Erfahrung, Festsetzung, Hypothese und Einfachheit in der wissenschaftlichen Begriffs- und Theoriebildung, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. II, Theorie und Erfahrung, Studienausgabe, Teil A, Berlin - Heidelberg - New York: Springer-Verlag, 1970

131
STEGMÜLLER, W. [1970b], Wissenschaftssprache, Signifikanz und theoretische Begriffe, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. II, Theorie und Erfahrung, Studienausgabe, Teil B,Springer-Verlag, Berlin - Heidelberg - New York.

132
STEGMÜLLER, W. [1970c], Beobachtungssprache, theoretische Sprache und die partielle Deutung von Theorien, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. II, Theorie und Erfahrung, Studienausgabe, Teil C,Springer-Verlag, Berlin - Heidelberg - New York.

133
STEGMÜLLER, W. [1973], Logische Analyse der Struktur ausgereifter physikalischer Theorien. 'Non-statement view' von Theorien, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. II, Theorie und Erfahrung, Studienausgabe, Teil D,Springer-Verlag, Berlin - Heidelberg - New York.

134
STEGMÜLLER, W. [1973], Theoriendynamik. Normale Wissenschaft und wissenschaftliche Revolutionen. Methodologie der Forschungsprogramme oder epistemologische Anarchie?, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. II, Theorie und Erfahrung, Studienausgabe, Teil E,Springer-Verlag, Berlin - Heidelberg - New York.

135
STEGMÜLLER, W. [1973c], Aufgaben und Ziele der Wissenschaftstheorie. Induktion. Das ABC der modernen Wahrscheinlichkeitstheorie und Statistik, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. IV, Theorie und Erfahrung, Studienausgabe, Teil A,Springer-Verlag, Berlin - Heidelberg - New York.

136
STEGMÜLLER, W. [1973], Aufgaben und Ziele der Wissenschaftstheorie. Induktion. Carnap II: Normative Theorie des induktiven Räsonierens, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. IV, Theorie und Erfahrung, Studienausgabe, Teil C,Springer-Verlag, Berlin - Heidelberg - New York.

137
STEGMÜLLER, W. [1973], 'Jenseits von Popper und Carnap': Die logischen Grundlagen des statistischen Schliesens, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. IV, Theorie und Erfahrung, Studienausgabe, Teil D,Springer-Verlag, Berlin - Heidelberg - New York.

138
STEGMÜLLER, W. [1973], Aufgaben und Ziele der Wissenschaftstheorie. Induktion. Statistische Begründung. Statistische Analyse. Das Repräsentationstheorem von de Finetti. Metrisierung qualitativer Wahrscheinlichkeitsfelder, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. IV, Theorie und Erfahrung, Studienausgabe, Teil AE,Springer-Verlag, Berlin - Heidelberg - New York.

139
STEGMÜLLER, W. [1974], Das ABC der modernen Logik und Semantik. Der begriff der Erklärung und seine Spielarten, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. I, Theorie und Erfahrung, Studienausgabe, Teil 1,Springer-Verlag, Berlin - Heidelberg - New York.

140
STEGMÜLLER, W. [1974], Statistische Erklärungen. Deduktiv-nomologische Erklärungen in präzisen Modellsprachen. Offene Probleme, in: Ders., Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Bd. I, Theorie und Erfahrung, Studienausgabe, Teil 5,Springer-Verlag, Berlin - Heidelberg - New York.

141
STEGMÜLLER, W. [1979], Rationale Rekonstruktion von Wissenschaft und ihrem Wandel, Philipp Reclam jun., Stuttgart

142
STEGMüLLER, W. [1979], The Structuralist View of Theories. A possible Analogue of the Bourbaki Programme in Physical Science, Springer-Verlag, Berlin - Heidelberg - New York.

143
STEGMüLLER, W. [1980], Neue Wege der Wissenschaftsphilosophie, Springer-Verlag, Berlin - Heidelberg - New York.

144
STEGMÜLLER, W./ V.von KIBED[ 1984], Strukturtypen der Logik Springer-Verlag, Berlin.

145
Storey, N., Safety-Critical Computer Systems, London, New York et al: Prentice Hall (Pearson Education), 1996

146
SUPPE, F. (ed) [1977, 2nd ed.1979], The Structure of Scientific Theories, University of Illinois Press, Urbana - Chicago - London.

147
SUPPES, P.; ZINNES, J.L. Basic Measurement Theory, in: LUCE et al. (eds), Handbook of Mathematical Psychology, Wiley, New York, 1963

148
SYDOW, H.; PETZOLD, P. Mathematische Psychologie, VEB Deutscher Verlag der Wissenschaften, Berlin, 1981

149
OMG-SysML, OMG Systems Modeling Language (OMG SysML$ ^{TM}$), V1.1. Standard document URL: http://www.sysmlforum.com/docs/specs/OMGSysML-v1.1-08-11-01.pdf(Last visited Oct-26, 2010)

150
Tolman, E. C. (1948). Cognitive maps in rats and men, Psychological Review, 55, 189-208 (online version at: http://psychclassics.yorku.ca/Tolman/Maps/maps.htm ; last ascess: 14.Nov.2012)

151
Tullis, T.; Albert, B.; Measuring the User Experience. Collecting, Analyzing, and Presenting Usability Metrics, Amsterdam - Boston - Heidelberg: Morgan Kaufmann Publ., 2008

152
The Usability Professionals' Association (UPA). URL: http://www.upassoc.org/

153
The Usability Professionals' Association: Ethics. URL: §http://www.upassoc.org/about_upa/leadership/code_of_conduct.html§

154
Wagner, F.; Schmuki, R.; Wagner, Th.; Wolstenholme, P. Modeling Software with Finite State Machines. A Practical Approach, Boca Raton - new York: Auerbach Publications, 2006

155
Weilkiens, T. Systems Engineering mit SysML/UML. Modellierung, Analyse, Design, Heidelberg: dpunkt.verlag, 2006

156
Wender K.F.; Colonius, H.; Schulze, H-H. Modelle des menschlichen Gedächtnisses, Stuttgart: W.Kohlhammer GmbH, 1980

157
Wilson, S.W. ZCS: a zeroth level classifier system, Evolutionary Computation, 2(1), 1-18 (1994)

158
Woodcock, Jim: First Steps in the Verified Software Grand Challenge. IEEE Computer, IEEE Computer Society, October 2006, p. 57

159
Richard M. Young, Phil Barnard Multiple uses of scenarios: a reply to Campbell, October 1992, SIGCHI Bulletin , Volume 24 Issue 4, p.10

160
Richard M. Young, Phil Barnard The use of scenarios in human-computer interaction research: turbocharging the tortoise of cumulative science, April 1987, CHI '87: Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface, pp.291-296

162
Zimbardo, Ph.G.; Gerrig, R.J. Psychology and Life. Publisher: Allyn & Bacon; 19 edition (July 22, 2009), Language: English, ISBN-10: 0205685919, ISBN-13: 978-0205685912

162
Zimbardo, Ph.G.; Gerrig, R.J. Psychology and Life. (16th ed.). Pearson Education, Inc., 2002



Gerd Doeben-Henisch 2012-12-14