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)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|