Neuer Thread
Ansicht umschalten Baum an
Avatar von Anonymiosus

Anonymiosus

63 Beiträge seit 09.12.2009

23.12.2012 19:04 Permalink

Re: Internetbrowser mit Ada entwickeln?

Christian Stieber schrieb am 22. Dezember 2012 23:18

> Ein Webbrowser ist aber im Vergleich unendlich komplex, was jegliche
> Art von Verifikation, automatisch oder manuell, schonmal unmöglich
> macht. Man kann bei der Entwicklung eine gewisse Sorgfalt walten
> lassen und hoffen daß es soweit gut geht, und ansonsten halt auf
> Bugreports warten.

Auch wenn man vor vielen Jahrzenten schon wusste, dass man eben nicht
alles beweisen kann, wäre ich mir nicht sicher, dass man einen
Webbrowser nicht formal auf Korrektheit beweisen könnte, sofern man
denn mal vernünftig die gewünschte Semantik eines Webbrowsers
definiert.  Rein praktisch ist wohl allerdings letzteres schon schwer
durchführbar.

(EDIT: Rechtschreibfehler)

Bewerten - +
Anzeige

THEMENFOREN

ARTIKELFOREN