Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: inherit2.eps Sprache: Postscript

Original von: VDM^©

Author: Yves Ledru

This example illustrates how one can define the rules
for calculating who will qualify in the world
championship in soccer given different initial groups.
This model is made for the championship in 2000 but it
could easily be updated to reflect the any championships.
In the test class UseGP there are a few examples of
using the traces primitives used for test automation.

Language Version: vdm10

¤ Dauer der Verarbeitung: 0.19 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des 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.