Programming Methodology
|
|
- Mervyn Preston Atkinson
- 6 years ago
- Views:
Transcription
1 Texts and Monographs in Computer Science Editor David Gries Advisory Board F. L. Bauer K. S. Fu J. J. Horning R. Reddy D. C. Tsichritzis W. M. Waite
2 Programming Methodology A Collection of Articles by Members of IFIP WG2.3.Q~ ~. IFIP Edited by David Gries Sprlnger.Verlag New York Heidelberg Berlin
3 David Gries Cornell University Department of Computer Science Upson Hall Ithaca, New York USA AMS Subject Qassifications: 68A05, 68AlO, 68A20 (C.R.) Computing Classifications: 4.0, 4.2, 4.35, 5.24 Library of Congress Cataloging in Publication Data Main entry under title: Programming methodology. (Texts and monographs in computer science) Bibliography: p. Includes index. 1. Electronic digital computers-programming Addresses, essays, lectures. I. Gries, David, QA76.6.P ' ISBN All rights reserved. No part of this book may be translated or reproduced in any form without written permission from Springer-Verlag by Springer-Verlag New York Inc. Softcover reprint of the hardcover 18t edition 1978 ISBN-13: : / e-isbn-13:
4 Contents Preface Acknowledgments ix xiii A History of WG2.3 1 M. Woodger Part I: Viewpoints on Programming 7 1. The humble programmer 9 E. W. Dijkstra 2. Software engineering 23 J. N. Buxton 3. Software engineering-some principles and problems 29 W. M. Turski 4. The engineering of software: a startling contradiction Programs, cities, students-limits to growth? 42 M. M. Lehman 6. On structured programming 70 D. Gries Part II: The Concern for Program Correctness Correctness concerns and, among other things, why they are resented 80 E. W. Dijkstra v
5 vi CONTENTS 8. An axiomatic basis for computer programming Proof of a program: FIND An approach to correctness proofs for semicoroutines 116 O.-J. Dahl 11. An axiomatic proof technique for parallel programs 130 S. Owicki and D. Gries 12. Programming with transition diagrams J. C. Reynolds Guarded commands, nondeterminacy, and formal derivation of programs 166 E. W Dijkstra 14. A system which automatically improves programs 176 J. Darlington and R. M. Burstall Part III: Harnessing Parallelism 1' Towards a theory of parallel programming Structured multiprogramming 215 P. Brinch Hansen 17. Monitors: an operating system structuring concept The programming language Concurrent Pascal 244 P. Brinch Hansen Part IV: Data Types Proof of correctness of data representations The algebraic specification of abstract data types 282 J. V. Guttag and J. J. Horning 21. User-defined types and procedural data structures as complementary approaches to data abstraction 309 J. C. Reynolds
6 CONTENTS vii Part V: Software Development Program development by stepwise refinement 321 N. Wirth 23. On a "buzzword": hierarchical structure 335 D. L. Parnas 24. On the design and development of program families 343 D. L Parnas 25. System structure for software fault tolerance 362 B. Randell 26. Structured analysis (SA): a language for communicating ideas 388 D. T. Ross References 422
7 Preface This volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of programming methodology that have helped define the field and give it direction. It is hoped that the scientist in the field will find the volume useful as a reference, while the scientist in neighboring fields will find it useful in seriously acquainting himself with important ideas in programming methodology. The advanced student can also study it-either in a course or by himself -in order to learn significant material that may not appear in texts for some time. The second reason for this volume is to make public the nature and work on programming methodology of IFIP Working Group 2.3, hereafter called WG2.3. (IFIP stands for International Federation for Information Processing.) WG2.3 is one of many IFIP Working Groups that have been established to provide international forums for discussion of ideas in various areas. Generally, these groups publish proceedings of some of their meetings and occasionally they sponsor a larger conference that persons outside a group can attend. WG2.3 has been something of a maverick in this respect. From the beginning the group has shunned paperwork, reports, meetings, and the like. This has meant less publicity for IFIP and WG2.3, but on the other hand it has meant that meetings could be devoted almost wholly to scientific discussions. Moreover, meetings have not centered on formal presentation of completed, published material; instead, the emphasis has been on the presentation and discussion of research underway. Thus, members could receive their colleagues' constructive criticisms at a much earlier stage than usual. Many members feel that this mode of operation has furthered their own research endeavors, and have accordingly acknowledged WG2.3 in their publications. This volume, then, is the first formal "output" from WG2.3. It contains articles by members of the group that are deemed to be significant and ix
8 x PREFACE exemplary work of programming methodology and of WG2.3. Unfortunately, lack of space prohibits the incorporation of material by all members. Many have written important books, articles, and technical reports that simply could not be included. Each of the next five Parts consists of an Introduction and a series of articles devoted to one aspect or area of programming methodology. Part I contains a number of largely nontechnical articles, many of them based on lectures, which give thoughts, opinions, and viewpoints on various aspects of the field. This Part should give the reader a definite view of where the experts think programming has been and where it is or should be going. Parts II through V then cover four different areas of programming methodology in detail. These certainly do not define the complete field of programming methodology (which is nowhere defined), but they represent significant aspects of the subject. Part II contains articles on the use of correctness proofs in programming and the related topic of defining a programming language so as to facilitate proofs. Part II is the largest of the five Parts, reflecting the importance of the subject and the major role played by members of WG2.3 in its development. The articles in Part III attack the problem of harnessing parallelism so that it can be used effectively-particularly in operating systems. Part IV is devoted to the topic of (programmer-defined) data types and their use in programming. Finally, the articles in Part V deal with different aspects of creating large programs and/or systems of programs, and is entitled Software Development. Following Part V is a list of references, which is split into two sections. The first is a WG2.3 Bibliography-a list of publications relevant to programming methodology by members of WG2.3. Most of this was compiled by Sol J. Greenspan and Jim J. Horning (see [Horning 77b*]); the reader might wish to obtain this report, which contains annotations not included here. All the publications cited by articles in this volume are Ii,sted either in the WG2.3 Bibliography or in the second list of references following this bibliography, and all references within the text are to one of these lists. Examples will illustrate the nature of the text references: [Burstall 72b*] refers to the second (because of b) 1972 article by Burstall (Algebraic description of programs with assertions, verification, and simulation); the "*,, indicates that it is to be found in the WG2.3 Bibliography. The reference [Mills 72] refers to the 1972 article by Mills (Mathematical foundations of structured programming), which appears in the second list of references (no "*,, is present). In compiling this volume, I have had the help of many people. Mike Woodger, the first chairman of WG2.3, was influential in getting this project underway and constructed an initial list of potential articles. Jim Horning, the current chairman, continued to support the project and (along with Greenspan) provided most of the references in the WG2.3 Bibliography. I have had the advice and criticism of WG2.3 members and
9 PREFACE xi of Jim Donahue, Greg Andrews, and Manfred Paul both on my selection of articles and on my Introductions. Needless to say, however, I take full responsibility for any mistakes, for the selection and arrangement of the articles, and for the omission of many other excellent articles in order to keep the volume to a reasonable size. It should be mentioned that the volume would not have been possible without the dedicated and creative work of the authors of the articles. David Gries
10 Acknowledgments The editor, the authors, IFIP, and the publishers acknowledge with thanks permission to reprint the copyrighted articles in this book that have been published in various journals, proceedings, and books. With a few exceptions, the articles are reprinted from Acta Informatica, the Communications of the ACM, the Computer Bulletin, IEEE Trans. on Software Engineering, Lecture Notes in Computer Science (Springer-Verlag), books by Academic Press and Prentice-Hall, and the Proc. of the International Conference on Reliable Software. Below we give the individual credits. Brinch Hansen, P. Structured multiprogramming. By permission of the ACM, from CACM IS (July 1972), Brinch Hansen, P. The programming language Concurrent Pascal. By permission of the Institute of Electrical and Electronics Engineers, Inc., from IEEE Trans. Software Eng. 1 (June 1975), Buxton, J. N. Software engineering. By permission of the author, from Proc CERN School of Computing, CERN Rpt. No (Nov 1974), Dahl, O.-J. An approach to correctness proofs of semicoroutines. By permission of the author, from Math. Foundations of Computer Science. LNCS 28 (1975), Darlington, J. and Burstall, R. M. A system which automatically improves programs. By permission of Springer-Verlag, from Acta Informatica 6 (1976), Dijkstra, E. W. The humble programmer. By permission of the ACM, from CACM IS (Oct 1972), Dijkstra, E. W. Correctness concerns and, among other things, why they are resented. By permission of the author, from Proc. Int. Conf. on Reliable Software, S/GPLAN Notices 10 (June 1975), Dijkstra, E. W. Guarded commands, nondeterminacy, and formal derivation of programs. By permission of the ACM, from CACM 18 (Aug 1975), ; also appeared in Yeh, R. T. (ed.), Current Trends in Programming Methodology I. Prentice-Hall, 1976, Gries, D. On structured programming. By permission of the ACM, based on a letter to the editor by the author in CACM 17 (Nov 1974), Guttag, J. V. and Homing, J. J. The algebraic specification of abstract data types. By permission of Springer-Verlag, from Acta Informatica, to appear. xiii
11 xiv ACKNOWLEDGMENTS Hoare, C. A. R. An axiomatic basis for computer programming. By permission of the ACM, from CACM 12 (Oct 1969), ,583. Hoare, C. A. R. Proof of a progfam: FIND. By permission of the ACM, from CACM 14 (Jan 1971), Hoare, C. A. R. Towards a theory of parallel programming. By permission of Academic Press, from Hoare, C. A. R. and Perrott, R. N. (eds.), Operating Systems Techniques. Academic Press, Hoare, C. A. R. Proof of correctness of data representations. By permission of Springer-Verlag, from Acta Informatica 1 (1972), Hoare, C. A. R. Monitors: an operating system structuring concept. By permission of the ACM, from CACM 17 (Oct 1974), Hoare, C. A. R. The engineering of software: a startling contradiction. By permission of the British Computer Society, based on a note by the author in the Computer Bulletin (Dec 1975). Lehman, M. M. Programs, cities, students-limits to growth? By permission of the author, from Inaugural Lecture College Series, Vol. 9, , Owicki, S. and Gries, O. An axiomatic proof technique for parallel programs. By permission of Springer-Verlag, from Acta Informatica 6 (1976), Parnas, D. L. On a "buzzword": hierarchical structure. By permission of the author, from IFIP 1974, Parnas, D. L. On the design and development of program families. By permission of the Inst. of Electrical and Electronics Engineers, Inc., from IEEE Trans. Softwart: Eng. 1 (March 1976), 1-9. Randell, B. System structure for software fault tolerance. By permission of the Inst. of Electrical and Electronics Engineers, Inc., from IEEE Trans. Software Eng. 1 (April 1975), ; also appeared in Yeh, R. T. (ed.), Current Trends in Programming Methodology I. Prentice-Hall, 1976, Reynolds, J. C. Programming with transition diagrams. By permission of the author. Reynolds, J. C. User-defined types and procedural data structures as complementary approaches to data abstraction. By permission of the author, from Schuman, S. A. (ed.), New Directions in Algorithmic Languages 1975, Inst. de Recherche d'informatique et d'automatique, Rocquencourt, 1975, Ross, D. T. Structured analysis (SA): a language for communicating ideas. By permission of the Inst. of Electrical and Electronics Engineers, Inc., from IEEE Trans. Software Eng. 3 (Jan 1977), Turski, W. M. Software engineering-some principles and problems. By permission of the author, from Mathematical Structures-Computational Mathematics Mathematical Modelling. Publ. House of the Bulgarian Academy of Sciences, Sofia, 1975, Wirth, N. Program development by stepwise refinement. By permission of the ACM, from CACM 14 (April 1971),
Representations of Integers as Sums of Squares
Representations of Integers as Sums of Squares Emil Grosswald Representations of Integers as Sums of Squares Springer-Verlag New York Berlin Heidelberg Tokyo Emil Grosswald Temple University College of
More informationChess Skill in Man and Machine
Chess Skill in Man and Machine Chess Skill in Man and Machine Edited by Peter W. Frey With 104 Illustrations Springer-Verlag New York Berlin Heidelberg Tokyo Peter W. Frey Northwestern University CRESAP
More informationDesign of Logic Systems
Design of Logic Systems Design of Logic Systems Second edition D. Lewin Formerly Professor of Computer Science and Information Engineering, University of Sheffield D. Protheroe Lecturer in Electronic Engineering,
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 49 Interactive Systems Proceedings, 6th Informatik Symposium IBM Germany, Bad Homburg v. d. H., September 1976 Edited by A. Blaser and
More informationThe Test and Launch Control Technology for Launch Vehicles
The Test and Launch Control Technology for Launch Vehicles Zhengyu Song The Test and Launch Control Technology for Launch Vehicles 123 Zhengyu Song China Academy of Launch Vehicle Technology Beijing China
More informationSelected Distributed Computing Literature
Selected Distributed Computing Literature November 18, 2014 Here are some of the key books and papers about distributed computing that are related to the formal approach of the PRL group. Several of the
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 772 Advisory Board: W. Brauer D. Giles J. Stoer Brian C. Warboys (Ed.) Software Process Technology Third European Workshop, EWSPT '94
More informationThe Role of Systems Methodology in Social Science Research. Dedicated to my father, Ruggiero, and to the memory of my mother, Mary.
The Role of Systems Methodology in Social Science Research Dedicated to my father, Ruggiero, and to the memory of my mother, Mary. Frontiers in Systems Research: Implications for the social sciences Vol.
More informationJan de Witt s Elementa Curvarum Linearum Liber Secundus
Jan de Witt s Elementa Curvarum Linearum Liber Secundus For other titles published in this series, go to http://www.springer.com/series/4142 Sources and Studies in the History of Mathematics and Physical
More informationSynthetic Aperture Radar
Synthetic Aperture Radar J. Patrick Fitch Synthetic Aperture Radar C.S. Burrus, Consulting Editor With 93 Illustrations Springer-Verlag New York Berlin Heidelberg London Paris Tokyo J. Patrick Fitch Engineering
More informationElectronic Equipment Reliability
Electronic Equipment Reliability Other titles in Electrical and Electronic Engineering A. R. Daniels: Introduction to Electrical Machines W. Gosling: A First Course in Applied Electronics B. A. Gregory:
More informationRisk/Benefit Analysis in Water Resources Planning and Management
Risk/Benefit Analysis in Water Resources Planning and Management Risk/Benefit Analysis in Water Resources Planning and Management Edited by Yacov Y. Haimes Center for Large Scale Systems and Policy Analysis
More informationComputer Automation in Manufacturing
Computer Automation in Manufacturing Computer Automation in Manufacturing An introduction Thomas O. Boucher Department of Industrial Engineering Rutgers University Piscataway NJ USA SPRINGER-SCIENCE+BUSINESS
More informationCarrier Communication over Power Lines
Heinrich-Karl Podszeck Carrier Communication over Power Lines Fourth Revised Edition Springer-Verlag Berlin Heidelberg New York 1972 HEINRICH-KARL PODSZECK Chief Engineer of the Power Line Carrier Section
More informationArchitecture Design and Validation Methods
Architecture Design and Validation Methods Springer-Verlag Berlin Heidelberg GmbH Egon Börger (Ed.) Architecture Design and Validation Methods With 175 Figures, Springer Editor Prof. Dr. Egon Börger Universita
More informationSpringerBriefs in Space Development
SpringerBriefs in Space Development Guest Editor: Jinyuan Su More information about this series at http://www.springer.com/series/10058 Joseph N. Pelton New Solutions for the Space Debris Problem Joseph
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 284 A. KSndig R.E. BShrer J. D&hler (Eds.) Embedded Systems New Approaches to Their Formal Description and Design An Advanced Course
More informationINTERTEMPORAL PRODUCTION FRONTIERS: WITH DYNAMIC DEA
INTERTEMPORAL PRODUCTION FRONTIERS: WITH DYNAMIC DEA INTERTEMPORAL PRODUCTION FRONTIERS: WITH DYNAMIC DEA Rolf Fare and Shawna Grosskopf Southern Illinois University at Carbondale Carbondale, Illinois
More informationTHE TRANSFORMATION OF THE ENGLISH NOVEL,
THE TRANSFORMATION OF THE ENGLISH NOVEL, 1890-1930 By the same author DISRAELI'S FICTION CONRAD: 'ALMAYER'S FOLLY' TO 'UNDER WESTERN EYES' CONRAD: THE LATER FICTION THE HUMANISTIC HERITAGE: CRITICAL THEORIES
More informationData Assimilation: Tools for Modelling the Ocean in a Global Change Perspective
Data Assimilation: Tools for Modelling the Ocean in a Global Change Perspective NATO ASI Series Advanced Science Institutes Series A series presenting the results of activities sponsored by the NA TO Science
More informationLecture Notes in Control and Information Sciences
Lecture Notes in Control and Information Sciences Edited by A.V. Balakrishnan and M. Thoma 55 Ganti Prasada Rao Piecewise Constant Orthogonal Functions and Their Application to Systems and Control III
More informationGraduate Texts in Mathematics. Editorial Board. F. W. Gehring P. R. Halmos Managing Editor. c. C. Moore
Graduate Texts in Mathematics 49 Editorial Board F. W. Gehring P. R. Halmos Managing Editor c. C. Moore K. W. Gruenberg A.J. Weir Linear Geometry 2nd Edition Springer Science+Business Media, LLC K. W.
More informationHealth Information Technology Standards. Series Editor: Tim Benson
Health Information Technology Standards Series Editor: Tim Benson Tim Benson Principles of Health Interoperability HL7 and SNOMED Second Edition Tim Benson Abies Ltd Hermitage, Thatcham Berkshire UK ISBN
More informationComputer-Aided Production Management
Asbj0rn Rolstadas (Ed.) Computer-Aided Production Management With 169 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Professor Dr. Asbjern Ro1stadas Production Engineering Laboratory
More informationArchitectures for Enterprise Integration
Architectures for Enterprise Integration Architectures for Enterprise Integration Edited by Peter Bernus Griffith University Queensland Australia Laszlo Nemes CS/RO Victoria Australia and Theodore.J. Williams
More informationHYBRID NEURAL NETWORK AND EXPERT SYSTEMS
HYBRID NEURAL NETWORK AND EXPERT SYSTEMS HYBRID NEURAL NETWORK AND EXPERT SYSTEMS by Larry R. Medsker Department of Computer Science and Information Systems The American University... " Springer Science+Business
More informationThe Scientist as Consultant BUILDING NEW CAREER OPPORTUNITIES
The Scientist as Consultant BUILDING NEW CAREER OPPORTUNITIES The Scientist as Consultant BUILDING NEW CAREER OPPORTUNITIES CARL J. SINDERMANN and THOMAS 1(. SAWYER SPRINGER SCIENCE+ BUSINESS MEDIA, LLC
More informationCOOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, May 2016, Trento, Italy
Antonella De Angeli Liam Bannon Patrizia Marti Silvia Bordin Editors COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy COOP
More informationSTUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE
STUDY ON FIREWALL APPROACH FOR THE REGRESSION TESTING OF OBJECT-ORIENTED SOFTWARE TAWDE SANTOSH SAHEBRAO DEPT. OF COMPUTER SCIENCE CMJ UNIVERSITY, SHILLONG, MEGHALAYA ABSTRACT Adherence to a defined process
More informationNO MORE MUDDLING THROUGH
NO MORE MUDDLING THROUGH No More Muddling Through Mastering Complex Projects in Engineering and Management by RAINER ZÜST Zürich, Switzerland and PETER TROXLER Rotterdam, The Netherlands A C.I.P. Catalogue
More informationAdvanced Electronic Circuits
U. Tietze Ch. Schenk Advanced Electronic Circuits Wi th the Assistance of E. Schmid With 570 Figures Springer-Verlag Berlin Heidelberg New York 1978 Dr.-Ing. Ulrich Tietze Dr.-Ing. Christoph Schenk Universitat
More informationLecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
Lecture Notes in Computer Science 2500 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Erich Grädel Wolfgang Thomas Thomas
More informationRubber Processing and Production Organization
Rubber Processing and Production Organization Rubber Processing and Production Organization Philip K. Freakley Institute of Polymer Technology Loughborough University of Technology Loughborough, United
More informationThe Relations between Defence and Civil Technologies
The Relations between Defence and Civil Technologies NATO ASI Series Advanced Science Institutes Series A Series presenting the results of activities sponsored by the NATO Science Committee. which aims
More informationDistributed Detection and Data Fusion
Distributed Detection and Data Fusion Springer Science+ Business Media, LLC Signal Processing and Data Fusion Synthetic Aperture Radar J.P. Fitch Multiplicative Complexity, Convolution and the DFT MT.
More informationCurrent Technologies in Vehicular Communications
Current Technologies in Vehicular Communications George Dimitrakopoulos George Bravos Current Technologies in Vehicular Communications George Dimitrakopoulos Department of Informatics and Telematics Harokopio
More informationPrinciples of Data Security
Principles of Data Security FOUNDATIONS OF COMPUTER SCIENCE Series Editor: Raymond E. Miller Georgia Institute oj Technology PRINCIPLES OF DATA SECURITY Ernst L. Leiss Principles of Data Security Ernst
More informationLecture Notes in Artificial Intelligence. Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence 897 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and
More informationApplication of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems M.C. Bhuvaneswari Editor Application of Evolutionary Algorithms for Multi-objective Optimization in
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1007 Advisory Board: W. Brauer D. Gries J. Stoer Antoon Bosselaers Bart Preneel (Eds.) Integrity Primitives for Secure
More informationDry Etching Technology for Semiconductors. Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi
Dry Etching Technology for Semiconductors Translation supervised by Kazuo Nojiri Translation by Yuki Ikezi Kazuo Nojiri Dry Etching Technology for Semiconductors Kazuo Nojiri Lam Research Co., Ltd. Tokyo,
More informationPower Electronics Semiconductor Switches
Power Electronics Semiconductor Switches Power Electronics Semiconductor Switches R.S. Ramshaw Department of Electrical and Computer Engineering University of Waterloo Ontario Canada SPRINGER-SCIENCE+BUSINESS
More informationComputational Intelligence for Network Structure Analytics
Computational Intelligence for Network Structure Analytics Maoguo Gong Qing Cai Lijia Ma Shanfeng Wang Yu Lei Computational Intelligence for Network Structure Analytics 123 Maoguo Gong Xidian University
More informationLecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science 1528 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Bart Preneel Vincent Rijmen
More informationLecture Notes in Computer Science
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 968 Advisory Board: W. Brauer D. Gries J. Stoer Nachum Dershowitz Naomi Lindenstrauss (Eds.) Conditional and Typed Rewriting
More informationStudies in Systems, Decision and Control
Studies in Systems, Decision and Control Volume 159 Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: kacprzyk@ibspan.waw.pl The series Studies in Systems, Decision and
More informationAdvances in Computer Vision and Pattern Recognition
Advances in Computer Vision and Pattern Recognition For further volumes: http://www.springer.com/series/4205 Marco Alexander Treiber Optimization for Computer Vision An Introduction to Core Concepts and
More informationPuBLic UTILITY EcoNoMics
PuBLic UTILITY EcoNoMics Public Utility Economics Michael A. Crew and Paul R. Kleindorfer M Michael A. Crew and Paul R. Kleindorfer 1979 Softcover reprint of the hardcover 1st edition 1979 All rights reserved.
More informationRule-Based Expert Systems
Rule-Based Expert Systems The Addison-Wesley Series in Artificial Intelligence Buchanan and Shortliffe (eds.): Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project.
More informationROBERT HOOKE'S CONTRIBUTION S TO MECHANICS
ROBERT HOOKE'S CONTRIBUTION S TO MECHANICS ROBERT HOOKE'S CONTRIBUTIONS TO MECHANICS A STUDY IN SEVENTEENTH CENTUR Y NATURAL PHILOSOPHY by F. F. CENTORE, PH. D. U. Springer-Science+Business Media, B.V.
More informationSelf-Complementary Antennas. Principle of Self-Complementarity for Constant Impedance
Self-Complementary Antennas Principle of Self-Complementarity for Constant Impedance Yasuto Mushiake Self Complementary Antennas Principle of Self-Complementarity for Constant Impedance With 93 Figures,
More informationLecture Notes in Computer Science. Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer
Lecture Notes in Computer Science 502 Edited by G. Goos and J. Hartmanis Advisory Board: W. Brauer D. Gries J. Stoer g J. Bfirzdin.g D. BjCrner (Eds.) Baltic Computer Science Selected Papers Springer-Verlag
More informationLecture Notes in Control and Information Sciences 233. Editor: M. Thoma
Lecture Notes in Control and Information Sciences 233 Editor: M. Thoma Pasquale Chiacchio and Stefano Chiaverini (Eds) Complex Robotic Systems ~ Springer Series Advisory Board A. Bensoussan M.J. Grimble
More informationA Practical Guide to Frozen Section Technique
A Practical Guide to Frozen Section Technique Editor A Practical Guide to Frozen Section Technique Editor University of Medicine and Dentistry of New Jersey New Jersey Medical School Newark, NJ USA petepath@yahoo.com
More informationPROCEEDINGS OF SYMPOSIA IN APPLIED MATHEMATICS
http://dx.doi.org/10.1090/psapm/026 PROCEEDINGS OF SYMPOSIA IN APPLIED MATHEMATICS VOLUME 1 VOLUME 2 VOLUME 3 VOLUME 4 VOLUME 5 VOLUME 6 VOLUME 7 VOLUME 8 VOLUME 9 VOLUME 10 VOLUME 11 VOLUME 12 VOLUME
More informationCost Analysis and Estimating
Roland Kankey Editors Jane Robbins Cost Analysis and Estimating Shifting U.S. Priorities With 34 Figures Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona Roland Kankey
More informationCONTENTS PREFACE. Part One THE DESIGN PROCESS: PROPERTIES, PARADIGMS AND THE EVOLUTIONARY STRUCTURE
Copyrighted Material Dan Braha and Oded Maimon, A Mathematical Theory of Design: Foundations, Algorithms, and Applications, Springer, 1998, 708 p., Hardcover, ISBN: 0-7923-5079-0. PREFACE Part One THE
More informationacoustic imaging cameras, microscopes, phased arrays, and holographic systems
acoustic imaging cameras, microscopes, phased arrays, and holographic systems acoustic imaging cameras, microscopes, phased arrays, and holographic systems Edited by Glen Wade University of California
More informationDEVELOPMENTS IN INJECTION MOULDING-3
DEVELOPMENTS IN INJECTION MOULDING-3 CONTENTS OF VOLUMES 1 and 2 Volume 1 Edited by A. Whelan and J. L. Craft 1. Digital Hydraulics. H. BLUML 2. Clamping Systems. R. A. IRELAND 3. Mould Design and Manufacture.
More informationComputer Chess Compendium
Computer Chess Compendium To Alastair and Katherine David Levy, Editor Computer Chess Compendium Springer Science+Business Media, LLC First published 1988 David Levy 1988 Originally published by Springer-Verlag
More informationANALOG INTEGRATED CIRCUITS FOR COMMUNICATION Principles, Simulation and Design
ANALOG INTEGRATED CIRCUITS FOR COMMUNICATION Principles, Simulation and Design ANALOG INTEGRATED CIRCUITS FOR COMMUNICATION Principles, Simulation and Design by Donald 0. Pederson University of California
More informationSpecial Collections NELSON, HARRY L., 1932-
Mathematics Archives - Harry L. Nelson Special Collections NELSON, HARRY L., 1932- Harry L. Nelson fonds. 1960-1986. 1.4 m of textual records. Computer programmer, mathematician and editor Harry L. Nelson
More informationPerspectives on Development and Population Growth in the Third World
Perspectives on Development and Population Growth in the Third World Perspectives on Development and Population Growth in the Third World Ozzie G. Simmons Fordham University The Bronx, New York PLENUM
More informationAdvances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search
Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search OPERATIONS RESEARCH/COMPUTER SCIENCE INTERFACES SERIES Ramesh Sharda, Series Editor ConocolDuPont Chair of
More informationFORMAL METHODS AND MODELS FOR SYSTEM DESIGN
FORMAL METHODS AND MODELS FOR SYSTEM DESIGN Formal Methods and Models for System Design A System Level Perspective Edited by Rajesh Gupta University 0/ California at San Diego Paul Le Guernic INRIA-IRISA
More informationModeling Manufacturing Systems. From Aggregate Planning to Real-Time Control
Modeling Manufacturing Systems From Aggregate Planning to Real-Time Control Springer-Verlag Berlin Heidelberg GmbH Paolo Brandimarte. Agostino Villa (Eds.) Modeling Manufacturing Systems From Aggregate
More informationThe New Strategic Landscape
The New Strategic Landscape This page intentionally left blank The New Strategic Landscape Innovative Perspectives on Strategy Julie Verity Julie Verity 2012 All remaining chapters respective authors Softcover
More informationFundamentals of Digital Forensics
Fundamentals of Digital Forensics Joakim Kävrestad Fundamentals of Digital Forensics Theory, Methods, and Real-Life Applications 123 Joakim Kävrestad School of Informatics University of Skövde Skövde,
More informationLEARNING, INNOVATION AND URBAN EVOLUTION
LEARNING, INNOVATION AND URBAN EVOLUTION LEARNING,INNOVATION ANO URBAN EVOLUTION edited by David F. Batten Cristoforo S. Bertuglia Dino Martellato Sylvie Occelli " ~. Springer Science+Business Media, LLC
More informationThe International Politics of the Armenian-Azerbaijani Conflict
The International Politics of the Armenian-Azerbaijani Conflict Editor The International Politics of the Armenian-Azerbaijani Conflict The Original Frozen Conflict and European Security Editor Central
More informationTesting Safety-Related Software
Testing Safety-Related Software Springer London Berlin Heidelberg New York Barcelona Hong Kong Milan Paris Santa Clara Singapore Tokyo Stewart Gardiner (Ed.) Testing Safety-Related Software A Practical
More informationInternational Entrepreneurship
International Entrepreneurship International Entrepreneurship Theoretical Foundations and Practices Antonella Zucchella and Paolo Scabini Antonella Zucchella and Paolo Scabini 2007 Softcover reprint of
More informationLearn Autodesk Inventor 2018 Basics
Learn Autodesk Inventor 2018 Basics 3D Modeling, 2D Graphics, and Assembly Design T. Kishore Learn Autodesk Inventor 2018 Basics T. Kishore Hyderabad, India ISBN-13 (pbk): 978-1-4842-3224-8 ISBN-13 (electronic):
More informationFounding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK
History of Computing Founding Editor Martin Campbell-Kelly, University of Warwick, Coventry, UK Series Editor Gerard Alberts, University of Amsterdam, Amsterdam, The Netherlands Advisory Board Jack Copeland,
More informationSpringerBriefs in Applied Sciences and Technology
SpringerBriefs in Applied Sciences and Technology SpringerBriefs present concise summaries of cutting-edge research and practical applications across a wide spectrum of fields. Featuring compact volumes
More informationAdvanced Information and Knowledge Processing
Advanced Information and Knowledge Processing Series editors Lakhmi C. Jain Bournemouth University, Poole, UK and University of South Australia, Adelaide, Australia Xindong Wu University of Vermont Information
More informationProduct Development Strategy
Product Development Strategy Product Development Strategy Innovation Capacity and Entrepreneurial Firm Performance in High-Tech SMEs Mina Tajvidi Bangor Business School, Bangor University, UK and Azhdar
More informationModelling Non-Stationary Time Series
Modelling Non-Stationary Time Series Palgrave Texts in Econometrics Series Editor: Kerry Patterson Titles include: Simon P. Burke and John Hunter MODELLING NON-STATIONARY TIME SERIES Michael P. Clements
More informationANALOG CMOS FILTERS FOR VERY HIGH FREQUENCIES
ANALOG CMOS FILTERS FOR VERY HIGH FREQUENCIES THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE ANALOG CIRCUITS AND SIGNAL PROCESSING Consulting Editor Mohammed Ismail Ohio State University
More informationHandbook of Engineering Acoustics
Handbook of Engineering Acoustics . Gerhard M uller Michael M oser Editors Handbook of Engineering Acoustics Editors Prof. Dr. Gerhard M uller Technische Universit at M unchen Lehrstuhl f ur Baumechanik
More informationSergey Ablameyko and Tony Pridmore. Machine Interpretation of Line Drawing Images. Technical Drawings, Maps and Diagrams.
Sergey Ablameyko and Tony Pridmore Machine Interpretation of Line Drawing Images Technical Drawings, Maps and Diagrams i Springer Sergey Ablameyko, PhD, DSc, Prof, FlEE, FIAPR, SMIEEE Institute of Engineering
More informationLecture Notes in Control and Information Sciences 188. Editors: M. Thoma and W. Wyner
Lecture Notes in Control and Information Sciences 188 Editors: M. Thoma and W. Wyner D. Subbaram Naidu Aeroassisted Orbital Transfer Guidance and Control Strategies Springer-Verlag London Berlin Heidelberg
More informationIowa State University Library Collection Development Policy Computer Science
Iowa State University Library Collection Development Policy Computer Science I. General Purpose II. History The collection supports the faculty and students of the Department of Computer Science in their
More informationAlso by Craig Batty Media Writing: A Practical Introduction (with S. Cain, 2010)
Movies That Move Us Also by Craig Batty Media Writing: A Practical Introduction (with S. Cain, 2010) Writing for the Screen: Creative and Critical Approaches (with Z. Waldeback, 2008) Movies That Move
More informationIntroduction to Computational Optimization Models for Production Planning in a Supply Chain
Introduction to Computational Optimization Models for Production Planning in a Supply Chain Stefan Voß David L.Woodruff Introduction to Computational Optimization Models for Production Planning in a Supply
More informationMETHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS
METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS with Case Studies by Marc Pastre Ecole Polytechnique Fédérale
More informationIntelligent Control Systems with LabVIEW
Intelligent Control Systems with LabVIEW Pedro Ponce-Cruz Fernando D. Ramírez-Figueroa Intelligent Control Systems with LabVIEW 123 Pedro Ponce-Cruz, Dr.-Ing. Fernando D. Ramírez-Figueroa, Research Assistant
More informationSTRATEGY FOR R&D: Studies in the Microeconomics of Development
STRATEGY FOR R&D: Studies in the Microeconomics of Development Okonometrie und Unternehmensforschung Econometrics and Operations Research VIII Herausgegeben von I Edited by M. Beckmann, Bonn R. Henn, Gottingen
More informationKnowledge-B ased Process Planning for Construction and Manufacturing
Knowledge-B ased Process Planning for Construction and Manufacturing Carlos Zozaya-Gorostiza Chris Hendrickson Daniel R. Rehak Department of Civil Engineering and Engineering Design Research Center Carnegie
More informationReinterpreting Revolutionary Russia
Reinterpreting Revolutionary Russia Also by Ian D. Thatcher ALEC NOVE ON ECONOMIC THEORY ALEC NOVE ON COMMUNIST AND POSTCOMMUNIST COUNTRIES LATE IMPERIAL RUSSIA: PROBLEMS AND PROSPECTS * LEON TROTSKY AND
More informationAn Introduction to Acoustical Holography
An Introduction to Acoustical Holography An Introduction to Acoustical Holography B. P. Hildebrand BatteUe Memorlaiinstitute Paelfle Northwest Laboratories Rlehland, Washington and B. B. Brenden Holosonies,
More informationThe Making of a Digital World
The Making of a Digital World Evolutionary Processes in World Politics Series Series editor: William R. Thompson, Indiana University The Historical Evolution of World-Systems, edited by Christopher Chase-Dunn
More informationThe Efficient Market Hypothesists
The Efficient Market Hypothesists Great Minds in Finance Series Editor: Professor Colin Read This series explores the lives and times, theories and applications of those who have contributed most significantly
More informationADVANCED POWER RECTIFIER CONCEPTS
ADVANCED POWER RECTIFIER CONCEPTS B. Jayant Baliga ADVANCED POWER RECTIFIER CONCEPTS B. Jayant Baliga Power Semiconductor Research Center North Carolina State University Raleigh, NC 27695-7924, USA bjbaliga@unity.ncsu.edu
More informationMicroprocessor-Based Control Systems
Microprocessor-Based Control Systems International Series on MICROPROCESSOR-BASED SYSTEMS ENGINEERING Editor Professor S. G. TZAFEST AS, National Technical University, Athens, Greece Editorial Advisory
More informationLecture Notes in Computer Science. Edited by G. Goos, J. Hartmanis and J. van Leeuwen
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1487 Volker Gruhn (Ed.) Software Process Technology 6th European Workshop, EWSPT '98 Weybridge, UK, September 16-18,
More informationHandbook of MODERN GRINDING TECHNOLOGY
Handbook of MODERN GRINDING TECHNOLOGY OTHER OUTSTANDING VOLUMES IN THE CHAPMAN AND HALL ADVANCED INDUSTRIAL TECHNOLOGY SERIES V. Daniel Hunt: SMART ROBOTS: A Handbook of Intelligent Robotic Systems David
More informationPERSPECTIVES OF OIL AND GAS: THE ROAD TO INTERDEPENDENCE
PERSPECTIVES OF OIL AND GAS: THE ROAD TO INTERDEPENDENCE Perspectives of Oil and Gas: The Road to Interdependence by Marcello Colitti with Claudio Simeoni Fondazione Eni Enrico Mattei, Milan, Italy...
More informationMICROSCOPE PHOTOMETRY
Horst Piller MICROSCOPE PHOTOMETRY With 79 Figures Springer-Verlag Berlin Heidelberg New York 1977 DR. HORST PILLER C/O Carl Zeiss Postfach 35/36 D-7082 Oberkochen ISBN-13: 978-3-642-66572-1 DOI:IO.10071
More informationFundamentals. Collected Papers by DAVID L PARNAS. Edited by Daniel M. Hoffman David M. Weiss ADDISON-WESLEY
So f t w a r e Fundamentals Collected Papers by DAVID L PARNAS Edited by Daniel M. Hoffman David M. Weiss TT ADDISON-WESLEY An imprint of Addison Wesley Longman, Inc. Boston San Francisco New York Toronto
More information