Back to Search Start Over

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

Authors :
Bellini, Pierfrancesco
Nesi, Paolo
Rogai, Davide
Source :
IEEE Transactions on Software Engineering. Jun2006, Vol. 32 Issue 6, p428-431. 4p. 2 Charts.
Publication Year :
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 [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*FORMAL methods (Computer science)
*STRUCTURED techniques of electronic data processing
*SYSTEMS design
*SYSTEMS development
*COMPUTER science
*SYSTEM analysis
*SOFTWARE compatibility

Details

Language :
English
ISSN :
00985589
Volume :
32
Issue :
6
Database :
Academic Search Index
Journal :
IEEE Transactions on Software Engineering
Publication Type :
Academic Journal
Accession number :
22539955
Full Text :
https://doi.org/10.1109/TSE.2006.57
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details