Ausgewählte Probleme der Softwaretechnologie
By: [Redakteur, Christine Gorek].
Contributors: Gorek, Christine.; Humboldt-Universität zu Berlin. Bereich Informationsverarbeitung.
Series: Berichte / Humboldt-Universität zu Berlin,; 6. Jg., 1986, Heft 7; Berichte (Humboldt-Universität zu Berlin) ;; 86-7.
Publisher: Humboldt-Universität zu Berlin, Sektion Mathematik, Bereich Informationsverarbeitung
Published: 1986
Place of publication: Berlin
Language: ger
Number of pages: 89
Subjects: Pascal (Computer program language); Modula-2 (Computer program language)
Notes: Includes bibliographies.
Table of contents: title: Zum Nachweis der Abwesenheit von Laufzeitfehlern in PASCAL-Programmen mittels formaler Spezifikationen / Christian Horn; title: Laufzeit und Aufhäufigkeitsprofile von PASCAL-Programmen / Stanimir Stojanow; title: Syntaxorientiertes Editieren für Modula-2 und PASCAL auf verschiedenen Rechern / Bodo Hohberg; title: PAMIR, PASCAL für Mikrorechner / Klaus Wiederaenders; title: Verbesserte Portabilität von PASCAL-Compilern durch die algorithmische Interfacetechnik / Barbara Scherpe und Klaus Bothe; title: CDL2-Cross-Compiler / Christoph Polze; title: Untersuchungen zur Durchführung und Unterstützung des Tests von Modula-2-Programme / Christine Habermann; title: Simulation in Modula-2 / Klaus Ahrens und Joachim Fischer; title: Das System MARS-System für die Modellierung und Simulation von Rechnersystemen / Rolf Grützner.