Detail produktu
Vutbrmsr .NET class library
Vznik: 2005
Název česky
Vutbrmsr .NET knihovna tříd
Typ
software
Licence
ne - zdarma
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
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.
Projekty
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)