On Wed, Oct 01, 2003 at 06:52:34PM +0200, Martin Uecker wrote: > On Wed, Oct 01, 2003 at 11:18:42AM +0200, Markus Schaaf wrote: > > "Martin Uecker" <[EMAIL PROTECTED]> schrieb: > > > > >W�rde man formatierte Daten immer mit einem aus einer formalen > > >Spezifikation erzeugten Parser verarbeiten, w�rde man alle > > >Fehler und Sicherheitsl�cken auf dieser Ebene komplett los. > > > > Tats�chlich w�re das der anzustrebende Zustand. Leider sind praktisch > > alle Spezifikationen, die ich bis jetzt in freier Wildbahn gesehen > > habe, so fehlerhaft (oder unterspezifiziert oder unexakt), da� sie > > nicht ohne menschliche Korrektur in Parser-Code zu �bersetzen sind. > > Aber eine formale Spezifikation zu schreiben ist doch > *weniger* Arbeit als einen Parser zu schreiben.
Das ist die Theorie. Die Praxis ist, dass man erst programmiert (damit der Ranz just-in-time abgegeben werden kann), und danach ist vielleicht noch ein wenig Zeit fuer etwas Systemdesign. man Troll-Collect Holger
