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 :
Complementary 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