HOL-OCL

HOL-OCL - Interactieve bewijsomgeving voor het object Constraint Language (OCL)
Download nu

HOL-OCL Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • GPL
  • Prijs:
  • FREE
  • Naam uitgever:
  • Achim D. Brucker and Burkhart Wolff
  • Uitgever website:
  • http://www.brucker.ch/projects/hol-ocl/index.en.html
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 4.6 MB

HOL-OCL Tags


HOL-OCL Beschrijving

HOL-OCL - Interactieve bewijsomgeving voor het object Constraint Language (OCL) HOL-OCL is een interactieve bewijsomgeving voor de Object Constraint-taal (OCL). Hol-OCL wordt geïmplementeerd als een ondiepe inbedding van OCL in de HOWER-orderlogica (HOL) -instantie van de Interactive Theorem Prover Isabelle.hol-OCL kan de mogelijkheid zijn om OCL-specificaties te verfijnen, de reden over OCL-specificaties en bouwt de basis voor verdere tool ondersteuning, bijv voor de automatische test-case-generatie.


HOL-OCL Gerelateerde software

Ukkoque

Wrapper-klasse rond het meldingsmechanisme van Kouse-bestand wijzigen ...

168 15 KB

Downloaden

Uri-ontsnapping

Decodepercentage ontsnapte URI (URL) -snaren en coderende snaren in procent ontsnappen aan snaren ...

219 279 KB

Downloaden

Kamaelia

Algemeen Component Framework voor alle programmeurs en onderhoudbare ontwikkeling ...

315 4.2 MB

Downloaden

Over ons