Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: k1w04 Sprache: Text

Original von: VDM^©

Author: Marvel Verhoef

This VDM++ model is developed by Marcel Verhoef as a part of the VDM++ book
John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel
Verhoef. Validated Designs for Object-oriented Systems, Springer, New York.
2005, ISBN 1-85233-881-4. This is a VDM++ model of the famous
Enigma cipher machine used by the Germans in the Second World War to
encrypt and decrypt messages that were exchanged between military
units. The purpose of the model is to get a basic understanding of the
cipher mechanism as implemented in Enigma. This example was the first place
where the VDMUnit testing approach was introduced.

Language Version: vdm10
Entry point : new EnigmaTest().Execute()

¤ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.