|
Author: Yves Ledru
This tutorial example is taken out of a VDM course given
to the students of the Diplôme d'Etudes Supérieures
Spécialisées en Génie Informatique (5th year) at the
Université Joseph Fourier. A first version uses the
implicit style of specification of VDM-SL and thus may
not be executed with VDMTools. An explicit version is
given as an appendix.
Language Version: classic
Entry point : SOCCER_EXPL`SUBSTITUTION(3,15)
¤ Dauer der Verarbeitung: 0.23 Sekunden
(vorverarbeitet)
¤
|
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.
|
