Format:
Online-Ressource (VI, 569p)
,
online resource
Edition:
Springer eBook Collection. Computer Science
ISBN:
9783642483547
Content:
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.
Note:
Sequentielle FormelübersetzungVerfahren 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.
Additional Edition:
ISBN 9783540422907
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783540422907
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783642483554
Language:
English
DOI:
10.1007/978-3-642-48354-7
URL:
Volltext
(lizenzpflichtig)
