The paper on Comments on “An Interval Logic for Real-Time System Specification” presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO Theory of paper [1] and provides some further clarifications about some aspects of the comparison. Index Terms—Formal language, temporal logic, interval temporal logic, TILCO, conciseness.
Reply to comments on "An Interval Logic for Real-Time System Specification" / p.Bellini; P.NESI; D.Rogai. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - STAMPA. - 32:(2006), pp. 428-431. [10.1109/TSE.2006.57]
Reply to comments on "An Interval Logic for Real-Time System Specification"
BELLINI, PIERFRANCESCO;NESI, PAOLO;ROGAI, DAVIDE
2006
Abstract
The paper on Comments on “An Interval Logic for Real-Time System Specification” presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO Theory of paper [1] and provides some further clarifications about some aspects of the comparison. Index Terms—Formal language, temporal logic, interval temporal logic, TILCO, conciseness.File | Dimensione | Formato | |
---|---|---|---|
01650217.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
730.09 kB
Formato
Adobe PDF
|
730.09 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.