FSI-Zimmer: offen
Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » grundstudium » SoS III Braindump vom 16.03.2007
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
| Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
| pruefungen:grundstudium:sos3_braindump_maerz_2007 [17.03.2007 14:50] – formatiert Ford Prefect | pruefungen:grundstudium:sos3_braindump_maerz_2007 [01.08.2007 15:37] – 84.56.41.92 | ||
|---|---|---|---|
| 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: == | ||