Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » grundstudium » SoS III Braindump vom 16.03.2007 (Übersicht)
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige Überarbeitung | ||
pruefungen:grundstudium:sos3_braindump_maerz_2007 [17.03.2007 14:50] – formatiert Ford Prefect | pruefungen:grundstudium:sos3_braindump_maerz_2007 [01.12.2012 14:51] (aktuell) – alte Version wieder hergestellt Hasenichts | ||
---|---|---|---|
Zeile 5: | Zeile 5: | ||
Korrekt oder inkorrekt? Bei inkorrekt Begründung! | Korrekt oder inkorrekt? Bei inkorrekt Begründung! | ||
- | * Der Vorteil einer formalen Sprache ist die eindeutige Interpretierbarkeit(? | + | |
- | * Ein fehlerhafter Zustand führt immer zum Versagen der Anwendung | + | * Ein fehlerhafter Zustand führt immer zum Versagen der Anwendung |
- | * Verifikation ist die Überprüfung der Übereinstimmung eines Software-Produktes mit der Spezifikation | + | * Verifikation ist die Überprüfung der Übereinstimmung eines Software-Produktes mit der Spezifikation |
- | * Die Stelle (Platz) in einem Petrinetz entspricht einem Zustand | + | * Die Stelle (Platz) in einem Petrinetz entspricht einem Zustand |
- | * Beim SW-Grobentwurf versucht man eine hohe Kopplung zu erreichen | + | * Beim SW-Grobentwurf versucht man eine hohe Kopplung zu erreichen |
- | * ... | + | * ... |
== Aufgabe 2: == | == Aufgabe 2: == |