Management großer Softwareprojekte Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin, Institut für Informatik Fraunhofer Institut für Rechnerarchitektur.

Präsentation zum Thema: "Management großer Softwareprojekte Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin, Institut für Informatik Fraunhofer Institut für Rechnerarchitektur."—  Präsentation transkript:

1 Management großer Softwareprojekte Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin, Institut für Informatik Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik FIRST

2 12.2.2003H. Schlingloff, Management großer Softwareprojekte2 Beschäftigungsmöglichkeiten bei FIRST Praktika und Werkstudentenplätze je nach Studienanforderungen Studentische Hilfskräfte max. 80 h/Mo, Tariflohn, 6-12 Mo., frei einteilbar direkt in Anwendungsprojekten derzeit 1-2 Plätze in SVT frei, variabel Diplomarbeiten meist grundlagenorientiert Kombination von Theorie- und Praxisteil keine Bezahlung max. 3-4 Plätze frei

3 12.2.2003H. Schlingloff, Management großer Softwareprojekte3 Diplomarbeit: TTCN-3 für eingebettete Steuergeräte Rahmen: automatisiertes Testen, Projekt mit O 2 Inhalt: Konzeption und prototypische Implementierung eines TTCN3 Testsystems für eingebettete Systeme Bedingungen: Kenntnisse in Unix, Compiler, Programmiersprachen,...

4 12.2.2003H. Schlingloff, Management großer Softwareprojekte4 Diplomarbeit: Spezifikation eines elektronischen Bezahlsystems Rahmen: Spezifikationssprachen, Kooperation mit Uni Swansea, Schweiz, Reisig Inhalt: formale Umsetzung der Beschreibung des neuen Schweizer Zahlkartensystems EFT/POS2000 in eine Spezifikation in der (prozess-) algebraischen Spezifikationssprache CSP-CASL Bedingungen: Logik-Kenntnisse

5 12.2.2003H. Schlingloff, Management großer Softwareprojekte5 Diplomarbeit: GALS-Design Rahmen: Korrektheit, Schaltkreisentwurf (DFG-Projekt) Inhalt: Vergleich verschiedener Korrektheitsbegriffe für global asynchrone, lokal synchrone Schaltungen sowie Entwurf entsprechender Verifikationsverfahren Bedingungen: Logik, Petrinetze

6 12.2.2003H. Schlingloff, Management großer Softwareprojekte6 Diplomarbeit: formale Spezifikation von Benutzungsoberflächen Rahmen: Anforderungsanalyse, Spezifikationssprachen Inhalt: formale Umsetzung einer Bedienungsanleitung (GPRS-Mobiltelefon) in Use-Cases und eine temporale und/oder Petrinetz-Spezifikation Bedingungen: Logik, Petrinetze

7 12.2.2003H. Schlingloff, Management großer Softwareprojekte7 damit zusammenhängende Diplomarbeit: Testgenerierung aus temporalen Formeln Rahmen: temporale Logik Inhalt: Konzeption und prototypische Implementierung eines Tableaux-Algorithmus zur Extraktion von Testsequenzen aus formalen Spezifikationen Bedingungen: Logik-Kenntnisse

8 12.2.2003H. Schlingloff, Management großer Softwareprojekte8 Diplomarbeit: MicroWorlds 3D-LOGO Rahmen: Programmier-Lernsystem Inhalt: Konzeption einer 3D-Erweiterung für eine vorhandene Programmierumgebung für Kinder Bedingungen: pädagogisches Interesse, VR