Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Visualisation of interval temporal logic

Tools
- Tools
+ Tools

Chakrapani Rao, Arun, Cau, Antonio and Zedan, Hussein (2000) Visualisation of interval temporal logic. In: Fifth Joint Conference on Information Sciences (JCIS 2000), New Jersey, USA, 28 Feb - 03 Mar 2000. Published in: Proceedings of The Fifth Joint Conference on Information Sciences (JCIS 2000) pp. 687-690.

Research output not available from this repository.

Request-a-Copy directly from author or use local Library Get it For Me service.

Request Changes to record.

Abstract

This paper provides preliminary details on a visual language, namely VisITL (that was developed as part of my PhD thesis at the Software Technology Research Laboratory, De Motfort University, UK), along with the associated underlying formal semantics. This (visual and formal) language formed the basic for a prototype software tool I developed subsequently to demonstrate the (lean) approach for increasing the accessibility of formal methods in general.

Item Type: Conference Item (Paper)
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions: Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group)
Journal or Publication Title: Proceedings of The Fifth Joint Conference on Information Sciences (JCIS 2000)
Official Date: 3 March 2000
Dates:
DateEvent
3 March 2000Published
15 January 2000Accepted
Page Range: pp. 687-690
Status: Peer Reviewed
Publication Status: Published
Conference Paper Type: Paper
Title of Event: Fifth Joint Conference on Information Sciences (JCIS 2000)
Type of Event: Conference
Location of Event: New Jersey, USA
Date(s) of Event: 28 Feb - 03 Mar 2000

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us