Towards 100 Percent Correct Software


Freiling, Felix


URL: http://webcache.googleusercontent.com/search?q=cac...
Document Type: Article
Year of publication: 1998
The title of a journal, publication series: FIfF-Kommunikation / Forum InformatikerInnen für Frieden und Gesellschaftliche Verantwortung e.V.
Volume: 15
Issue number: 3
Page range: 64
Place of publication: Bremen
Publishing house: FIfF
ISSN: 0938-3476
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik I (Freiling -2013)
Subject: 004 Computer science, internet
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.




+ Citation Example and Export

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


+ Search Authors in

+ Page Views

Hits per month over past year

Detailed information



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item