Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/568
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Author(s): Turner, Kenneth J
Contact Email: kjt@cs.stir.ac.uk
Title: Modular Feature Specification
Editor(s): Gray, Tom
Citation: Turner KJ (2001) Modular Feature Specification. In: Gray T (ed.) Proceedings of MICON 2001. MICON 2001, Ontario, Canada. Kanata, Canada: Mitel Networks Corporation.
Issue Date: Aug-2001
Date Deposited: 24-Nov-2008
Conference Name: MICON 2001
Conference Location: Ontario, Canada
Abstract: CRESS (CHISEL Representation Employing Systematic Specification) is a notation and set of tools for graphical specification and analysis of features. It is applicable wherever a system consists of base functionality to which are added optionally selected features. The CRESS notation is introduced for basic diagrams, feature diagrams, and rules governing their behaviour. Although telephony is used to illustrate the approach, CRESS is not limited to this domain. The structure and use of the portable CRESS toolset is explained. CRESS can generate code for a variety of target languages. The strategy for translation to LOTOS is presented, along with some techniques for analysing the generated specifications.
Status: AM - Accepted Manuscript

Files in This Item:
File Description SizeFormat 
mod-feat.pdfFulltext - Accepted Version125.21 kBAdobe PDFView/Open



This item is protected by original copyright



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.