Co to jest VDMTools?
VDMTools to zestaw narzędzi programistycznych wspierających metodę VDM (Vienna Development Method), formalny język specyfikacji używany w inżynierii oprogramowania o krytycznym znaczeniu dla bezpieczeństwa. Opracowany przez CSK Corporation w Japonii, zawiera moduł sprawdzania typów, interpreter oraz możliwości generowania kodu dla specyfikacji VDM-SL, VDM++ i VDM-RT.
Pliki otwierane przez VDMTools
Developer Files
Kliknij dowolną odznakę, aby uzyskać pełne szczegóły dotyczące formatu - co to jest, jak go otworzyć i jak go przekonwertować.
Pobierz VDMTools
ŹRÓDŁOwww.vdmtools.jpoficjalna strona - unikaj portali z plikami innych firm
