The Community for Technology Leaders
The Third Workshop on Future Trends of Distributed Computing Systems (1992)
Taipei, Taiwan
April 14, 1992 to April 16, 1992
ISBN: 0-8186-2755-7
pp: 79-85
K.-Y. Sung , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
J.E. Urban , Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
ABSTRACT
Real-time Descartes is a formal language for specifying real-time software, which is an extension of the executable Descartes specification language. Many formal specification techniques have been proposed to conceptualize real-world semantics of the inherently complex nature of real-time systems. Descartes as one of the specification languages based on the functional model has the advantages of easy constructibility and comprehensibility. Real-time Descartes makes effective use of the advantages of the finite state machine (FSM) model, the assertional model, and the process model while overcoming the disadvantages of the functional model. Easy constructibility and comprehensibility of Real-time Descartes will lessen the burden from software developers and reduce the understanding gap among participants.<>
INDEX TERMS
finite automata, formal specification, real-time systems, specification languages
CITATION

K. Sung and J. Urban, "Real-time Descartes: a real-time specification language," The Third Workshop on Future Trends of Distributed Computing Systems(FTDCS), Taipei, Taiwan, , pp. 79-85.
doi:10.1109/FTDCS.1992.217511
93 ms
(Ver 3.3 (11022016))