xsd2als

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎2 ‎Stemmen

Over xsd2als

Model XML-schemadocumenten in de logica van de eerste orde met behulp van Alloy om testingangen voor toepassingen te genereren en beperkingen met betrekking tot documenten te bewijzen.