Logo des Repositoriums

Auflistung nach Schlagwort "Specification"

1 - 1 von 1
  • Zeitschriftenartikel
    Softwaretechnik und Erkenntnistheorie
    (Informatik-Spektrum: Vol. 22, No. 2, 1999) Schefe, Peter
    Die Erkenntnissituation des Softwaretechnikers ist nicht, wie allgemein angenommen, mit der eines Naturwissenschaftlers vergleichbar. Ausgehend von der ontologischen Doppelnatur von Software werden erkenntnistheoretische Basisprobleme der Softwaretechnik (insbesondere der Anforderungsanalyse und der Spezifikation) besprochen, Gegenstands- und Zeichenkonstitution sowie Begriffsbildung und Definierbarkeit. Das Dilemma der Softwaretechnik ist, Unformalisierbares formal rekonstruieren zu müssen. Dies zeigen sowohl der allgemein unklare Modellbegriff, wie auch die Ansprüche der ‚objektorientierten Modellierung‘. Es gilt, das Paradigma der abbildenden Modellierung durch ein Paradigma der normierenden Beschreibung abzulösen. Eine Umorientierung erfordert eine konsistente, erkenntnistheoretisch valide Terminologie.Summary The software engineer‘s epistemological situation is not equivalent to the scientist‘s one. Assuming an ontologically twofold nature of software, some fundamental epistemological problems of software engineering are investigated: constitution of objects and signs, conceptualization and definability. The paradoxical situation of software engineering is having to formalize what cannot be formalized. This is obvious from its fuzzy notion of ‚model‘ in general as well as from the epistemological presumptions of ‚object oriented modelling‘ in particular. The paradigm of ‚mimicking by modelling‘ has to be replaced by a paradigm of ‚committing by description‘ introducing a consistent, epistemologically valid terminology.