Towards 100 Percent Correct Software


Freiling, Felix


URL: http://webcache.googleusercontent.com/search?q=cac...
Dokumenttyp: Zeitschriftenartikel
Erscheinungsjahr: 1998
Titel einer Zeitschrift oder einer Reihe: FIfF-Kommunikation / Forum InformatikerInnen für Frieden und Gesellschaftliche Verantwortung e.V.
Band: 15
Heft: 3
Seitenbereich: 64
Ort der Veröffentlichung: Bremen
Verlag: FIfF
ISSN: 0938-3476
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik I (Freiling -2013)
Fachgebiet: 004 Informatik
Abstract: It is a well known fact and an everyday experience, that programs of sufficient size cannot be implemented free of errors. This is not only due to the inherent complexity of todays software systems, but also partly the result of inadequate software design and implementation methodologies. Inspired by previous work [2] we introduce the concept of a "Do what I mean button" (DWIMB) as an abstraction of programmers' intentions. We show, that writing correct software is exactly as difficult as implementing such a DWIMB. By doing this, we identify a key component of any large software system that is supposed to be correct. 2 Main Result Definition 1 (Correct Software) A correct software system (CSS) is a system that behaves exactly as wished by the user. Definition 2 (Do what I mean button) A "do what I mean" button (DWIMB) is a module of a software system, that -- if started -- forces the system

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Freiling, Felix (1998) Towards 100 Percent Correct Software. FIfF-Kommunikation / Forum InformatikerInnen für Frieden und Gesellschaftliche Verantwortung e.V. 15 3 64 [Zeitschriftenartikel]



+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen