An Enhanced Version of Timed <IMG ALIGN=BOTTOM SRC="_8070_tex2html_wrap439.gif"> and its Application


next up previous contents
Next: Architecture-Driven Specification using Up: Abstracts of Papers Previous: VLib : infinite

An Enhanced Version of Timed and its Application

Source: Luc Léonard, Guy Leduc <leduc@montefiore.ulg.ac.be>, University of Liège

The following abstract is from [5]. We propose ET-, a timed extension of . It is an enhancement of Timed that we presented at FORTE 92. We show how some simple modifications allow us to improve the expressiveness of our former formalism. To assess ET-, we apply it to the specification of a small case study. Finally, we show how the semantics of ET- could be modified to easily define more powerful operators, if one ever had to.


Axel Belinfante.
Wed Oct 5 19:28:49 MET 1994