Hol-ocl

Hol-OCL - Nesne kısıtlama dili için interaktif prova ortamı (OCL)
Şimdi İndirin

Hol-ocl Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • GPL
  • Fiyat:
  • FREE
  • Yayıncı adı:
  • Achim D. Brucker and Burkhart Wolff
  • yayıncı web sitesi:
  • http://www.brucker.ch/projects/hol-ocl/index.en.html
  • İşletim sistemleri:
  • Mac OS X
  • Dosya boyutu:
  • 4.6 MB

Hol-ocl Etiketler


Hol-ocl Açıklama

HOL-OCL - Nesne kısıtlaması için interaktif kanıt ortamı (OCL) Hol-OCL, nesne kısıtlama dili (OCL) için etkileşimli bir prova ortamıdır. HOL-OCL, interaktif teorem atasözünün daha yüksek dereceli mantık (hol) örneğinde OCL'nin sığ bir gömülü olarak uygulanır. destek, örneğin Otomatik test kasası üretimi için.


Hol-ocl İlgili Yazılım

Smalltalk yx

SmallTalk YX - Açık Kaynak Programlama Dili (SmallTalk-80 standardının uygulanması) ...

175 875 KB

İndirmek

Hakkımızda