Overture Tool

Overture Tool náhled pro download
4.5 out of 5 stars (4,5 / 5)

Vydavatel: Overture Development Tool
Verze: 2.7.0
Velikost: 128.5MB
Licence: Freeware

uloz

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

Overture Tool je integrované atmosféra (IDE) pro rozvíjení a studii VDM (The Vienna Development Method) modelů. VDM je modelově orientovaná strohý styl práce pro rozvíjení výpočetních systémů a softwaru. Skládá se ze skupiny matematických jazyků a nástrojů pro posudek a studii 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ý v objektově orientované strohý specifikace) a RT (používán k modelování a studii vestavěných systémů).

Získejte registraci domén s tld .online, .space, .store, .tech zdarma!
Stačí si k jedné z těchto domén vybrat hosting Plus nebo Mega a registraci domény od nás dostanete za 0 Kč!
Objednat