2.1.1 Software Engineering

2.1.5 Ada

2.1.6 Requirements Engineering

2.1.7 Test, Analyse und Verifikation von Software

2.1.8 Software-Entwicklungsumgebungen

2.1.9 Objektorientierte Software-Entwicklung

Berichte aus den Fachgruppen und Arbeitskreisen

• Fachgruppe 2.1.1: Protokoll der Sitzung des Leitungsgremiums am 18.11.1996    html
• Fachgruppe 2.1.5: Bericht Ada-Deutschland    Seite 1
• Fachgruppe 2.1.5: Einladung zur Mitgliederversammlung am 4.2.1997    Seite 1
• Fachgruppe 2.1.7: Bericht über das Treffen vom 20./21.6.1996    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11
• Fachgruppe 2.1.7: Einladung zur Mitarbeit im AK Qualitätstechniken für Systeme und Anlagen    Seite 1
• Fachgruppe 2.1.8: Bericht über das Treffen am 10./11.9.1996, Koblenz    html   latex
• Fachgruppe 2.1.9: Aufruf zur Teilnahme am Arbeitstreffen am 7./8.2.1997    postscript

Technische Beiträge

• Berlejung, H.; Baron, W.: Aspects of the Development of Safety-critical Real-time Software with the C Programming Language    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5
• Keller, H.; Osterhues, B.: Ein Kommunikationssystem für verteilte Applikationen    Seite 1   Seite 2   Seite 3   Seite 4
• Kreitz, C.: Projektaufgaben in Anfängerveranstaltungen: ein Mittel zur Förderung eines objektorientierten Programmierstils    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11   Seite 12   Seite 13   Seite 14
• Schmidt, H.: Ein Applikation Framework für prozeßorientierte Anwendungssysteme    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6
• Schrade, B.: Ein Komplexitätsmaß für strukturierte Klartexte    Seite 1   Seite 2
• Schwald, A.: Vererben oder Ausprägen - wie macht man's in Ada95    postscript

Dissertationen

• Claus Pahl: Grundlagen für die formale Spezifikation modularer zustandsbasierter Systeme    postscript   (Volltext (PostScript: 593 KB))
• Gerald Junkermann: SCAPE - Eine graphische Sprache zur Spezifikation von Software-Prozessen   html   latex   (Volltext)
• Karin Vosseberg: Sichere Ausführungsumgebungen für Objekte    Seite 1
• Guido Gryczan: Prozeßmuster zur Unterstützung kooperativer Tätigkeit    Seite 1
• Thomas Dettmer: Ein Modell für CAD-Entwurfsumgebungen Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia    html

Buchbesprechungen

• Thomas Biedassek über Frederick B. Cohen: It's Alive - The new Breed of Living Computer Programs    html   latex   postscript

Konferenzberichte

• Hofmann, P.; Schmedding, D.: WOON '96, St. Petersburg, 20. - 21. Juni 1996    Seite 1   Seite 2
• Kamp, M.: Softwaretechnik'96, Koblenz, 12. - 13. September 1996    html   latex   postscript

Konferenzankündigungen

• 17.02.1997   Garching
  Industrielle Nutzung formaler Methoden, FME/iSTec    postscript
• 14.-15.03.1997  
  Call for Papers: 2. Fachtagung - Management und Controlling von DV-Projekten - Erfahrungsberichte und neue Ansätze, GI-FG 5.1.2 Projektmanagement und GI-FG 2.1.1/AK Management von Software-Projekten    Seite 1
• 17.-18.03.1997   Berlin-Adlershof
  Call for Papers: Vorgehensmodelle-Einführung, betrieblicher Einsatz, Werkzeugunterstützung und Migration, GI-FG 5.1.1    postscript   Seite 1
• 16.-18.04.1997   München
  Workshop: Formaler Entwurf sicherheitskritischer eingebetteter Systeme (FEmSys'97),    Seite 1
• 16.-17.06.1997   Barcelona
  Call for Papers: 4th Doctoral Consortium on Advanced Information Systems Engineering (CAISE'97)    Seite 1