An Asynchronous Specification Language for Computer-Based Systems Design
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F99%3A43801077" target="_blank" >RIV/00216305:26220/99:43801077 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
An Asynchronous Specification Language for Computer-Based Systems Design
Original language description
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 generaldescription, 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
1999
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Electronic Devices and Systems 1999 - Proceedings
ISBN
80-214-1466-9
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
—
Publisher name
FEI VUT Brno
Place of publication
Brno
Event location
—
Event date
—
Type of event by nationality
—
UT code for WoS article
—