The Library
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.
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: |
|
||||||
| 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 |
