Zum Hauptinhalt springen

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

Tagungsberichte

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

Band 14 Heft 1
ISSN 0720-8928