|
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)
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.15Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Entwicklung einer Software für die statische Quellcodeanalyse
|
