- Table View
- List View
Programmiersprachen und Programmentwicklung: 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.–12. März 1980 (Informatik-Fachberichte #25)
by H. J. HoffmannDie 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. Die 6. Fachtagung, die am 11. und 12. März 1980 in Darmstadt stattfindet, spielt darin sicherlich keine Sonderrolle. Es wurde diesmal eine breitere Thematik gewählt, wie es aus der Tagungsbezeichnung hervorgeht, nämlich PROGRAMMIERSPRACHEN UND PROGRAMMENTWICKLUNG. Jedenfalls wird damit zum Ausdruck gebracht, daß Programmiersprachen nicht nur eine Zielsetzung in sich haben, d.h. einem Selbstzweck unterworfen sind, sondern zu einem weiteren Zweck, der Programmentwicklung, in Beziehung treten, in Beziehung treten müssen. Dieses verbreiterte Selbst-Verständnis hat sich - bedauerlicherweise - im Tagungsprogramm und als Folge davon im Tagungsband nicht übermäßig deutlich ausge wirkt. Die Veranstalter legen allerdings zum Zeitpunkt der Drucklegung die (berech tigte) Hoffnung, daß in der vorgesehenen Diskussion über "Software Engineering - Programmiersprachen, Programmentwicklung -" zu der breiteren Thematik einige beach tenswerte Aussagen kommen. Im Tagungsband, der den Tagungsteilnehmern zu Beginn der Tagung ausgehändigt wird, läßt sich eine solche Diskussion noch nicht einfangen; ihre Auswirkungen zeigen sich, hoffentlich, an anderer Stelle.
The Programming Language Ada: Reference Manual. Proposed Standard Document United States Department of Defense (Lecture Notes in Computer Science #106)
by Honeywell Cii Honeywell Bull
Software Development Tools
by W.E. Riddle R.E. FairleyThis text contains the proceedings of a workshop on software develoDment tools, held at Pingree Park, Colorado in May, 1979. The workshop, for which we were co-chair men, was primarily, but not exclusively, concerned with a variety of tools supporting pre-implementation phases of software development. The workshop brought together researchers and practitioners from industrial, governmental, and academic sectors to compare and assess current work and to set some directions for future work in this emerging technical area. The fifty participants represented research and development efforts in software tools within the United States, Canada, France, Great Britain, and Japan. (A list of participants appears at the end of the text. ) Sponsorship was provided by the National Aeronautics and Space Administration, the National Bureau of Standards, the National Science Foundation, and Digital Equipment Corporation. The conference consisted of seven formal sessions and numerous organized and impromptu discussions. Each session (except the last) included invited papers, prepared remarks by discussants, and an open discussion.
State of the Art of Surgery 1979/80: Summaries of the Breakfast and Luncheon Panels of the 28th Congress of the Société Internationale de Chiurgie in San Francisco
by Martin Allgöwer and Felix HarderInternational surgical meetings with thousands of participants speaking a dozen different languages tend to be frustrating for the individual who comes with the hope of learning about progress in his fields, but who additionally would like to be able to ex change ideas on controversial topics and to meet competent people with whom to discuss specific problems. In the "one-way" ses sions in which long papers are presented, details or specific points may be missed. Differing views often are not adequately discussed, because the meeting and its participants are pressed for time. The 44 breakfast and luncheon sessions, covering different topics of interest to the practicing surgeon, were mainly planned to overcome these classical "congress handicaps" and also to do away with the anonymous atmosphere of such a large congress. Slides and formal papers were banished from these sessions. The outcome of these very lively and pleasant discussions taking place around small well-dressed tables was unexpected by most participants. A chairman and several panel members shared their repast, caloric and intellectual, with some 10-30 congress par ticipants. The result was in each instance a lively, informative intimate discussion, very different from the anonymous atmo sphere of a large meeting. In the hope of preserving these ex changes, the chairmen were requested immediately the session finished to "distill the essence" of the 90-minute exchange into a summary captured on tape.
Textverarbeitung und Informatik: Fachtagung der GI Bayreuth, 28. – 30. Mai 1980 (Informatik-Fachberichte #30)
by P. R. Wossidlo
The Use of Formal Specification of Software: June 25–27, 1979, Berlin (Informatik-Fachberichte #36)
by H. K. Berg W. K. GiloiThe notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system development standards which will ensure that end products will meet rigorous design requirements. On the one hand, advances in system architecture fUrther the application of system development standards to software and firmware design and production. On the other hand, the growth in complexity of future system architectures, in particular distri buted systems with their special problems of cooperation and parallelism, necessitate the use of rigorous specification and design techniques. In addition to hampering the design process, the lack of engineering techniques hinders research. In many cases, trial designs that are presented in abstract and informal terms do not force the de signer to face the full problem spectrum, and therefore may not sufficiently provide insight into the design process. To prepare for the forthcoming discipline and to provide a snapshot view of recent advances in software and firmware engineering, we organized in June of 1979 a seminar entitled: "The Use of Formal Specification of Software and Firmware". The seminar took place at the Heinrich-Hertz-Institute, Berlin, and attracted over 60 participants, most of them from the industry.
Water and Related Land Resource Systems: IFAC Symposium, Cleveland, Ohio, U.S.A., 28-31 May 1980
by Y. Haimes J. KindlerWater and Related Land Resource Systems covers IFAC Symposium that aims to address resource problem, as well as methodologies and procedures for respective solutions. Consists of 60 chapters, the book is organized in sessions according to the technical program of the conference. The book first tackles multiobjective planning in water and land resources, which is followed by acquisition and analysis of surface water quality data. The next part covers hierarchical water resource planning and management models, while the succeeding part is about environmental and ecological aspects of water and land resources. The fifth session discusses the impact of energy development on water and land resources. Session VI covers modeling and systems identification problems in water resources, and Session VII covers acquisition and analysis of hydrologic data. The eighth session tackles ground water and its conjunctive use with surface water, while the next session talks about sedimentation and land management. The tenth session is about multiobjective planning in water and land resources. Predicting and forecasting models in water resources is the topic of Session XI, while Session XII discusses evaluation and calibration problem in water resource modeling. The closing chapter covers water and land issues in urban areas. Professionals whose work revolves around recourse management and researchers whose work is in line with natural resource will find great information in this book that will be relevant in their trade.
Advances in Digital Image Processing: Theory, Application, Implementation
by P. StuckiDigital image processing, originally established to analyze and improve lunar images, is rapidly growing into a wealth of new appli cations, due to the enormous technical progress made in computer engineering. At present, the most important fields of growth appear to emerge in the areas of medical image processing (i. e. tomography, thermography), earth resource inventory (i. e. land usage, minerals), office automation (i. e. document storage, retrieval and reproduction) and industrial production (i. e. computer vision for mechanical ro bots). Currently, emphasis is being shifted from signal-processing re search and design-innovation activities towards cost-efficient system implementations for interactive digital image processing. For the years ahead, trends in computer engineering indicate still further advances in Large Scale Integration (LSI) and Input/Output (I/O) technologies allowing the implementation of powerful parallel and/or distributed processor architectures for real-time processing of high resolution achromatic and color images. In view of the many new developments in the field of digital image processing and recognizing the importance of discussing these developments amongst key scientists that might make use of them, ffiM Germany sponsored an international symposium on 'Advances in Digital Image Processing', held at Bad Neuenahr, Federal Republic of Germany, September 26 - 28, 1978. The interest shown in this symposium encouraged the publi cation of the papers presented in this volume of the ffiM Research Symposium Series.
Algebraic Coding Theory and Applications (CISM International Centre for Mechanical Sciences)
by Carlos R. Hartmann Giuseppe Longo
Angewandte Szenenanalyse: DAGM Symposium, Karlsruhe 10.–12. Oktober 1979 (Informatik-Fachberichte #20)
by Jörgen P. Foith
Applied Game Theory: Proceedings of a Conference at the Institute for Advanced Studies, Vienna, June 13–16, 1978
by X. Y. Brams X. Y. Schotter X. Y. Schwödlauer
Biological Functions of Proteinases: 30. Colloquium, 26.-28. April 1979 (Colloquium der Gesellschaft für Biologische Chemie in Mosbach Baden #30)
by H. Holzer H. Tschesche
Closing The Gap Between Technology And Application
by James C. EmeryThis book presents analyses, from three points of view, of the use of computing technology in higher education. It considers application areas including office automation, distributed academic computing, distributed administrative computing, instructional systems, and information resources.
Closing The Gap Between Technology And Application
by James C. EmeryThis book presents analyses, from three points of view, of the use of computing technology in higher education. It considers application areas including office automation, distributed academic computing, distributed administrative computing, instructional systems, and information resources.
Color Theory and Its Application in Art and Design (Springer Series in Optical Sciences #19)
by George A. AgostonMy aim in this introductory text is to present a comprehensible discussion of certain technical topics and recent developments in color science that I believe are of real interest to artists and designers. I treat a number of applications of this knowledge, for example in selection and use of colorants (pigments and dyes) and light. Early in the book I discuss what color is and what its characteristics are. This is followed by a chapter on pertinent aspects of light, light as the stimulus that causes the perception of color. Then the subject of the colors of opaque and transparent, nonfluorescent and fluorescent materials is taken up. There are sections on color matching, color mixture, and color primaries. Chapter 6 introduces the basic ideas that underlie the universal method (CIE) of color specification. Later chapters show how these ideas have been extended to serve other purposes such as systematic color naming, de termining complementary colors, mixing colored lights, and demonstrating the limitations of color gamuts of colorants. The Munsell and the Ostwald color systems and the Natural Colour System (Sweden) are explained, and the new Uniform Color Scales (Optical Society of America) are described. Color specification itself is a broad topic. The information presented here is relevant in art and design, for those who work with pigments and dyes or with products that contain them, such as paints, printing inks, plastics, glasses, mosaic tesserae, etc.
Combinatorial Complexes: A Mathematical Theory of Algorithms (Mathematics and Its Applications #2)
by P.H. SellersIt isn't that they can't see the Approach your problems from the right end and begin with the solution. It is that they can't see answers. Then, one day, perhaps the problem. you will find the final question. 'The Hermit Clad in Crane Feathers' G. K. Chesterton, The scandal of in R. Van Gulik's The Chinese Maze Father Brown "The point of a Murders. pin" Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the 'tree' of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be com pletely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crys tal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces.
Computer Vision and Sensor-Based Robots
by C.H. DoddThe goal ofthe symposium, "Computer Vision and Sensor-Based Robots," held at the General Motors Research Laboratories on September 2S and 26, 1978, was to stimulate a closer interaction between people working in diverse areas and to discuss fundamental issues related to vision and robotics. This book contains the papers and general discussions of that symposium, the 22nd in an annual series covering different technical disciplines that are timely and of interest to General Motors as well as the technical community at large. The subject of this symposium remains timely because the cost of computer vision hardware continues to drop and there is increasing use of robots in manufacturing applications. Current industrial applications of computer vision range from simple systems that measure or compare to sophisticated systems for part location determination and inspection. Almost all industrial robots today work with known parts in known posi tions, and we are just now beginning to see the emergence of programmable automa tion in which the robot can react to its environment when stimulated by visual and force-touch sensor inputs. As discussed in the symposium, future advances will depend largely on research now underway in several key areas. Development of vision systems that can meet industrial speed and resolution requirements with a sense of depth and color is a necessary step.
The Denotational Description of Programming Languages: An Introduction
by M.J.C. GordonThis book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for computer science students rather than for (say) mathematicians. No knowledge of the theory of computation is required, but it would help to have some acquaintance with high level programming languages. The selection of material is based on an undergraduate semantics course taught at Edinburgh University for the last few years. Enough descriptive techniques are covered to handle all of ALGOL 50, PASCAL and other similar languages. Denotational semantics combines a powerful and lucid descriptive notation (due mainly to Strachey) with an elegant and rigorous theory (due to Scott). This book provides an introduction to the descriptive techniques without going into the background mathematics at all. In some ways this is very unsatisfactory; reliable reasoning about semantics (e. g. correctness proofs) cannot be done without knowing the underlying model and so learning semantic notation without its model theory could be argued to be pointless. My own feeling is that there is plenty to be gained from acquiring a purely intuitive understanding of semantic concepts together with manipulative competence in the notation. For these equip one with a powerful conceptua1 framework-a framework enabling one to visualize languages and constructs in an elegant and machine-independent way. Perhaps a good analogy is with calculus: for many practical purposes (e. g. engineering calculations) an intuitive understanding of how to differentiate and integrate is all that is needed.