Conference paper

ŠVÉDA Miroslav. An Asynchronous Specification Language for Computer-Based Systems Design. In: Electronic Devices and Systems 1999 - Proceedings. Brno: Faculty of Electrical Engineering and Computer Science BUT, 1999, pp. 137-143. ISBN 80-214-1466-9.
Publication language:english
Original title:An Asynchronous Specification Language for Computer-Based Systems Design
Pages:137-143
Proceedings:Electronic Devices and Systems 1999 - Proceedings
Place:Brno, CZ
Year:1999
ISBN:80-214-1466-9
Publisher:Faculty of Electrical Engineering and Computer Science BUT
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da},
   title = {An Asynchronous Specification Language for Computer-Based
	Systems Design},
   pages = {137--143},
   booktitle = {Electronic Devices and Systems 1999 - Proceedings},
   year = {1999},
   location = {Brno, CZ},
   publisher = {Faculty of Electrical Engineering and Computer Science BUT},
   ISBN = {80-214-1466-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6501}
}

Your IPv4 address: 54.82.81.154
Switch to IPv6 connection

DNSSEC [dnssec]