Detail publikace

An Asynchronous Specification Language for Computer-Based Systems Design

ŠVÉDA, M.

Originální název

An Asynchronous Specification Language for Computer-Based Systems Design

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

This paper describes an approach to computer-based applications design. The concept used stems from an asynchronous specification language in frame of a design method based on the modelling paradigm of local time. The case study, accompanying the general description, deals with a simple but real-world device that is embedded in lift control system. After reviewing emerging discipline the Engineering of Computer-Based Systems, main attention is focused on the Local-Time Design Method and on the Asynchronous Specification Language.

Autoři

ŠVÉDA, M.

Vydáno

1. 1. 1999

Nakladatel

Faculty of Electrical Engineering and Computer Science BUT

Místo

Brno

ISBN

80-214-1466-9

Kniha

Electronic Devices and Systems 1999 - Proceedings

Strany od

137

Strany do

143

Strany počet

7

BibTex

@inproceedings{BUT191533,
  author="Miroslav {Švéda}",
  title="An Asynchronous Specification Language for Computer-Based Systems Design",
  booktitle="Electronic Devices and Systems 1999 - Proceedings",
  year="1999",
  pages="137--143",
  publisher="Faculty of Electrical Engineering and Computer Science BUT",
  address="Brno",
  isbn="80-214-1466-9"
}