Stufen
Anforderungen
|
Konzepte
|
Entwurf
|
Entwicklung
|
Qualitätssicherung
|
Lebenszyklus
|
Steuerung
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
/
VDMRT
/
VDMRT
/
Quellcodebibliothek
Verzeichnis products/sources/formale Sprachen/VDM/VDMRT/VDMRT/
Original von:
Wiener Entwicklungsmethode
©
lib
.project
Config.vdmrt
Controller.vdmrt
Environment.vdmrt
Position.vdmrt
Printer.vdmrt
README.txt
Test.vdmrt
TestCase.vdmrt
TestController.vdmrt
TestPosition.vdmrt
TestResult.vdmrt
TestSuite.vdmrt
TestTraffic.vdmrt
TestTrafficData.vdmrt
TestTrafficLight.vdmrt
TestVDMComplete.vdmrt
TestVDMController.vdmrt
TestVehicle.vdmrt
Traffic.vdmrt
TrafficData.vdmrt
TrafficLight.vdmrt
Types.vdmrt
VDM.vdmrt
VDMController.vdmrt
VDMUtil.vdmrt
Vehicle.vdmrt
VehicleData.vdmrt
World.vdmrt
inputvalues.txt
in der Quellcodebibliothek suchen
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
Impressum
|
Ethik und Gesetz
|
Haftungsausschluß
|
Kontakt
|
Seitenstruktur
|
©
2025 JDD
