Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Authors: Turner, Kenneth J
Contact Email:
Title: Modular Feature Specification
Editors: Gray, Tom
Citation: Turner KJ (2001) Modular Feature Specification, Gray Tom (ed.) Proceedings of MICON 2001, MICON 2001, Canada, Kanata, Canada: Mitel Networks Corporation.
Issue Date: Aug-2001
Conference Name: MICON 2001
Conference Location: 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.
Type: Conference Paper
Status: Post-print (author final draft post-refereeing)
Affiliation: Computing Science - CSM Dept

Files in This Item:
File Description SizeFormat 
mod-feat.pdf125.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.

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