Vdmj VDM-SL, VDM ++ ve VDM-RT desteğiyle bir geliştirme uygulaması.
Şimdi İndirin

Vdmj Sıralama ve Özet

Vdmj Etiketler

üretmek Dinamikler SL ayrıştırıcı ayrıştırmak VDM Kod ayrıştırıcısı kanıt yükümlülüğü oluşturucu Kaynak Kod Türü Denetleyicisi rt

Vdmj Açıklama

VDMJ, Java'da yazılan VDM-SL, VDM ++ ve VDM-RT spesifikasyon dillerini destekleyen bir temel araç sunmak için özel olarak tasarlanmış kullanışlı, kullanımı kolay bir araçtır. Bir ayrıştırıcı, tip denetleyicisi, tercüman, bir hata ayıklayıcı ve kanıtlayıcı bir zorunluluk üreteci içerir. Overture Eclipse Projesi tarafından kullanılır. Ana Özellikler: Ayrıştırma, Tip kontrol, yürütme ve hata ayıklama VDM spesifikasyonları kanıt yükümlülükleri üretin Testler için ayrıntılı kod kapsamı oluşturun Kombinatoryal testleri gerçekleştirin Üç VDM lehçesine destek spesifikasyonlarda uluslararası karakter kümeleri için destek Dış Kütüphaneler ve Uzaktan Kumandaya Destek

Vdmj İlgili Yazılım