Institut für Informatik
Softwaretechnik und Programmiersprachen
Softwaretechnik und Programmiersprachen
News
02.12.2009 - AVOCS 2010
Our group is organising AVOCS 2010 and the Rodin User and Developer Workshop in September 2010.
Our group is organising AVOCS 2010 and the Rodin User and Developer Workshop in September 2010.
21.09.2009 - JUG in der Rheinischen Post
In ihrer Ausgabe vom 16.09.09 berichtet die Rheinische Post über unsere Java User Gruppe
In ihrer Ausgabe vom 16.09.09 berichtet die Rheinische Post über unsere Java User Gruppe
24.03.2009 - ProB 1.3.0 Released
ProB 1.3.0 has been released.
ProB 1.3.0 has been released.
24.03.2009 - STUPS Vorlesung
Die erste Vorlesung von "Softwaretechnik und Programmiersprachen" findet am 20.4.2009 statt, die erste Veranstaltung Echtzeitsysteme beginnt am 22.4.2009
Die erste Vorlesung von "Softwaretechnik und Programmiersprachen" findet am 20.4.2009 statt, die erste Veranstaltung Echtzeitsysteme beginnt am 22.4.2009
14.03.2009 - Java in der Praxis / rheinjug
Für den Besuch von Veranstaltungen der Java User Group Düsseldorf können Kreditpunkte vergeben werden. Weitere Informationen dazu finden Sie auf der Veranstaltungsseite
Für den Besuch von Veranstaltungen der Java User Group Düsseldorf können Kreditpunkte vergeben werden. Weitere Informationen dazu finden Sie auf der Veranstaltungsseite
11.12.2008 - RheinJug
Die Java User Group rheinjug ist letzte Woche als Verein gegründet worden.
Die Java User Group rheinjug ist letzte Woche als Verein gegründet worden.
02.11.2008 - Vortrag: Prof. Dr. Börger, Analysis of Java and the Java Virtual Machine
07. November 2008, 15.00 Uhr c.t., Hörsaal 5G, Gebäude 25.22
07. November 2008, 15.00 Uhr c.t., Hörsaal 5G, Gebäude 25.22
01.02.2008 - DEPLOY
Today February 1st we are officially starting on the 4-year Deploy Project!
Today February 1st we are officially starting on the 4-year Deploy Project!
13.12.2007 - Sun Vortrag
Am 31.1. gibt es im Rahmen der Java Usergroup Düsseldorf einen Vortrag von Daniel Adelhardt (Sun Microsystems Deutschland) zum Thema Java EE und dem OpenSource Applikationsserver Glassfish. Weitere Informationen unter http://www.rheinjug.de
Am 31.1. gibt es im Rahmen der Java Usergroup Düsseldorf einen Vortrag von Daniel Adelhardt (Sun Microsystems Deutschland) zum Thema Java EE und dem OpenSource Applikationsserver Glassfish. Weitere Informationen unter http://www.rheinjug.de
30.11.2007 -
IFM 2009 will be held in Düsseldorf, organized jointly with Heike Wehrheim from Paderborn. Other good news: a DFG project proposal (GEPAVAS) on directed and parallel model checking has been approved for funding.
IFM 2009 will be held in Düsseldorf, organized jointly with Heike Wehrheim from Paderborn. Other good news: a DFG project proposal (GEPAVAS) on directed and parallel model checking has been approved for funding.
30.11.2007 - PyPy Status Blog
PyPy Status Blog was started. You can also watch the PyPy Google Tech Talk.
PyPy Status Blog was started. You can also watch the PyPy Google Tech Talk.
29.10.2007 - PyPy Sprint Bern
PyPy goes Squeak (PyPy Sprint in Bern finished this weekend)
PyPy goes Squeak (PyPy Sprint in Bern finished this weekend)
16.10.2007 - Programmierpraktikum SS 08
Wichtige Informationen zum Programmierpraktikum im Sommersemester 2008.
Wichtige Informationen zum Programmierpraktikum im Sommersemester 2008.
03.10.2007 - Vorlesungen WS 07/08
Informationen zu den Vorlesungen Softwaretechnik 2 und Programmiersprachen 2 sind erhältlich.
Softwaretechnik 2 baut nicht auf Softwaretechnik und Programmiersprachen 1 auf.
Informationen zu den Vorlesungen Softwaretechnik 2 und Programmiersprachen 2 sind erhältlich.
Softwaretechnik 2 baut nicht auf Softwaretechnik und Programmiersprachen 1 auf.
10.08.2007 - Nachklausur Softwaretechnik und Programmiersprachen
Die Nachklausur "Softwaretechnik und Programmiersprachen" findet am 17.10.2007, um 13:00 (s.t.) Uhr in Hörsaal 5G statt.
Die Nachklausur "Softwaretechnik und Programmiersprachen" findet am 17.10.2007, um 13:00 (s.t.) Uhr in Hörsaal 5G statt.
27.06.2007 - Abgeschlossene Arbeiten
Download der am Lehrstuhl für Softwaretechnik und Programmiersprachen angefertigten Abschlussarbeiten
Download der am Lehrstuhl für Softwaretechnik und Programmiersprachen angefertigten Abschlussarbeiten
27.04.2007 - Ruby on Rails
Am 22.5. findet ein halbtägiges Tutorial zum Thema Ruby on Rails statt. Die Veranstaltung hat das Ziel, einen Einblick in die Merkmale und Konzepte von Ruby und Ruby on Rails zu geben. Details zur Veranstaltung gibt es in dem Veranstaltungsflyer
Am 22.5. findet ein halbtägiges Tutorial zum Thema Ruby on Rails statt. Die Veranstaltung hat das Ziel, einen Einblick in die Merkmale und Konzepte von Ruby und Ruby on Rails zu geben. Details zur Veranstaltung gibt es in dem Veranstaltungsflyer
18.04.2007 - Themen für Projekt-, Master- und Bachelorarbeiten
Themenvorschläge für Projekt-, Master- und Bachelorarbeiten
Themenvorschläge für Projekt-, Master- und Bachelorarbeiten
13.04.2007 - Masterstudiengang Informatik
Informationen und Formulare zum Masterstudiengang Informatik sind erhältlich.
Informationen und Formulare zum Masterstudiengang Informatik sind erhältlich.
07.03.2007 - Softwaretechnik 3
Informationen zur Vorlesung Softwaretechnik 3 sind erhältlich.
Informationen zur Vorlesung Softwaretechnik 3 sind erhältlich.
07.03.2007 - Softwaretechnik und Programmiersprachen 1
Informationen zur Vorlesung Softwaretechnik und Programmiersprachen 1 sind erhältlich.
Informationen zur Vorlesung Softwaretechnik und Programmiersprachen 1 sind erhältlich.
05.12.2006 - Programmiersprachen 2
Informationen zur Vorlesung Programmiersprachen 2 sind erhältlich.
Informationen zur Vorlesung Programmiersprachen 2 sind erhältlich.
02.10.2006 - Softwaretechnik 2
Informationen zur Vorlesung Softwaretechnik 2 sind erhältlich.
Informationen zur Vorlesung Softwaretechnik 2 sind erhältlich.
31.08.2006 - Neue ProB Web Seite
Die neue ProB Web Seite ist jetzt online.
Die neue ProB Web Seite ist jetzt online.
19.07.2006 - Präsentation Bachelorarbeit
"Integration of the ProB model checker into Eclipse" (Jens Bendisposto) Raum: 25.12.02.55
"Integration of the ProB model checker into Eclipse" (Jens Bendisposto) Raum: 25.12.02.55
03.05.2006 - Information zum Master-Studiengang
Informationen zum Master-Studiengang
Informationen zum Master-Studiengang
05.04.2006 - Vorlesung
Softwaretechnik und Programmiersprachen
Hier gibts Informationen zur Vorlesung Softwaretechnik und Programmiersprachen
Online-Anmeldung zur Vorlesung möglich.
Hier gibts Informationen zur Vorlesung Softwaretechnik und Programmiersprachen
Online-Anmeldung zur Vorlesung möglich.
29.03.2006 - Softwarepraktikum
Auf dieser Seite gibts Informationen zum Softwarepraktikum
Auf dieser Seite gibts Informationen zum Softwarepraktikum
10.03.2006 - Vorlesung: Softwaretechnik und Programmiersprachen
Die 1. Vorlesung von "Softwaretechnik und Programmiersprachen" findet am 10. April von 14-16 Uhr statt. Die Vorlesungen vom 3. und 5. April werden auf einen späteren Zeitpunkt verschoben.
Die 1. Vorlesung von "Softwaretechnik und Programmiersprachen" findet am 10. April von 14-16 Uhr statt. Die Vorlesungen vom 3. und 5. April werden auf einen späteren Zeitpunkt verschoben.