8 Nov
2011
8 Nov
'11
9:49 p.m.
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-lager…
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<http://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<mailto:martin.kropp@fhnw.ch>
www.fhnw.ch<http://www.fhnw.ch>
--------------------------------------------------------
www.swen-network.ch<http://www.swen-network.ch>
