Detail publikace
Designing Algorithm-oriented Generic Library on .NET Framework
RYŠAVÝ Ondřej, ŠČUGLÍK František a ŠVÉDA Miroslav. Designing Algorithm-oriented Generic Library on .NET Framework. In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006, s. 159-163. ISBN 0-7695-2546-6.
Název česky
Návrh algoritmicky orientované generické knihovny na základě rámce .NET
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt
Popis užití přístupu generického programování pro návrh a implementaci základní kolekce algoritmů model-checking na základě rámce .NET.
Rok
2006
Strany
159-163
Sborník
Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006
Konference
13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), Potsdam, DE
ISBN
0-7695-2546-6
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, CA, US
BibTeX
@INPROCEEDINGS{FITPUB8017, author = "Ond\v{r}ej Ry\v{s}av\'{y} and Franti\v{s}ek \v{S}\v{c}ugl\'{i}k and Miroslav \v{S}v\'{e}da", title = "Designing Algorithm-oriented Generic Library on .NET Framework", pages = "159--163", booktitle = "Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006", year = 2006, location = "Los Alamitos, CA, US", publisher = "IEEE Computer Society", ISBN = "0-7695-2546-6", language = "english", url = "https://www.fit.vut.cz/research/publication/8017" }