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.
Search Authors in