|
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
|
|
Band/Volume:
|
15
|
|
Heft/Issue:
|
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 2005-2010)
|
|
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. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
