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/542
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.editorCalder, Muffy Hen_UK
dc.contributor.editorMagill, Evan Hen_UK
dc.date.accessioned2017-08-17T03:10:14Z-
dc.date.available2017-08-17T03:10:14Z-
dc.date.issued2005-05en_UK
dc.identifier.urihttp://hdl.handle.net/1893/542-
dc.description.abstractThe CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Language) and LOTOS (Language Of Temporal Ordering Specification). This permits rigorous checking, analysis and prototyping of descriptions. The accompanying toolset has been written in an open and extensible manner.en_UK
dc.language.isoenen_UK
dc.publisherIOS Pressen_UK
dc.relationTurner KJ (2005) Formalising the Chisel Feature Notation. In: Calder MH & Magill EH (eds.) Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK. FIW: Feature Interactions in Telecommunications and Software Systems VI, Glasgow, Scotland, 17.05.2000-19.05.2000. Amsterdam, The Netherlands: IOS Press, pp. 241-256. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484en_UK
dc.relation.urihttp://www.cs.stir.ac.uk/~mko/fiw00/en_UK
dc.rightsPublished by IOS Press, copyright 2000.en_UK
dc.titleFormalising the Chisel Feature Notationen_UK
dc.typeConference Paperen_UK
dc.citation.spage241en_UK
dc.citation.epage256en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.identifier.urlhttp://www.iospress.nl/loadtop/load.php?isbn=9781586033484en_UK
dc.author.emailkjt@stir.ac.uken_UK
dc.citation.btitleFeature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UKen_UK
dc.citation.conferencedates2000-05-17 - 2000-05-19en_UK
dc.citation.conferencelocationGlasgow, Scotlanden_UK
dc.citation.conferencenameFIW: Feature Interactions in Telecommunications and Software Systems VIen_UK
dc.citation.isbn9781586030650en_UK
dc.publisher.addressAmsterdam, The Netherlandsen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.identifier.wtid831618en_UK
dcterms.dateAccepted2005-05-31en_UK
dc.date.filedepositdate2008-11-17en_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionAMen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.contributorCalder, Muffy H|en_UK
local.rioxx.contributorMagill, Evan H|en_UK
local.rioxx.freetoreaddate2008-11-17en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2008-11-17|en_UK
local.rioxx.filenameform-chis.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source9781586030650en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
form-chis.pdfFulltext - Accepted Version155.74 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.