Language Constructs for Describing Features: Proceedings of the FIREworks workshop

Language Constructs for Describing Features: Proceedings of the FIREworks workshop

Paperback(1st Edition.)

$109.00
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, January 24

Product Details

ISBN-13: 9781852333928
Publisher: Springer London
Publication date: 01/12/2001
Edition description: 1st Edition.
Pages: 233
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Structuring telecommunications features.- Feature-oriented description, formal methods, and DFC.- Use case maps as a feature description notation.- An incremental method for the design of feature-oriented systems.- Abstraction and refinement of features.- Proving feature non-interaction with Alternating-Time Temporal Logic.- Algebraic treatment of feature-oriented systems.- The PEPA feature construct.- A heuristic algorithm to detect feature interactions in requirements.- Defining features for CSP: Reflections on the feature interaction contest.- Stack service model.- The declarative language STR (State Transition Rule).- Modular feature integration and validation in a synchronous context.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews