Wollte auch hier auf den nächsten Vortrag hinweisen.
Bereits 1988 hat Bertrand Meyer, einer der Pioniere auf dem Gebiet der Objekt-Orientierten Programmierung, in seinem Buch „Object-Oriented Software Construction“ Design By Contract (DbC) vorgestellt. Doch was genau ist DbC und nutzen wir dieses Prinzip bereits in unseren alltäglichen Programmierarbeiten effizient?
In diesem Vortrag sehen wir uns die wesentlichen Elemente von DbC (Assertions, Pre-Conditions, Post-Conditions und Class Invariants) im Detail an und überprüfen, wie wir mit ihnen die Korrektheit unsereres Codes verifizieren können und inwieweit DbC mit der Objekt-Orientierten Programmierung und anderen O-O Design Prinzipien im Zusammenhang steht. Weiterhin werfen wir einen Blick auf Code Contracts von Microsoft, mit denen man DbC in der eigenen Codebasis umsetzen kann, und besprechen alternative Ansätze zu diesem Framework.
Wird sicher interessant! Beginn ist 18:00 Uhr.
Bitte in den Doodle eintragen: http://doodle.com/poll/pteaiu7a9hbfw7w7
Letztes Mal hat 18:00 Uhr ganz gut funktioniert, weshalb wir diese Zeit wieder ausgewählt haben.
Wollte auch hier auf den nächsten Vortrag hinweisen.
Bereits 1988 hat Bertrand Meyer, einer der Pioniere auf dem Gebiet der Objekt-Orientierten Programmierung, in seinem Buch „Object-Oriented Software Construction“ Design By Contract (DbC) vorgestellt. Doch was genau ist DbC und nutzen wir dieses Prinzip bereits in unseren alltäglichen Programmierarbeiten effizient?
In diesem Vortrag sehen wir uns die wesentlichen Elemente von DbC (Assertions, Pre-Conditions, Post-Conditions und Class Invariants) im Detail an und überprüfen, wie wir mit ihnen die Korrektheit unsereres Codes verifizieren können und inwieweit DbC mit der Objekt-Orientierten Programmierung und anderen O-O Design Prinzipien im Zusammenhang steht. Weiterhin werfen wir einen Blick auf Code Contracts von Microsoft, mit denen man DbC in der eigenen Codebasis umsetzen kann, und besprechen alternative Ansätze zu diesem Framework.
Wird sicher interessant! Beginn ist 18:00 Uhr.
Bitte in den Doodle eintragen: http://doodle.com/poll/pteaiu7a9hbfw7w7 Letztes Mal hat 18:00 Uhr ganz gut funktioniert, weshalb wir diese Zeit wieder ausgewählt haben.