Universitšt Karlsruhe
Vorlesungen √ľber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen

Buch

[Goos:1997:Info3]Gerhard Goos, Vorlesungen √ľber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen, Springer, Jan 1997.

Zusammenfassung

Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden B√§nde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexit√§tstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einf√ľhrend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird er√∂rtert, wie man Systemaufgaben analysiert und spezifiziert. (siehe auch http://www.info.uni-karlsruhe.de/~i44www/goos-buch.html)

[Erzeuge bibTeX Eintrag]

 

[Herunterladen]

Autoren

Professor
Prof. Gerhard Goos
Login
Links