| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/MSAWseqPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 639 B |
|
Quelle README.txt Sprache: Text |
|||||||||
|
Author: Augusto Ribeiro
This VDM++ model is made by August Ribeiro as input for the VDM courses delivered at IHA in Denmark. It is a concurrent version of the Minimum Safety Altitude Warning System (MSAW) example. 2011-12-28 This VDM++ model has been updated by Rasmus Lauritsen with the addition of a swing java radar display. The Radar.vdmpp model is now hooked up the with Radar display. The radar display will make a 360 degrees scan everytime the "Scan" operation on the Radar is invoked. lib/radar.jar contains binary and source code for the java radar display. Language Version: vdm10 Entry point : new World().Run() ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28