Hlavní navigace

Overture Tool 2.7.0

Aktualizace programu
6. 6. 2019
Antivirová kontrola
7. 4. 2020 4:03
Program pravděpodobně spustíte na tomto počítači Vybrat jiné parametry
Staženo
48×
Celkové hodnocení
Průměr hodnocení
3

Pro hodnocení programu se prosím nejprve přihlaste

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í

Průměr hodnocení
3

Pro hodnocení programu se prosím nejprve přihlaste

Souhrnné informace o Overture Tool

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.

Něco jsme propásli?

Dejte nám vědět. Upozornit redakci Stahuj
Velice děkujeme za Vaše podněty