Pioneers and Their Contributions to Software Engineering Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Manfred Broy • Ernst Denert (Eds.) Pioneers and Their Contributions to Software Engineering sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions Springer Editors Manfred Broy Institut für Informatik Technische Universität München 80290 München, Germany [email protected] Ernst Denert sd&mAG software design & management Postfach 83 08 51 81708 München, Germany Sonderausgabe Buch nicht im Handel erhältlich. ISBN 978-3-540-42290-7 ISBN 978-3-642-48354-7 (eBook) DOI 10.1007/978-3-642-48354-7 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member ofBertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2001 The use of general descriptive names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by the authors Printed on acid-free paper SPIN 10844024 - 06/3142SR - 5432 1 0 Table of Contents Friedrich L. Bauer K. Samelson, F.L. Bauer Sequentielle Formeliibersetzung .................................................................................... 3 Friedrich L. Bauer Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschinen zur Ausiibung des Verfahrens ....................................................................................... 31 Rudolf Bayer R. Bayer, E. McCreight Organization and Maintenance of Large Ordered Indexes ........................................ 43 E.F. Codd A Relational Model of Data for Large Shared Data Banks ......................................... 63 Barry Boehm Software Engineering Economics .............................................................................. 101 Fred Brooks G.H. Mealy, B.I. Witt, W.A. Clark The Functional Structure of OS/360 .......................................................................... 153 Peter Chen The Entity Relationship Model - Toward a Unified View of Data ........................... 207 Ole-Johan Dahl Ole-Johan Dahl, Kristen Nygaard Class and Subclass Declarations ................................................................................. 237 Tom DeMarco Structure Analysis and System Specification ............................................................ 257 Edsger Dijkstra Solution of a Problem in Concurrent Programming Control .................................. 291 Go To Statement Considered Harmful ....................................................................... 297 Michael Fagan Design and Code Inspections to Reduce Errors in Program Development ........... 303 Advances in Software Inspections .............................................................................. 337 VI Erich Gamma Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides Design Patterns: Abstraction and Reuse of Object-Oriented Design ..................... 363 .k»hn Guttag Abstract Data Types and the Development of Data Structures ............................... 391 C.A.R. Hoa re An Axiomatic Basis for Computer Programming ..................................................... 421 Proofof Correctness of Data Representations .......................................................... 441 Michael Jackson Constructive Methods of Program Design ................................................................ 455 David L. Parnas On the Criteria to Be Used in Decomposing Systems into Modules ....................... 481 On a 'Buzzword': Hierarchical Structure ................................................................... 501 Niklaus Wirth The Programming Language Pascal ........................................................................... 517 Program Development by Stepwise Refinement ....................................................... 547 .