Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: Claus Ballegaard Nielsen

This example models bus lines in a city, in which passengers are to be
transferred from stop to stop. Passengers with specific destinations
will arrive at a central station, and the route and flow of the buses
need to be planned to service the passenger in the best possible way.
The number and routes of buses as wells as the inflow of passengers are
variables.

Remote Debugger must be set to remote class:
gui.BuslinesRemote

Language Version: vdm10
Entry point : new World().Run()

¤ Dauer der Verarbeitung: 0.0 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.