论文信息 - Modellierung - ein Handgriff zur Wirklichkeit (Zur sozialen Konstruktion und Wirksamkeit von Informatik-Modellen)

Modellierung - ein Handgriff zur Wirklichkeit (Zur sozialen Konstruktion und Wirksamkeit von Informatik-Modellen)

Obwohl Informatik-Modelle selbst formal sind und technisch realisiert werden, werden sie nur bedeutsam durch soziale Prozesse der Entwicklung und Aneignung, wobei die subjektiven Perspektiven der Beteiligten entscheidenden Einfluß haben. Entwicklung und Nutzung von Informatik-Modellen sollten daher ihre sozialen Bedingtheit transparent machen und ihre sinnvolle Interpretation im Einsatzkontext gewährleisten. A program is a model of a model within a theory of a model of an abstraction of a portion of the world or of some universe of discourse. (Lehman 1980)

Christiane Floyd | Ralf Klischewski | Ralf Klischewski | Christiane Floyd

[1] Stein Bråten. Model Monopoly and Communication: Systems Theoretical Notes On Democratization , 1973 .

[2] Ralf Klischewski. Anarchie - ein Leitbild für die Informatik: von den Grundlagen der Beherrschbarkeit zur selbstbestimmten Systementwicklung , 1996 .

[3] Richard J. Lipton,et al. Social processes and proofs of theorems and programs , 1977, POPL.

[4] Christiane Floyd,et al. Autooperationale Form und situiertes Handeln , 1997 .

[5] Kristen Nygaard,et al. Program development as a social activity , 1990 .

[6] Kalle Lyytinen,et al. Towards a New Understanding of Data Modelling , 1992 .

[7] James H. Fetzer,et al. Program Verification: Fundamental Issues in Computer Science , 1993 .

[8] Yvonne Dittrich. Computeranwendungen und sprachlicher Kontext: zu den Wechselwirkungen zwischen normaler und formaler Sprache bei Einsatz und Entwicklung von Software , 1997 .

[9] Brian Cantwell Smith,et al. Limits of Correctness in Computers , 1991, Computerization and Controversy, 2nd Ed..

[10] Peter Naur. Formalization in Program Development , 1982 .

[11] Peter Naur,et al. THE PLACE OF STRICTLY DEFINED NOTATION IN HUMAN INSIGHT , 1993 .