Towards 100 Percent Correct Software

Freiling, Felix

Document Type: Article
Year of publication: 1998
The title of a journal, publication series: FIfF-Kommunikation
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 2005-2010)
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.

Metadata export


+ 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