31 srpna, 2019
Overture Tool
(4,5 / 5)
| Vydavatel: | Overture Development Tool |
| Verze: | 2.7.0 |
| Velikost: | 128.5MB |
| Licence: | Freeware |
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ů).
