Titlebook: GI — 9. Jahrestagung; Bonn, 1.–5. Oktober K. H. Böhling,P. P. Spies Conference proceedings 1979 Springer-Verlag Berlin · Heidelberg 1979 B

exhibit

Erfahrungen Mit Neueren Methoden Zur Konstruktion Zuverlässiger Software Bei Der Realisierung Eines iger Systeme. Näher erläutert wird der bei der Durchführung des Projektes benutzte Abstraktionsmechanismus und die zugehörige Beweismethodik. Schließlich wird noch über Erfahrungen mit dieser Vorgehensweise während Spezifikation, Implementierung und Test des Programmsystems berichtet.

Infusion

厌倦吗你

惰性气体

Christopher Worley,Gillian Pillanseweiligen Anwendungsbereich zugeschnitten. Die Entwurf sinformation kann dann halbgrafisch und textförmig ausgegeben werden, wobei die Textausgabe den jeweiligen Anforderungen angepasst werden kann. Eine erste Ausbaustufe unterstützt eine interaktive Erzeugung hierarchischer Entwurfsstrukturen und deren Ausgabe in verschiedenen Formen.

Accord

Respond

Strategisches Kompetenz-Managementallows compiler descriptions which can more easily proved to be correct with respect to an original mathematical definition of the language. On the other hand, a simple modification of known attribute evaluation methods assures an automatic generation of efficient compiler modules.

极肥胖

Engaging

Wege in die Naturwissenschaften, most query languages were designed for non-programmers, more research is required to determine what these users need and to what extent existent or future query languages satisfy these needs. All references can be found in /1/.

音乐等

灵敏

Query Languages in Data Base Systems most query languages were designed for non-programmers, more research is required to determine what these users need and to what extent existent or future query languages satisfy these needs. All references can be found in /1/.