Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: README.txt   Sprache: Unknown

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()

[ zur Elbe Produktseite wechseln0.16Quellennavigators  Analyse erneut starten  ]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik