Author: H. J. SchneiderPublisher: Springer Science & Business Media
ISBN: 3642489087
Category : Computers
Languages : de
Pages : 215
Book Description
GI — 7. Jahrestagung
Author: H. J. SchneiderPublisher: Springer Science & Business Media
ISBN: 3642489087
Category : Computers
Languages : de
Pages : 215
Book Description
GWAI-83
Author: B. de NeumannPublisher: Springer Science & Business Media
ISBN: 3642693911
Category : Computers
Languages : en
Pages : 248
Book Description
PISA
Author: R. MartyPublisher: Springer Science & Business Media
ISBN: 3642681360
Category : Computers
Languages : en
Pages : 306
Book Description
This report introduces the programming system PISA intendei for the interactive production of application software. The heart of the programming system is a new programming language, also called PISA. An interactive environment for this language permits the creation, test, maintenance, and usage of PISA programs in a real-time dialogue fashion. Both the programming language and its interactive environment are described without any reference to a specific implementation. Together, they form a well defined programming system whose components interact harmoniously. The programming system PISA is dedicated to application software production. This implies that production of system software and online-control programs is not a goal of PISA. Furthermore, it means that PISA must meet several requirements as they arise from commercial application software production, the most stringent ones being economy, availability, and compatibility: In the long term the overall cost of software production and usage with such a programming system must be less than with conventional means, the programming system must be available or implementable on a wide range of computer systems currently used, and existing data must be accessible in its actual physical representation. The definition of PISA is given in a heavily annotated form in this report: Examples for the use of single componer.ts as well as for the entire system are presented, most of the lan~uage constructs and system facilities are commented on briefly, and the implications of the programming system's design on implementability and portability issues are discussed.
Data Networks with Satellites
Author: J. MajusPublisher: Springer Science & Business Media
ISBN: 3642690300
Category : Computers
Languages : en
Pages : 259
Book Description
GWAI-81
Author: Jörg SiekmannPublisher: Springer Science & Business Media
ISBN: 3662023288
Category : Computers
Languages : en
Pages : 332
Book Description
Applications and Theory of Petri Nets
Author: A. PagnoniPublisher: Springer Science & Business Media
ISBN: 3642690289
Category : Computers
Languages : en
Pages : 323
Book Description
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. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.
First European Simulation Congress ESC 83
Author: W. AmelingPublisher: Springer Science & Business Media
ISBN: 3642692958
Category : Computers
Languages : en
Pages : 662
Book Description
Welcome to Aachen and to the First European Simulation Congress ESC83, a triennial international conference jointly promoted by ASIM/GI, DBSS, SIMS and UKSC. ESC83 is organized by ASIM/GI,. supported by SCS and IMACS, and sponsored by NGI (section for simulation). It takes place at the Karman Auditorium of the Aachen Technical Univer sity, FRG. The aim of ESC83 is to cover all aspects of modeling and simulation in theory and practice, to promote the exchange of knowlewdge and experience between different international research groups in this field, and to strengthen the international contact between developers and users of modeling and simulation techniques. On the occasion of the Congress people of scientific and engineering disciplines will meet to discuss the state of the art and future activities and developments. A large number of contributed papers has been strictly examined and selected by the Scientific Committee to guarantee a high international standard. The book contains the accepted papers that will be presented at the Congress. The papers have been classified according to the following keywords.
Application and Theory of Petri Nets
Author: C. GiraultPublisher: Springer Science & Business Media
ISBN: 3642683533
Category : Computers
Languages : en
Pages : 350
Book Description
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 "Systemes Paralleles et Distribues" and the Gl Special Interest Group "Petrinetze und verwandte Systemmodelle", 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 volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers,
Bibliography on Abstract Data Types
Author: B. KutzlerPublisher: Springer Science & Business Media
ISBN: 3642690327
Category : Computers
Languages : en
Pages : 201
Book Description
Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567
Graph-Grammars and Their Application to Computer Science and Biology
Author: V. ClausPublisher: Springer Science & Business Media
ISBN: 9783540095255
Category : Computers
Languages : en
Pages : 490
Book Description