Titlebook: Software-Qualität; Dirk W. Hoffmann Textbook 20081st edition Springer-Verlag Berlin Heidelberg 2008 Methode.Programmentwicklung.Qualitätss

patella

aphasia

真繁荣

Software-Fehler, von Symbolen (.). Neben den Schlüsselwörtern umfassen die Tokens einer Programmiersprache sämtliche Operatoren und Bezeichner. Die Zerlegung des Zeichenstroms in einzelne Symbole ist Inhalt der . — eine heute wohlverstandene Standardaufgabe im Bereich des Compiler-Baus.

轿车

antiquated

Software-Test,s jeden Software-Entwicklers. Im direkten Vergleich mit den anderen Methoden der Software-Qualitätssicherung entstammt der Software-Test dabei einer erstaunlich simplen Idee: Das zu untersuchende Programm wird mit Hilfe eines Satzes konkreter Eingabedaten ausgeführt und das gemessene Ist-Ergebnis an

爱了吗

visceral-fat

Software-Verifikation,thoden formal zu beweisen. Der mathematischer Charakter dieser Vorgehensweise bedingt, dass vor der eigentlichen Beweisführung sowohl das Programm als auch seine Anforderungsbeschreibung in formale Modelle Übersetzt werden müssen. Diese werden im Folgenden als . . und . .. Die Aufgabe der Software-V

indoctrinate

Software-Lebenszyklus,ch unter dem Namen . bekannte Phänomen beschreibt die schleichende Degradierung verschiedener Qualitätsparameter über die Zeit. Typischerweise zeigen sich die ersten Symptome einer alternden Software erst nach ein paar Jahren Entwicklungszeit, so dass die Problematik im kurzlebigen Projektgeschäft e

mechanical

Software-Infrastruktur,ts an der einen oder anderen Stelle die Bedeutung einer sowohl technisch als auch organisatorisch ausgereiften Vorgehensweise betont. In diesem Kapitel wollen wir diese Betrachtung vertiefen und uns der Infrastruktur zuwenden, die für eine erfolgreiche Durchführung mittlerer und großer Software-Proj

Acquired

Managementprozesse,nerhalb eines Unternehmens gewährleisten. Haben wir einen unternehmensspezifischen Arbeitsablauf vor uns, der sich in gleicher oder ähnlicher Form kontinuierlich wiederholt, so sprechen wir von einem .. Formal wird jeder Prozess über eine Reihe von . definiert, die aus einer gegebenen Menge von . sc