OutOfCoffeeException

Ich habe noch weniger als eine Woche übrig und bin leider immer noch nicht fertig :(. Bis zum 01.12. habe ich sicher noch einige lange Nächte vor mir, aber es ist noch zu schaffen. Aber woran arbeite ich eigentlich?

Also mal ganz vereinfacht und an einem Beispiel erklärt geht es darum, dass aus einem Diagramm wie diesem hier (ein Visueller Kontrakt)

Spec#-Code erzeugt werden soll, der in etwa (die Beispiele sind nicht 100%ig gleich) so aussieht:

 1 public Guid AddCartItem(System.Guid cartId, System.Guid productId, System.Int32 quantity)        
 2 requires
 3         exists
 4         {
 5                 Product product in this.ProductList;
 6                 Helper.IsEqual(product.ProductId, productId)
 7                 && exists
 8                 {
 9                         Cart cart in this.CartList;
10                         Helper.IsEqual(cart.CartId, cartId)
11                         && !exists
12                         {
13                                 CartItem cartItem in cart.Items;
14                                 (cartItem.Product == product)
15                                 && Helper.IsEqual(cart.CartId, cartId)
16                         }
17                 }
18         };
19 ensures
20         exists
21         {
22                 Product product in this.ProductList;
23                 Helper.IsEqual(product.ProductId, productId)
24                 && exists
25                 {
26                         Cart cart in this.CartList;
27                         exists
28                         {
29                                 CartItem cartItem in cart.Items;
30                                 (cartItem.Product == product)
31                                 && (cartItem.Quantity == quantity)
32                                 && Helper.IsEqual(cart.CartId, cartId)
33                         }
34                 }
35         };
36 {
37     // Code...
38 }

Der Code aus diesem Beispiel wurde schon so generiert, allerdings noch nicht aus dem Diagramm oben (das wird wahrscheinlich die Studienarbeit von Martin) sondern aus einem Objektmodell was das obige Diagramm repräsentiert. Mehr dazu blogge ich wenn ich (endlich) fertig bin.

Auch in diesem Semester gibt es an der Uni Paderborn wieder eine Veranstaltungsreihe vom Student Program, die .NET Wochen. Für eine Teilnahme an den Workshops ist eine Anmeldung unter der folgenden Adresse erforderlich: http://www.studentprogram.de/unipaderborn/DesktopDefault.aspx?tabindex=1&tabid=19. Letztes mal waren alle Workshops komplett ausgebucht, wir hatten teilweise doppelt so viele Teilnemer wie Plätze - also schnell anmelden! :). 

Im Dezember gibt es folgende kostenlose Vorträge und Workshops:

Vortrag: Einführung in .NET
28.11.2006 oder 29.11.2006 jeweils um 18 Uhr in P5.201

Dieser Vortrag gibt einen Überblick über die Microsoft .NET Plattform auf Basis der aktuellen Version 2.0. Am Anfang werden in einem kurzen theoretischen Teil die wichtigsten Konzepte und Begriffe der .NET Plattform erklärt, anschließend wird die Entwicklungsumgebung Visual Studio 2005 vorgestellt und die Anwendbarkeit durch praktische Beispiele in der .NET Sprache C# demonstriert. Dieser Vortrag dient als Grundlage für weitere Veranstaltungen im .NET-Bereich.

Voraussetzung: keine
Referenten:     
am 28. Florian Rittmeier und Jens Ellerweg, am 29. Martin Kleine und Jens Ellerweg


Workshop: C# für Einsteiger
4. und 5.12.2006 jeweils um 18 Uhr im Poolraum H5.221

Der C# Einsteiger-Workshop richtet sich an Teilnehmer, die vorher noch nicht mit C# oder anderen .NET-Sprachen programmiert haben. Es wird mit den absoluten Basics gestartet wie z.B. Variablendeklaration oder Schleifenprogrammierung.  

Voraussetzungen: keine
Referenten: Martin Kleine und Jens Ellerweg

Workshop: C# für Fortgeschrittene
11. und 12.12.2006 jeweils um 18 Uhr im Poolraum H5.221

Der C# Fortgeschrittenen-Workshop baut auf dem Einsteiger-Workshop auf. Dieser Workshop ist für Teilnehmer gedacht, die schon in einer objektorientierten Programmiersprache entwickeln können und einen Überblick über die Programmiersprache C# und das .NET Framework erhalten möchten.
Voraussetzungen: Einsteiger-Workshop oder vergleichbare Kenntnisse über objektorientierte Programmierung,  z.B. aus der Vorlesung „Grundlagen der Programmierung“ .

Referenten: Martin Kleine und Jens Ellerweg

Workshop: ADO.NET - Datenbankzugriff mit .NET
18. und 19.12.2006 jeweils um 18 Uhr im Poolraum H5.221
Der ADO.NET Workshop richtet sich an alle Datenbankentwickler. ADO.NET ist die Datenbankschnittstelle des .NET Frameworks. Dieser Workshop zeigt, wie man mit Hilfe von ADO.NET auf Datenbanken zugreifen und mit Daten arbeiten kann.

Voraussetzungen: Es sollten Kenntnisse im Bereich objektorientiere Programmierung und Grundwissen über relationale Datenbanken und SQL vorhanden sein.
Referenten: Martin Kleine und Jens Ellerweg

Workshop: Windows Forms Entwicklung mit .NET
14. und 15.12.2006 jeweils um 18 Uhr im Poolraum H5.221

Dieser Workshop vermittelt Grundlagen der Entwicklung von Windows-Anwendungen mit Visual Studio 2005 und .NET in C#  anhand von Übungen am Rechner. Dabei wird eine Beispielanwendung von Anfang an neuentwickelt werden, so dass jeder Teilnehmer einen guten Einblick in die Erstellung von Windows-Anwendung erhält.

Voraussetzung: Es wird empfohlen zumindest einen der beiden C#--Workshops besucht zu haben. Vergleichbare tiefergehende Java-Kenntnisse können auch ausreichen.
Referenten: Alex Bierhaus und Jens Ellerweg

Die .Net Wochen werden angeboten vom Microsoft Student Program (www.studentprogram.de/unipaderborn).

Endlich! An der Uni Paderborn wird das Rauchen komplett verboten. Bisher war es noch in den sogenannten "Kernen" jeweils zwischen zwei Gebäuden erlaubt, also ausgerechnet da, wo man ständig durch muss.

Aus "Radio Hochstift Aktuell", http://www.paderborn.de/mehr/news/radio_hochstift.php:

"Raucher an der Universität Paderborn müssen sich umgewöhnen. Ab dem kommenden Montag gilt in den Gebäuden der Hochschule ein komplettes Rauchverbot. Uni-Rektor Nikolaus Risch und Kanzler Jürgen Plato haben eine entsprechende Dienstanweisung herausgegeben. Um die Gesundheit von Nichtrauchern zu schützen, wird der Qualm aus allen Räumen verbannt: dazu gehören Arbeits-, Büro und Konferenzräume genauso wie Werkstätten, Labore, Aufzüge Treppenhäuser und Toiletten. Nur im Mensafoyer der Uni gilt eine Fetenregelung: ab 18 Uhr ist dort das Rauchen erlaubt."

Links zum Thema:
http://www.nichtraucher-paderborn.de/

 Die Uniroadshow ist am Montag sehr erfolgreich in Paderborn gestartet. Angemeldet waren fast 170 Teilnehmer, ein großer Teil davon Mitarbeiter der Universität. Wie viele davon dann tatsächlich auch teilgenommen haben kann ich schwer abschätzen, da nicht jeder an allen Vorträgen teilgenommen hat. Bei einigen Vorträgen waren aber alle 118 Plätze im Hörsaal belegt.

Es gab Vorträge von Oskar Malek (Vista für Jedermann und Vista für Administratoren), Jörg Schanko (alle Office 2007 Vorträge) und von mir (Vista für Entwickler / .NET 3.0). Ich werde den gleichen Vortrag auch noch auf der Roadshow am 26.10. in Erlangen halten.

Wir haben auch sehr gutes Feedback bekommen. Viele Teilnehmer haben auf den Feedbackbögen um Zusendung der Office 2007 Beta 2 Technical Refresh gebeten, da wir diese leider nicht wie geplant vorrätig hatten. Allen die es auf dem Feedbackbogen angegeben haben werden wir die DVDs noch zuschicken. Alternativ kann man die Office Beta aber auch selbst herunterladen.

Die Folien zu den einzelnen Präsentationen habe ich auf die Student Program Paderborn Website hoch geladen.

Aus einer E-Mail von Sascha. Das Video muss ich wohl nicht weiter kommentieren :)