Detail produktu
Vutbrmsr .NET class library
Vznik: 2005
Název česky
Vutbrmsr .NET knihovna tříd
Typ
software
Licence
Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Autoři
Klíčová slova
ROTOR/.NET framework, class library, verification algorithms and data structures
Popis
Softwarový projekt implementuje základy rozšiřitelné infrastruktury pro vývoj a realizaci verifikačních algoritmů a datových struktur v prostředí Microsoft ROTOR/.NET. Pro návrh je použita metoda generického programování, tak aby byla zajištěna efektivnost algoritmů a jejich maximální znovupoužitelnost.
Umístění
Projekty
Specifický výzkum, VUT, Vnitřní projekty VUT, SV, 2005-2009, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů
(UIFS)