Detail publikačního výsledku

Executable specifications for Process Automation and Microelectronics

KUČERA, P.; ZEZULKA, F.; ŠVÉDA, M.; VRBA, R.

Originální název

Executable specifications for Process Automation and Microelectronics

Anglický název

Executable specifications for Process Automation and Microelectronics

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

In the paper, an introduction to the developed asynchronous specification language is followed by a review to the related prototyping techniques. The main part of the paper deals with an application of the language for two-level specification of an Internet-based appliance for pressure measurement. While the upper level of this specification focuses on process automation aspects, the lower level provides behavioral definitions of microelectronic system's implementation facets.

Anglický abstrakt

In the paper, an introduction to the developed asynchronous specification language is followed by a review to the related prototyping techniques. The main part of the paper deals with an application of the language for two-level specification of an Internet-based appliance for pressure measurement. While the upper level of this specification focuses on process automation aspects, the lower level provides behavioral definitions of microelectronic system's implementation facets.

Klíčová slova

executable specifications, attribute grammars, macroprocessor, Prolog, trial architecture

Klíčová slova v angličtině

executable specifications, attribute grammars, macroprocessor, Prolog, trial architecture

Autoři

KUČERA, P.; ZEZULKA, F.; ŠVÉDA, M.; VRBA, R.

Vydáno

19.04.2002

Nakladatel

University of Stirling

Místo

Lund

ISBN

1-85769-169-5

Kniha

IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Strany od

91

Strany do

98

Strany počet

8

BibTex

@inproceedings{BUT9819,
  author="Pavel {Kučera} and František {Zezulka} and Miroslav {Švéda} and Radimír {Vrba}",
  title="Executable specifications for Process Automation and Microelectronics",
  booktitle="IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2002",
  pages="91--98",
  publisher="University of Stirling",
  address="Lund",
  isbn="1-85769-169-5"
}