Conference Proceeding

Modular Feature Specification

Details

Citation

Turner KJ (2001) Modular Feature Specification. In: Gray T (ed.) Proceedings of MICON 2001. MICON 2001, Ontario, Canada. Kanata, Canada: Mitel Networks Corporation.

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.

StatusPublished
Publication date31/08/2001
URLhttp://hdl.handle.net/1893/568
PublisherMitel Networks Corporation
Place of publicationKanata, Canada
ConferenceMICON 2001
Conference locationOntario, Canada

People (1)

People

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science