Pioneers and Their Contributions to Software Engineering [electronic resource] : sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions /
Sequentielle Formelübersetzung -- Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschinen zur Ausübung des Verfahrens -- Organization and Maintenance of Large Ordered Indexes -- A Relational Model of Data for Large Shared Data Banks -- Software Engineering Economics -- The Functional Structure of OS/360 -- The Entity Relationship Model — Toward a Unified View of Data -- Class and Subclass Declarations -- Structure Analysis and System Specification -- Solution of a Problem in Concurrent Programming Control -- Go To Statement Considered Harmful -- Design and Code Inspections to Reduce Errors in Program Development -- Advances in Software Inspections -- Design Patterns: Abstraction and Reuse of Object-Oriented Design -- Abstract Data Types and the Development of Data Structures -- An Axiomatic Basis for Computer Programming -- Proof of Correctness of Data Representations -- Constructive Methods of Program Design -- On the Criteria to Be Used in Decomposing Systems into Modules -- On a‘Buzzword’: Hierarchical Structure -- The Programming Language Pascal -- Program Development by Stepwise Refinement.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2001
|
Subjects: | Computer science., Software engineering., Computer Science., Software Engineering/Programming and Operating Systems., |
Online Access: | http://dx.doi.org/10.1007/978-3-642-48354-7 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | Sequentielle Formelübersetzung -- Verfahren zur automatischen Verarbeitung von kodierten Daten und Rechenmaschinen zur Ausübung des Verfahrens -- Organization and Maintenance of Large Ordered Indexes -- A Relational Model of Data for Large Shared Data Banks -- Software Engineering Economics -- The Functional Structure of OS/360 -- The Entity Relationship Model — Toward a Unified View of Data -- Class and Subclass Declarations -- Structure Analysis and System Specification -- Solution of a Problem in Concurrent Programming Control -- Go To Statement Considered Harmful -- Design and Code Inspections to Reduce Errors in Program Development -- Advances in Software Inspections -- Design Patterns: Abstraction and Reuse of Object-Oriented Design -- Abstract Data Types and the Development of Data Structures -- An Axiomatic Basis for Computer Programming -- Proof of Correctness of Data Representations -- Constructive Methods of Program Design -- On the Criteria to Be Used in Decomposing Systems into Modules -- On a‘Buzzword’: Hierarchical Structure -- The Programming Language Pascal -- Program Development by Stepwise Refinement. |
---|