Im Rahmen der Entwicklung von Software fuer ein ballistisches Raketen-Verteidigungssystem wurden Untersuchungen ueber Techniken zur Ueberpruefung und Verbesserung der Software-Qualitaet durchgefuehrt. Ausgehend von den dabei gewonnen Ergebnissen wurde damit begonnen, eine Sammlungvon Programmen zu entwickeln, die als Hilfsmittel fuer diese und weiterentwickelte Techniken im Dialogbetrieb eingesetzt werden koennen. Die Programme greifen auf eine gemeinsame Datenbank zu, die Informationen ueber die zu untersuchenden Programme enthaelt. Die bereits realisierten Teile des Konzepts werden beschrieben. Ziel derEntwicklung ist eine Ueberpruefungssprache, deren Konzept und geplante Arbeitsweise erlaeutert werden.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A laboratory for the development and evaluation of BMD software quality enhancement techniques


    Additional title:

    Ein Laboratorium fuer die Entwicklung und Bewertung von Qualitaetsverbesserungstechniken fuer Software fuer ein ballistisches Raketenverteidigungssystem


    Contributors:
    Benson, J.P. (author) / Melton, R.A. (author)


    Publication date :

    1976


    Size :

    4 Seiten, 4 Bilder, 9 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English