Detail publikačního výsledku

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

BUREŠ, F.; RYŠAVÝ, O.

Originální název

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

Anglický název

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Internet, IEEE 1451.1, object-oriented specifications

Klíčová slova v angličtině

Internet, IEEE 1451.1, object-oriented specifications

Autoři

BUREŠ, F.; RYŠAVÝ, O.

Vydáno

16.06.2003

Kniha

ElectronicsLetters.com

ISSN

1213-161X

Periodikum

ElectronicsLetters.com - http://www.electronicsletters.com

Svazek

2003

Číslo

6

Stát

Česká republika

Strany počet

6

URL

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

BibTex

@article{BUT42005,
  author="František {Bureš} and Ondřej {Ryšavý}",
  title="Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1",
  journal="ElectronicsLetters.com - http://www.electronicsletters.com",
  year="2003",
  volume="2003",
  number="6",
  pages="6",
  issn="1213-161X",
  url="http://www.electronicsletters.com/papers/2003/0014/paper.asp"
}