This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.

This volume contains the proceedings of the fourth European Software Engineering Conference. It contains 6 invited papers and 27 contributed papers selected from more than 135 submissions. The volume has a mixtureof themes. Some, such as software engineering and computer supported collaborative work, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was...

Programmiersprachen gehoren seit den Anfangen der Entwicklung des Fachgebietes Informatik zu dessen inner stem Kern. Dabei faBt der Begriff "Programmiersprachen" eine Reihe von Gegenstanden der In formatik zusammen, die insgesamt auf das Ziel gerichtet sind, den Benutzern von Rechenanlagen die Programmierung wesentlich zu erleichtern. Unter diesen Gegenstanden finden sich vor allem: Prinzipien ftir Entwur.f und Entwicklung von Programmiersprachen, Definition von Programmiersprachen, Techniken des Ubersetzerbaus ftir Programmier sprachen. Wurden Programmiersprachen zu Beginn der Entwicklung...

Die in den letzten Jahren in ganz aussergewohnlichem Masse gesteigerte Leistungsfahigkeit der Rechner und die ebenso rasch vorangeschrittene Entwicklung der Kommunikationstechnik bringen im Bereich der Buroarbeit eine Vielzahl erheblicher Umwalzungen. Die Jahrestagung 87 der GI, deren Tagungsband hier vorliegt, greift wichtige Fragen hierzu auf und setzt sich mit einer Fulle von Einzelthemen auseinander. Bekannte Referenten berichten in vier Hauptvortragen zu aktuellen Fragen der Buroautomatisierung aus erster Hand. Ferner werden in zehn Fachgesprachen referierte Beitrage und eingeladene...