Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/VDM/VDMPP/trayallocationPP/

Quellcodebibliothek

Verzeichnis products/sources/formale Sprachen/VDM/VDMPP/trayallocationPP/

.project
AllocatorOneTray.vdmpp
AllocatorStrategy.vdmpp
AllocatorTwoTray.vdmpp
InductionController.vdmpp
Item.vdmpp
ItemLoader.vdmpp
README.txt
SC.vdmpp
SorterEnviroment.vdmpp
String.vdmpp
TestScenarioAndResults.txt
TestSenarios.vdmpp
Tray.vdmpp
TrayAllocator.vdmpp
TrayAllocatorCompleteModel.txt
World.vdmpp
scenario.txt
scenario1.txt
scenario2.txt
scenario3.txt
scenario4.txt
scenario5.txt
test
test.txt
testResult.txt
trayallocationPP.launch