Publication Details

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

BUREŠ František and RYŠAVÝ Ondřej. Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1. ElectronicsLetters.com, vol. 2003, no. 6, p. 6. ISSN 1213-161X.

Czech title

Popis vybraných tříd specifikace stadndardu IEEE 1451.1

Type

journal article

Language

english

Authors

Bureš František, Ing. (DIFS FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)

URL

http://www.electronicsletters.com/papers/2003/0014/paper.asp HTML

Keywords

Internet, IEEE 1451.1, object-oriented specifications

Abstract

The IEEE1451.1 standard provides rigorous definition of network capable application processor architecture. It consists of three models that use object oriented modelling techniques to provide description of application architecture, datatype specifications, and communication models. A subset of definitions provided by this standard is formally specified by object-oriented specification language with expressiveness of higher-order logic. The results demonstrate that formal approach may produce clear and readable abstract description of real architecture.

Published

2003

Pages

Journal

ElectronicsLetters.com, vol. 2003, no. 6, ISSN 1213-161X

Book

ElectronicsLetters.com

BibTeX

@ARTICLE{FITPUB7247,
   author = "Franti\v{s}ek Bure\v{s} and Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1",
   pages = 6,
   booktitle = "ElectronicsLetters.com",
   journal = "ElectronicsLetters.com",
   volume = 2003,
   number = 6,
   year = 2003,
   ISSN = "1213-161X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7247"
}