Bernhard Moritz

Learn More
We present a system which generates interactive high-level debugging systems from formal language definitions. The language definer has to specify a denotational semantics augmented with a formal description of the language specific debugging facilities. The generated debugger offers the traditional features such as tracing programs, setting breakpoints,(More)
Die Schätzung des Aufwands für die Erstellung oder die Überarbeitung von grossen Softwaresystemen stellt immer noch ein beträchtliches Risiko dar. Dieses verschärft sich noch weiter, wenn wie im vorliegenden Fall das Projekt auf Festpreisbasis, d.h. ohne Möglichkeit zu Budgetnachforderungen während des Projekts selbst, abzuwickeln ist. Dieser Beitrag(More)
  • 1