Computer programming / software engineering

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.

The International Workshop on Database Machines in Munich is the third of its kind, preceeded by the meetings in Florence (Sept.

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 material for this book first appeared in the magazine Personal Computer World, as a series of articles which ran from September 1979 to June 1980.

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.

Computational geometry as an area of research in its own right emerged in the early seventies of this century.

There is an established interest in integrating databases and programming languages.

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.

1.

"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.

The theory of parsing is an important application area of the theory of formal languages and automata.

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.

Scientific visualization is concerned with exploring dataand information insuch a way as to gain understanding andinsight into the data.

Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms.

Werbegrafiker, DTPler, Fotografen und alle, die Abbildungen und Illustrationen mit dem Computer herstellen, benutzen Mal- und Retuscheprogramme.

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.

Control technology is a new learning environment whichoffers the opportunity to take up the economic andeducational challenge of enabling people to adapt to newtechnologies and use them to solve problems.

Dieses Buch stellt den gesamten Sprachumfang von Ada vor.

Object-oriented database management systems (OODBMSs) have generated significant excitement in the database community in the last decade.

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.

This book presents a complete and accurate study of algebraic circuits, digital circuits whose performance can be associated with any algebraic structure.

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.

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.

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.

Fractals and disordered systems have recently become the focus of intense interest in research.