 |
| | | | | Beschreibung der Erfahrung | | In der Softwareentwicklung werden Verifikationstechniken in unterschiedlichen Ausprägungen eingesetzt. Mit Hilfe von Verifikation soll eine höhere Qualität eines Softwaresystems dadurch gewährleistet werden, dass Eigenschaften des Systems nachgewiesen werden.
Der Bericht beinhaltet basierend auf praktischen Erfahrungen eine Klassifikation verschiedener Verifikationstechniken. Besonders berücksichtigt wird dabei der Automatisierungsgrad und die Skalierbarkeit für große und komplexe Anwendungen im Umfeld der eingebetteten Systeme.
Der Schwerpunkt liegt auf formalen Verifikationstechniken, da diese besonders sorgfältig ausgewählt werden müssen, um in bestehende Software-Entwicklungsprozesse erfolgreich integriert werden zu können. | | | Studientypen | | Mehrfachbeobachtung
| |
| | | | | | | | | | | | Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben. |
|
| | | | | | Downloads | |
| | | | | | | | Verifikationstechniken | | | | |  | Adressiert Technologien | | | | | | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
