RSS export

Zpět na: PC > Vývojové nástroje > Ostatní > Overture Tool

Overture Tool


Celkové hodnocení
 z 5 z 5 z 5 z 5 z 5(bez hlasů)


IDE pro vývoj a analýzu VDM modelů

Overture Tool je integrované prostředí (IDE) pro vývoj a analýzu VDM (The Vienna Development Method) modelů. VDM je modelově orientovaná formální metoda pro vývoj výpočetních systémů a softwaru. Skládá se ze skupiny matematických jazyků a nástrojů pro vyjádření a analýzu systémových modelů v prvotních fázích návrhu.

Pro VDM existuje několik dialektů, přičemž Overture Tool podporuje tři z nich - SL (standardní ISO/VDM-SK s modulárním rozšířením), PP (zaměřený na objektově orientované formální specifikace) a RT (používán k modelování a analýze vestavěných systémů).


Celkové hodnocení

0
0
 z 5 z 5 z 5 z 5 z 5(bez hlasů)


Sdílet s přáteli


Souhrnné informace o Overture Tool

Licence:
Freeware
Autor:
Overture Development Tool
Potřeba instalace:
ano
Domovská stránka:
http://overturetool.org
Velikost souboru:
128,5 MB (2.7.0 32-bit)
128,5 MB (2.7.0 64-bit)
Operační systém:
Windows XP/Vista/7/8/10
Staženo:
15x celkem
6x tento týden
Poslední aktualizace:
6. června 2019
Odběr nových aktualizací:

Oznámit potíže s programem

Program nejde stáhnout, má chybný popis nebo víte o novější verzi?
Dejte nám o tom vědět. Velice děkujeme za Vaše podněty.