Syspect 1.5.0

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

Syspect is een hulpmiddel om een systeem op te geven met behulp van UML2-diagrammen en deze te vertalen naar een CSP-OZ-DC-specificatie voor formele verificatie.

versiegeschiedenis

  • Versie 1.5.0 geplaatst op 2010-05-11
    Verschillende oplossingen en updates
  • Versie 1.5.0 geplaatst op 2010-05-11

Programmadetails