| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/BuslinesWithDBPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 602 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
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. This version connects to a database containing maps and busroutes. Remote Debugger must be set to remote class: gui.BuslinesRemote Language Version: vdm10 Entry point : new World().Run() ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28