D.B.S.S.V.E.

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

DBSSVE is een enkele omgeving om een intuïtieve lichtgewicht formele specificatie te gebruiken in de specificatie- en testfasen van softwareontwikkeling. Ook DBSSVE zal uitbredenbaar zijn voor andere op beslissingen gebaseerde specificatienotaties en talen.

versiegeschiedenis

  • Versie dbssve geplaatst op 2011-07-23
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-07-23

Programmadetails