Berichte aus den Fachgruppen und Arbeitskreisen
- Fachgruppe 2.1.1: Protokoll der Sitzung des Leitungsgremiums am 18.11.1996 pdf
- 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 pdf 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 pdf 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 pdf
Buchbesprechungen
- Thomas Biedassek über Frederick B. Cohen: It's Alive - The new Breed of Living Computer Programs pdf 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 pdf 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 - Not Found - 16.-17.06.1997 Barcelona
Call for Papers: 4th Doctoral Consortium on Advanced Information Systems Engineering (CAISE'97) Seite 1
Band 16 Heft 4
ISSN 0720-8928