Vutbrmsr .NET class library
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APR22624" target="_blank" >RIV/00216305:26230/05:PR22624 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Vutbrmsr .NET class library
Original language description
The software project implementes the basic and extendible infrastructure for verification algorithms and data structures. It targets Microsoft ROTOR/.NET framework. Design and implementation of the library is driven by algorithm-oriented branch of generic programming approach in order to meet the maximal effectiveness and reusability of the implemented components.
Czech name
Vutbrmsr .NET knihovna tříd
Czech description
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.
Classification
Type
X - Unclassified
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů