1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Conference Papers and Proceedings
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/614
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.authorMcClenaghan, Ashleyen_UK
dc.contributor.authorChan, Colinen_UK
dc.contributor.editorAtalay, Volkanen_UK
dc.contributor.editorHalici, Uguren_UK
dc.contributor.editorInan, Kemalen_UK
dc.contributor.editorYalabik, Neseen_UK
dc.contributor.editorYazici, Adnanen_UK
dc.date.accessioned2017-08-21T23:11:20Z-
dc.date.available2017-08-21T23:11:20Z-
dc.date.issued1996en_UK
dc.identifier.urihttp://hdl.handle.net/1893/614-
dc.description.abstractSOLVE (Specification using an Object-based, LOTOS-defined, Visual language) is designed to allow formal requirements capture, particularly for reactive systems. The SOLVE language is object-based, and formally defined using LOTOS (Language Of Temporal Ordering Specification). SOLVE is supported by tools that allow direct visual animation of systems specified in this language. Animation is supported by translating a SOLVE specification automatically into a LOTOS specification, and then graphically simulating this. A further application is embodied in the XDILL tool that supports requirements specification and visual animation of digital logic circuits. Several illustrative SOLVE examples are given.en_UK
dc.language.isoenen_UK
dc.publisherMiddle East Technical Universityen_UK
dc.relationTurner KJ, McClenaghan A & Chan C (1996) Specification and Animation of Reactive Systems. In: Atalay V, Halici U, Inan K, Yalabik N & Yazici A (eds.) Proceedings of the eleventh international symposium on computer and information sciences. ISCIS-XI - The Eleventh International Symposium on Computer and Information Sciences, Antalya, Turkey, 06.11.1996-08.11.1996. Ankara, Turkey: Middle East Technical University, pp. 355-364.en_UK
dc.titleSpecification and Animation of Reactive Systemsen_UK
dc.typeConference Paperen_UK
dc.citation.spage355en_UK
dc.citation.epage364en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.citation.btitleProceedings of the eleventh international symposium on computer and information sciencesen_UK
dc.citation.conferencedates1996-11-06 - 1996-11-08en_UK
dc.citation.conferencelocationAntalya, Turkeyen_UK
dc.citation.conferencenameISCIS-XI - The Eleventh International Symposium on Computer and Information Sciencesen_UK
dc.citation.isbn9754291039en_UK
dc.publisher.addressAnkara, Turkeyen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationPhilips Research Labsen_UK
dc.contributor.affiliationUniversity of Stirlingen_UK
dc.identifier.wtid831255en_UK
dcterms.dateAccepted1996-12-31en_UK
dc.date.filedepositdate2008-12-15en_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionAMen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.authorMcClenaghan, Ashley|en_UK
local.rioxx.authorChan, Colin|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.contributorAtalay, Volkan|en_UK
local.rioxx.contributorHalici, Ugur|en_UK
local.rioxx.contributorInan, Kemal|en_UK
local.rioxx.contributorYalabik, Nese|en_UK
local.rioxx.contributorYazici, Adnan|en_UK
local.rioxx.freetoreaddate2008-12-15en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2008-12-15|en_UK
local.rioxx.filenameanim-react.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source9754291039en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
anim-react.pdfFulltext - Accepted Version102.86 kBAdobe PDFView/Open


This item is protected by original copyright

View License
Show simple item record


Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.