Def. genaue, endl. Beschreibung eines allgemeinen Verfahrens, nutzt elementare, ausführbare Schritte statt 3 + 4 –> a + b Effektivität jeder einzelne Schritt ausführbar Effizienz Leistungsfähigkeit, geringer Aufwand Korrektheit partiell: jedes Ergebnis entspricht der Ausgabespezifikation sofern die Eingaben der Eingabespez. entsprechen, nicht zwingend anhaltend total: partiell korrekt, terminiert nach endl. vielen Schritten, nach jeder Eingabe, […]
Monat: September 2011
IT – Softwareentwicklung: Phasenmodell & Schneckenmodell
Phasenmodell Problem führt über Anforderungsanalyse zur Anforderungsspezifikation. Es folgt der Systementwurf, der zur Systementwurfsspezifikation führt. Der Detailentwurf endet in der Detailentwurfsspezifikation. In der abschließenden Codierung und Inetgration wird dann das ausführbare Programm erarbeitet. Schneckenmodell Beginnt beim Problem und durchläuft dann nacheinander in immer größeren Kreisen die Phasen Anforderung – Systementwurf – Detailentwurf und Codierung. Die […]
IT – Grammatiken & Notationen
Chomsky-Grammatik 4-Tupel G = ( N , T , P , S ) N – endliche Menge Zeichen, Nichtterminalsymbole T – endliche Menge Zeichen, disjunkt N, Terminalsymbole S ∈ N – Startsymbol P – endliche Menge Regeln der Form (p, q) ∈ ( N ∪ T ) * Syntaxdiagramme N Rechteck T langrunder Kreis gerichtete […]
IT – Syntax & Semantik
Syntax Form, im täg. Leben oft implizit Semantik zugeordnet allgemeine Grammatiken, Syntaxdiagramme, BNF, EBNF, Java Notation Semantik Bedeutung Spezifikationen (zB ADT – abstakter Datentyp), natürliche Sprachen, UML Related Images: