Detail výsledku

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. 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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D., UIFS (FIT)
Ščuglík František, Ing., Ph.D., UIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Abstrakt

In this paper, we describe the use of generic programming approach to design and implementation of a collection of basic model-checking algorithms on the .NET framework. The mentioned methodology separates algorithms and data structures similarly to Standard Template Library that allows delivering general and efficient algorithms. As the implementation environment does not enable us to exploit the advantages of static polymorphism provided by the C++ template parameterization we needed to adjust the approach for the use with the generics feature, which is the novel mechanism introduced with the second version of the .NET framework.

Klíčová slova

Generic programming, model-checking algorithm, .NET framework, generics feature

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)
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"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru