Detail publikace

Formal Specifications of Computer-Based Systems

ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems. Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002. p. 224-225. ISBN: 0-7695-1549-5.
Název česky
Formální specifikace systémů založených na počítačích
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Rattray Charles
Rozenblit Jerzy
Klíčová slova

formal specifications, computer-based systems, IEEE TC-ECBS WG-FS, IFIP 10.1

Abstrakt

Příspěvek objasňuje počátky, účel a cíle spojené iniciativy IEEE Society Technical Committee on Engineering of Computer-Based Systems a IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. Tato iniciativa směřuje k implementaci workshopu Formal Specifications of Computer-Based Systems. Dále příspěvek prezentuje program předcházejícího workshopu FSCBS'01, který se konal ve Washingtonu, D.C., v roce 2001 a také uvádí cíle současného workshopu FSCBS'02 v Lundu ve Švédsku, 2002.

Rok
2002
Strany
224–225
Sborník
Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-1549-5
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, CA
BibTeX 
@inproceedings{BUT9818,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems",
  booktitle="Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  year="2002",
  pages="224--225",
  publisher="IEEE Computer Society",
  address="Los Alamitos, CA",
  isbn="0-7695-1549-5"
}
Nahoru