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>