Verifikation
Definitionen
Von Ian Sommerville im Buch Software Engineering (1982) im Text Verification and validation auf Seite 374
Prüfung, ob Daten mit ihrer Beschreibung übereinstimmen
Von Daniel Aebi im Buch Re-Engineering und Migration betrieblicher Nutzdaten (1996) auf Seite 59Von Carl August Zehnder im Buch Informatik-Projektentwicklung (2001) im Text Qualitätssicherung auf Seite 218
Verwandte Objeke
![]() Verwandte Begriffe (co-word occurance) | Validation(0.09) |
Häufig co-zitierte Personen

Naur

Church
Statistisches Begriffsnetz 
Zitationsgraph
Zitationsgraph (Beta-Test mit vis.js)
Zeitleiste
18 Erwähnungen 
- Systematisches Programmieren (Niklaus Wirth) (1972)
- Software Engineering (Ian Sommerville) (1982)
- 19. Verification and validation
- Fundamentale Ideen der Informatik (Andreas Schwill) (1993)
- Modernes Software Engineering (Reiner R. Dumke) (1993)
- LOG IN 1/1994 (1994)
- Die Gestaltung des Unsichtbaren (Reinhard Keil) (1994)
- Re-Engineering und Migration betrieblicher Nutzdaten - ETH Dissertation Nr 11628 (Daniel Aebi) (1996)
- Informatics in Higher Education - Views on informatics and non-informatics curricula (Fred Mulder, Tom J. van Weert) (1998)
- 23. Towards a taxonomy for computer science (Hans Meijer, Hanno Wupper)
- Das Affenpuzzle - und weitere bad news aus der Computerwelt (David Harel) (2000)
- Informatik-Projektentwicklung (Carl August Zehnder) (2001)
- 6. Systemtest
- 12. Qualitätssicherung
- 6. Systemtest
- Modellierung von Informationssystemen (Adrian Specker) (2001)
- 12. Pflichtenheft und Evaluation
- LOG IN 2/2001 - Programmieren in der informatischen Bildung (2001)
- So viele Fehler! - Programmverifikation und logisch falsche Programme (Eckart Modrow) (2001)
- So viele Fehler! - Programmverifikation und logisch falsche Programme (Eckart Modrow) (2001)
- 111 Thesen zur erfolgreichen Softwareentwicklung - Argumente und Entscheidungshilfen für Manager. Konzepte und Anleitungen für Praktiker (Rainer Gerlich, Ralf Gerlich) (2004)
- ABZ-Lehrplan für das Ergänzungsfach Informatik (ABZ Ausbildungs- und Beratungszentrum für Informatikunterricht) (2008)
- Programmieren lernen - Aufgaben für den Informatikunterricht (Philipp Gressly Freimann, Martin Guggisberg) (2011)
- informatik@gymnasium - Ein Entwurf für die Schweiz (Jürg Kohlas, Jürg Schmid, Carl August Zehnder) (2013)
- brand eins 02/2024 (2024)