论文信息 - Methodische Grundlagen der Programmierung

Methodische Grundlagen der Programmierung

Es wird ein allgemeiner formaler methodischer Rahmen fur die Entwicklung von Programmen vorgestellt. In diesen Rahmen lassen sich gangige Programmiertechniken als spezielle Folgen von Entwicklungsschritten darstellen und durchfuhren. Die Vorgehensweise wird an Beispielen demonstriert.

Manfred Broy | M. Broy

[1] Manfred Broy,et al. Logic of Programming and Calculi of Discrete Design , 1987, NATO ASI Series.

[2] Richard S. Bird,et al. An introduction to the theory of lists , 1987 .

[3] Manfred Broy,et al. Algebraic Methods for Program Construction: The Project CIP , 1984 .

[4] Friedrich L. Bauer,et al. Algorithmische Sprache und Programmentwicklung , 1981 .