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
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"
}
Nahoru