Traffic 4

Traffic 4 source code consists of two top-level directories: library: contains the Traffic library (the core of Traffic); examples: contains some examples of how the library can be used, along with resource files (images and maps). Library: The purpose of the Traffic 4 library is to model and visualize the public transportation system of a city. Model: One part of the library is responsible for modeling the city, regardless of any particular graphical (or textual) representation. The classes of this part represent objects in the city, such as public transportation stations, lines and vehicles (trams, buses, cable cars); they allow you to construct the city and query properties of its objects: their name, location or speed. If you don’t want your application to visualize the city, but only to compute some interesting properties (e.g. the shortest path from one station to another), you can just use these model classes, located in the city directory. ..

References in zbMATH (referenced in 4 articles )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Meyer, Bertrand; Kogtenkov, Alexander: Negative variables and the essence of object-oriented programming (2014) ioport
  2. Boute, Raymond: Pointfree expression and calculation: From quantification to temporal logic (2010)
  3. Furia, Carlo Alberto; Meyer, Bertrand: Inferring loop invariants using postconditions (2010)
  4. Meyer, Bertrand: Touch of class. Learning to program well with objects and contracts (2009)