Result Details

Vutbrmsr .NET class library

Created: 2005
Type
software
Language
English
Authors
Ryšavý Ondřej, doc. Ing., Ph.D., DIFS (FIT)
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.

Keywords

ROTOR/.NET framework, class library, verification algorithms and data structures

Location

https://www.fit.vut.cz/research/product/18/

License
Use of the result by another entity is possible without acquiring a license (the result is not licensed)
License Fee
The licensor does not require a license fee for the result
Projects
Specifický výzkum, BUT, Vnitřní projekty VUT, SV, start: 2005-01-01, end: 2009-12-31, completed
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top