Detail publikace
Designing Algorithm-oriented Generic Library on .NET Framework
RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. 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. p. 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
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D.
(UIFS)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova
Generic programming, model-checking algorithm, .NET framework, generics feature
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
ISBN
0-7695-2546-6
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, CA
BibTeX
@inproceedings{BUT22179,
author="Ondřej {Ryšavý} and František {Ščuglík} and Miroslav {Švéda}",
title="Designing Algorithm-oriented Generic Library on .NET Framework",
booktitle="Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006",
year="2006",
pages="159--163",
publisher="IEEE Computer Society",
address="Los Alamitos, CA",
isbn="0-7695-2546-6"
}