Lehrveranstaltungen
Pioniere des Software Engineering
Hauptseminar (WS 11) - LiteraturThemenvorschläge
Axiomatische Semantik, Contracts, Eiffel:
Charles Antony Richard Hoare, Bertrand Meyer
"An Axiomatic Basis for Computer Programming"
"Proof of Correctness of Data Representations"
"Design by Contract"
"Eiffel: A language and environment for software engineering." Modularisierung, Pascal/Modula:
David Parnas, Niklaus Wirth
"On the Criteria to Be Used in Decomposing Systems into Modules"
"Program Development by Stepwise Refinement"
"The Programming Language Pascal" Grundlagen Objektorientierte Programmierung, Smalltalk/Self:
Ole-Johan Dahl, David Ungar
"Class and Subclass Declarations"
"Self: The power of simplicity" Structured Analysis:
Tom DeMarco
"Structure Analysis and System Specification" Software Economics, Spiral Model:
Barry Boehm
"Software Engineering Economics" Algebraic Data Types, Entity Relationship Model:
John Guttag, Peter Chen
"Abstract Data Types and the Development of Data Structures"
"The Entity Relationship Model - Toward a Unified View of Data" Multi-dimensional Concerns:
Tarr and Ossher
"N degrees of separation: multi-dimensional separation of concerns"
"Using multidimensional separation of concerns to (re)shape evolving software." Software Evolution and Lifecycle:
Meir M. Lehmann
"Laws of Software Evolution Revisited"
"On understanding laws, evolution, and conservation in the large-program life cycle."
Charles Antony Richard Hoare, Bertrand Meyer
"An Axiomatic Basis for Computer Programming"
"Proof of Correctness of Data Representations"
"Design by Contract"
"Eiffel: A language and environment for software engineering." Modularisierung, Pascal/Modula:
David Parnas, Niklaus Wirth
"On the Criteria to Be Used in Decomposing Systems into Modules"
"Program Development by Stepwise Refinement"
"The Programming Language Pascal" Grundlagen Objektorientierte Programmierung, Smalltalk/Self:
Ole-Johan Dahl, David Ungar
"Class and Subclass Declarations"
"Self: The power of simplicity" Structured Analysis:
Tom DeMarco
"Structure Analysis and System Specification" Software Economics, Spiral Model:
Barry Boehm
"Software Engineering Economics" Algebraic Data Types, Entity Relationship Model:
John Guttag, Peter Chen
"Abstract Data Types and the Development of Data Structures"
"The Entity Relationship Model - Toward a Unified View of Data" Multi-dimensional Concerns:
Tarr and Ossher
"N degrees of separation: multi-dimensional separation of concerns"
"Using multidimensional separation of concerns to (re)shape evolving software." Software Evolution and Lifecycle:
Meir M. Lehmann
"Laws of Software Evolution Revisited"
"On understanding laws, evolution, and conservation in the large-program life cycle."