Software Engineering

This volume and volume II HECTOR - Basic Projects present the results of HECTOR, the four-year cooperation from 1984-1988 between the University of Karlsruhe and IBM Germany.

The present volume and volume I "e;Hector: New Ways in Education and Research"e; present the results of HECTOR, the four year cooperation project between the Univer- sity of Karlsruhe and IBM Germany (represented by the European Networking Center and Scientific Center in Heidelberg as well as IBM Research in Riischlikon).

Für Anwender wie Software-Firmen wird die Frage der Benutzerfreundlichkeit ein zunehmend wichtiges Kriterium für Einsatz und Verkauf.

Der Band enthält die Beiträge zum 4.

Die Chemie ist ein Wissensgebiet, das besonders geeignet ist, mit Hilfe des Computers neue Möglichkeiten der Problemlösung zu erschließen.

This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982.

Die Arbeitstagung "Requirements Engineering für die Automatisierung von Systemen" wird vom Fachausschuß 4.

This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "e;Systemes Paralleles et Distribues"e; and the Gl Special Interest Group "e;Petrinetze und verwandte Systemmodelle"e;, Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981.

This report introduces the programming system PISA intendei for the interactive production of application software.

The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade.

Die Fachtagungen, die der Fachausschuß 2 PROGRAMMIERSPRACH~N der Gesellschaft für Informatik*) seit 1971 regelmäßig, nunmehr zum sechsten Mal, veranstaltet und in Ta­ gungsbänden dokumentiert, geben Zeugnis von dem jeweiligen Selbst-Verständnis des Faches PROGRAMMIERSPRACHEN, zumindest aus der Sicht einiger seiner Repräsentanten und der Vortragenden.

This book is a result of the lectures and discussions during the conference "e;Theory and Practice of Geometric Modeling"e;.

The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular.

"e;Specification and transformation of programs"e; is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

Automation is nothing new to industry.

The OrIgIn of this monograph is a course entitled "e;Semantics- directed Compiler Generation"e; which Professor Neil D.

We have written this book principally for users and practitioners of computer graphics.

This book collects together several of the tutorials held at EUROGRAPHICS'89 in Hamburg.

Since the early seventies concepts of specification have become central in the whole area of computer science.

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.

L systems are language-theoretic models for developmentalbiology.

This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "e;Software for Parallel Computation"e; held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992.

For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic.

Dieses Buch stellt den gesamten Sprachumfang von Ada vor.

Die Bereitstellung effizienter EDV-Systeme ist für viele Großunternehmen wie z.

Photorealistic rendering strives to generate images fromcomputer modeled scenes with an image quality as close toreal life as possible.

This book constitutes the refereed proceedings of the 10th International IFIP WG 2.

Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen.

Bei immer höherer Integrationsdichte digitaler Schaltkreise gewinnt das Zeitverhalten der Signale eine immer stärkere Bedeutung.

The multi-volume set LNAI 14169 until  14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.

Der Einsatz der Simulationstechnik zur Gestaltung von Produktionssystemen hat in den letzten Jahren zunehmend an Bedeutung gewonnen.

Bei der Entwicklung komplexer Automatisierungssysteme sind immer umfangreichere Aufgaben von einer steigenden Anzahl miteinander kommunizierender Rechner zu lösen.

Ein System - SP3R - zur graphischen Programmierung und Simulation wird vorgestellt.

CAR is a symposium and exhibition covering the impact ofcomputer and communication systems applied to radiology andother medical disciplines, which use digital imaging fordiagnosis and therapy planning.