Liebe CHOOSE Freunde,

 

SWEN freut sich, Sie zum nächsten interessanten "SWEN Talk" über .Net Contracts, die in der Zwischenzeit als zusätzliche Erweiterung für .Net für die praktische Anwendung zur Verfügung stehen, einladen zu können:

 

============================================================================

                            Contracts Reloaded

                   Referent: Peter Müller, ETHZ

============================================================================

 

Abstract:

Contracts ermöglichen es Programmierern, das Design ihrer Programme mit Vor- und Nachbedingungen für Methoden, Objektinvarianten und anderen Zusicherungen zu spezifizieren. Die Idee des „Design by Contract“ ist bereits 25 Jahre alt, aber erst jetzt ermöglichen neue Forschungsergebnisse das Potenzial dieser Idee voll auszuschöpfen. Es ist nun möglich, aus Contracts automatisch umfangreiche Test Suites zu generieren, und statische Programmanalysen entdecken viele Programmierfehler bereits zur Übersetzungszeit. Dadurch ermöglichen Contracts eine effiziente und effektive Qualitätssicherung. Dieser Vortrag gibt einen Überblick über jüngste Entwicklungen im Bereich der automatischen Testfallerzeugung und der statischen Programmanalyse, insbesondere mit .NET Code Contracts.

 

Referent:

Peter Müller ist Professor und Inhaber des Lehrstuhls für Programmiermethodik an der ETH Zürich. Seine Forschung beschäftigt sich mit Programmiersprachen, Techniken und Werkzeugen für die Entwicklung korrekter Software. Vor seinem Ruf an die ETH Zürich war er tätig als Researcher bei Microsoft Research in Redmond, als Assistenzprofessor an der ETH Zürich und als Projektleiter bei der Deutschen Bank in Frankfurt. Sein Doktorat erhielt er an der Fernuniversität Hagen.

 

Ort:

Hochschule für Technik Zürich, Lagerstrasse 41, 8021 Zürich, Raum: 226 (2. Stock)
http://www.hsz-t.ch/hsz-t/hszt-site/ueber_uns/standorte/hszt-standort-lagerstr.gif(5' vom HB Zürich)


Datum / Zeit:

Dienstag, 15. November, 2011 / 17.30 Uhr bis ca. 19:00 Uhr.

 

Die Teilnahme ist kostenlos, auch der anschliessende Apero

 

Um Anmeldung unter Angabe Ihrer vollständigen Adresse an mailto:info@swen-network.ch wird gebeten; Weitere Angaben finden Sie auch auf der SWEN Web Seite www.swen-network.ch unter Events.

 

Wir freuen uns auf Ihr Erscheinen!

 

 

Mit freundlichen Grüssen

 

Im Namen des SWEN Vorstands

Martin Kropp

 

 

SWEN - Software Engineering Network

http://www.swen-network.ch

 

PS.  Sie dürfen dieses Mail auch gerne an Interessierte weiterleiten.

 

 

 

--------------------------------------------------------

Fachhochschule Nordwestschweiz

Hochschule für Technik

Institut für Mobile und Verteilte Systeme

 

Prof. Martin Kropp

Dozent für Software Engineering

Steinackerstrasse 5, CH-5210 Windisch

--------------------------------------------------------

T: +41 56 462 4735(direkt)

martin.kropp@fhnw.ch

www.fhnw.ch

--------------------------------------------------------

www.swen-network.ch