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)
¤ 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.0.12Bemerkung:
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
