• DocumentCode
    1012723
  • Title

    Reply to comments on "An Interval Logic for Real-Time System Specification"

  • Author

    Bellini, Pierfrancesco ; Nesi, Paolo ; Rogai, Davide

  • Author_Institution
    Dept. of Syst. & Informatics, Florence Univ.
  • Volume
    32
  • Issue
    6
  • fYear
    2006
  • fDate
    6/1/2006 12:00:00 AM
  • Firstpage
    428
  • Lastpage
    431
  • 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 and provides some further clarifications about some aspects of the comparison
  • Keywords
    formal specification; real-time systems; specification languages; temporal logic; TILCO theory; interval logic; real-time system specification; Logic; Production; Real time systems; Solids; Timing; Usability; Formal language; TILCO; conciseness.; interval temporal logic; temporal logic;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2006.57
  • Filename
    1650217
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1012723