products/sources/formale Sprachen/Coq/theories/ZArith image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: IO.vdmpp   Sprache: VDM

Untersuchung VDM©

-----------------------------------------------
-- Class: Config
-- Description:  Config contains configuration values
-----------------------------------------------

--
-- class definition
--
class Config

--
-- Values definition section
--
values

--max passengers on bus
public static BusCapacity : nat = 15;
--speed limit on road, buses will always drive to the limit   
public static DefaultRoadSpeedLimit : nat = 10;      
--amount of waiting time beofre passengers become annoyed
public static PassengerAnnoyanceLimit : nat = 40;    
--max value of passengers inflow 
public static MaxInflow : nat = 10;    

end Config

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.36Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff