-
- 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), 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