| Jahr |
Semester |
Vortragender |
SWS |
LV Nr |
Typ |
Beschreibung |
Ziel |
| 1993/1994 |
WS |
Lucas Peter |
1 |
506.071 |
KU |
|
|
| 1993/1994 |
WS |
Lucas Peter |
2 |
506.070 |
VO |
|
|
| 1994/1995 |
WS |
Fröhlich Elisabeth
Lucas Peter |
2 |
506.070 |
VO |
|
|
| 1994/1995 |
WS |
Fröhlich Elisabeth |
1 |
506.071 |
KU |
|
|
| 1995/1996 |
WS |
Fröhlich Elisabeth |
1 |
506.071 |
KU |
|
|
| 1995/1996 |
WS |
Fröhlich Elisabeth
Lucas Peter |
2 |
506.070 |
VO |
|
|
| 1996/1997 |
WS |
Fröhlich Elisabeth |
1 |
506.071 |
KU |
|
|
| 1996/1997 |
WS |
Lucas Peter |
2 |
506.070 |
VO |
|
|
| 1997/1998 |
WS |
Fröhlich Elisabeth
Lucas Peter |
2 |
506.070 |
VO |
Es werden alle Aspekte des Softwareentwicklungsprozesses besprochen. Besonders werden Darstellungsmethoden zur Anforderungsanalyse und Entwurfsspezifikation gebracht. Weiters werden Methoden zur schrittweisen Verfeinerung eines Designs gelehrt und praktisch eingeübt. Zu den Übungen stehen CASE-Tools zur Verfügung. Die Vorlesung betont formale Entwicklungsmethoden, die in letzter Zeit vermehrt zum Einsatz kommen.Im Einzelnen kommen folgende Konzepte zur Sprache: Modelle des Softwareentwicklungs-prozesses,algebraische Spezifikationen,modellorientierte Spezifikationen Datenkonkretisierung, operationelle Verfeinerung. |
Aneignung der intellektuellen Werkzeuge, die es ermöglichen, die Komplexität einer größeren Softwarentwicklung zu beherrschen sowie die dazu nötigen Ausdrucksmittel. |
| 1997/1998 |
WS |
Lucas Peter |
1 |
506.071 |
KU |
Mit dem Wahlblock Softwaretechnologie werden die Grundlagen und Methoden der Softwareentwicklung, sowie die mit diesen Methoden verbundenen automatisierten Werkzeuge, gelehrt. Dazu rechnet man Spezifikationssprachen und assoziierte Entwicklungsumgebungen, traditionelle prozedurale Programmiersprachen und ihre Compiler, sowie neuere Entwicklungen insbesondere funktionale und logische Sprachen. Die in der SWT betrachteten Methoden reichen von der Systemanalyse über den Entwurf bis zur Implementierung von Softwaresystemen. Besonders beachtet werden auch die Methoden der Programmverifikation und der Qualitätskontrolle, da diese insbesondere bei sicherheitskritischen Systemen immer mehr an Bedeutung gewinnen. |
Das Ausbildungsziel der Lehrveranstaltungen des Wahlblocks Softwaretechnologie ist es, die Grundlagen und Fertigkeiten der Systemprogrammierung und der anspruchsvollen Anwendungsprogrammierung zu vermitteln. Es erscheint deshalb besonders wichtig, den Schwerpunkt auf eine Grundlagenausbildung zu legen, die es dem Absolventen ermöglicht, sich neuen Sprachen, Methoden und Entwicklungsumgebungen rasch und effektiv anzupassen. |
| 1998/1999 |
WS |
Aichernig Bernhard |
2 |
506.070 |
VO |
Die Vorlesung deckt die Techniken und Methoden im Softwareentwicklungsprozess ab. Im Speziellen werden etablierte Techniken vorgestellt, welche dem Entwickler helfen, die Komplexitaet der Softwareentwicklung durch das Konstruieren von Modellen in den fruehen Entwurfsphasen, zu beherrschen. Der Kurs betont formale Entwicklungsmethoden und ihre Beziehung zu informalen Techniken in der Anforderungsanalyse, dem Design, der Implementierung, der Validierung und der Verifikation von Software.
|
Aneignung der intellektuellen Werkzeuge, die es ermöglichen, die Komplexität in größeren Softwarentwicklungen zu beherrschen. Das Erlernen jener Techniken, welche die Softwareentwicklung zu einer fundierten Ingenieursdiszplin machen.
|
| 1998/1999 |
WS |
Aichernig Bernhard |
1 |
506.071 |
KU |
In Gruppen zu je 2 Personen werden die in der Vorlesung behandelten Techniken an echten Beispielen angewendet. Das Loesen der Aufgabenstellungen erfolgt mit Hilfe von modernen CASE-Tools.
|
Praktischer Umgang mit aktuellen Methoden der Sofwaretechnologie.
|
| 1999/2000 |
WS |
Aichernig Bernhard |
1 |
506.071 |
KU |
In Gruppen zu je 2 Personen werden die in der Vorlesung behandelten Techniken an echten Beispielen angewendet. Das Loesen der Aufgabenstellungen erfolgt mit Hilfe von modernen CASE-Tools.
|
Praktischer Umgang mit aktuellen Methoden der Sofwaretechnologie.
|
| 1999/2000 |
WS |
Aichernig Bernhard |
2 |
506.070 |
VO |
Die Vorlesung deckt die Techniken und Methoden im Softwareentwicklungsprozess ab. Im Speziellen werden etablierte Techniken vorgestellt, welche dem Entwickler helfen, die Komplexitaet der Softwareentwicklung durch das Konstruieren von Modellen in den fruehen Entwurfsphasen, zu beherrschen. Der Kurs betont formale Entwicklungsmethoden und ihre Beziehung zu informalen Techniken in der Anforderungsanalyse, dem Design, der Implementierung, der Validierung und der Verifikation von Software.
|
Aneignung der intellektuellen Werkzeuge, die es ermöglichen, die Komplexität in größeren Softwarentwicklungen zu beherrschen. Das Erlernen jener Techniken, welche die Softwareentwicklung zu einer fundierten Ingenieursdiszplin machen.
|
