Vorwort des Herausgebers    gif

Berichte aus den Arbeitskreisen

• Bericht vom Treffen des AK "Testen, Analysieren & Verifizieren"    gif

  • Automatisierte Testauswertung auf Grundlage Formaler Spezifikationen    Seite 1   Seite 2
  • Combining Testing and Formal Verification for Validating Reactive Systems    Seite 1   Seite 2   Seite 3
  • Defining and Measuring Intrinsic Software Quality    Seite 1  
  • Einsatz von Software-Metriken in einer Versicherung    Seite 1   Seite 2  
  • Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren    Seite 1  
  • Objektorientierter Integrationstest und Wiederverwendbarkeit    Seite 1   Seite 2   Seite 3
  • Testen objektorientierter und paralleler Software    Seite 1   Seite 2   Seite 3
  • Automatische Prüfung der Software von Prozeßleitsystemen    Seite 1   Seite 2
  • Dokumentation und Pflege von Teststammdaten - ein Erfahrungsbericht    Seite 1   Seite 2   Seite 3

• Bericht über das 5. Treffen des Arbeitskreises Software-Entwicklungsumgebungen    Seite 1   Seite 2  

  • Supporting Cooperation in Software Development in the Knowledge-based Environment MERLIN    Seite 1  
  • CAD-Frameworks -Aktivitäten an der Fern-Universität Hagen    Seite 1  
  • Abstracts zu SEU der IKK für Veröffentlichung in der Software-Technik Trends    Seite 1  
  • Erfahrungsberichte in der Anwendung der LION-Entwicklungsumgebung    Seite 1  
  • Neues über PCTE    Seite 1   Seite 2  

Fachbeiträge

• Hans Jürgen Ott

Das "Ingenieurgemäße" am Software Engineering    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7
 
• Frank Wolff

Ein Total Quality Modell für die Softewareentwicklung    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9
• Klaus Quibeldey-Cirkel 

Pradigmenwechsel im Software Engineering:
Auf dem Weg zu objektorientierten Weltmodellen    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6   Seite 7   Seite 8   Seite 9   Seite 10   Seite 11   Seite 12  
 
• Jürgen F. H. Winkler

Ein Blick auf den Konstruktionsprozess im Maschinenbau    Seite 1   Seite 2   Seite 3   Seite 4
• Pavel O.M. Cermak

Hauptaufgaben des Software-Engineering für die nächsten 25 Jahre
-Kommentar zu ESEC '93-    Seite 1   Seite 2   Seite 3

• Stefan Kauer

ESEC '93 in Garmisch    Seite 1   Seite 2   Seite 3
• Thomas Etzrodt

23. Jahrgangstagung der GI in Dresden    Seite 1   Seite 2   Seite 3
• Jürgen F.H. Winkler

Fachgespräch "Entwicklung objektorientierter SW"    Seite 1
• Barbara Paech

Workshop SEUH 1994 in München    Seite 1   Seite 2   Seite 3   Seite 4   Seite 5   Seite 6

Ankündigungen

• 9./10. Juni 1994
  6. Treffen des Arbeitskreises
  Testen, Analysieren und Verifizieren von Software (TAV 6)    Seite 1
• Abgabetermin für Fragebögen ! 1. November 1994
  Umfrage zum Einsatz von CASE-Werkzeugen im Unterricht der Hochschulen    Seite 1
• Gründung des Vereins zur Förderung der
  Softwaretechnikk in Nordrhein-Westfalen    Seite 1
• Projekt
  Effiziente Arbeitsstrategien und Kommunikation
  in der Software-Entwicklung
  -Fachbereich Psychologie der Justus-Liebig-Universität Gießen    Seite 1
• 18. - 23. September 1994
  18. Deutsche Jahrestagung für künstliche Intelligenz
  in Saarbrücken
  "Vorgehensmodelle und Methoden zur Entwicklung komplexer Softwaresysteme"    Seite 1
• 26.-27. September 1994
  Workshop "Softwaremetriken"    Seite 1
• 29. November bis 1. Dezember
  PCTE '94 in San Francisco    Seite 1
• 28.-30. März 1995 in Marburg
  IFIP WG 8.1 International Working Conference on
  Information System Concepts
  Towards a Consolidation of Views (ISCO3)    Seite 1
• 6.-9. November 1994, Doubletree Inn Hotel, Monterey, California, USA
  Fifth Internatonal Symposium on
  Software Reability Enginneering    Seite 1
• 10. Oktober 1994
  Ada-Deutschland-Fachgruppentagung
  in der Universität Jena    Seite 1

• Anküdigung der nächsten
  Ada-Fachgruppentagung und call for papers    Seite 1

GI-Informationen    Seite 1  Seite 2  Seite 3  Seite 4