Book 2001

Pioneers and Their Contributions to Software Engineering

sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Editors:

ISBN: 978-3-540-42290-7 (Print) 978-3-642-48354-7 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages I-VI

  2. No Access

    Chapter

    Pages 1-27

    Sequentielle Formelübersetzung

  3. No Access

    Chapter

    Pages 29-40

    Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschine zur Ausübung des Verfahrens

  4. No Access

    Chapter

    Pages 41-59

    Organization and Maintenance of Large Ordered Indexes

  5. No Access

    Chapter

    Pages 61-98

    A Relational Model of Data for Large Shared Data Banks

  6. No Access

    Chapter

    Pages 99-150

    Software Engineering Economics

  7. No Access

    Chapter

    Pages 151-203

    The Functional Structure of OS/360

  8. No Access

    Chapter

    Pages 205-234

    The Entity Relationship Model — Toward a Unified View of Data

  9. No Access

    Chapter

    Pages 235-253

    Class and Subclass Declarations

  10. No Access

    Chapter

    Pages 255-288

    Structure Analysis and System Specification

  11. No Access

    Chapter

    Pages 289-294

    Solution of a Problem in Concurrent Programming Control

  12. No Access

    Chapter

    Pages 295-295

    Letters to the Editor

  13. No Access

    Chapter

    Pages 297-300

    Go To Statement Considered Harmful

  14. No Access

    Chapter

    Pages 301-334

    Design and Code Inspections to Reduce Errors in Program Development

  15. No Access

    Chapter

    Pages 335-360

    Advances in Software Inspections

  16. No Access

    Chapter

    Pages 361-388

    Design Patterns: Abstraction and Reuse of Object-Oriented Design

  17. No Access

    Chapter

    Pages 389-418

    Abstract Data Types and the Development of Data Structures

  18. No Access

    Chapter

    Pages 419-438

    An Axiomatic Basis for Computer Programming

  19. No Access

    Chapter

    Pages 439-451

    Proof of Correctness of Data Representations

  20. No Access

    Chapter

    Pages 453-478

    Constructive Methods of Program Design

  21. No Access

    Chapter

    Pages 479-498

    On the Criteria to Be Used in Decomposing Systems into Modules

previous Page of 2