Language Constructs for Describing Features: Proceedings of the FIREworks workshop
Author:   Stephen Gilmore ,  Mark Ryan
Publisher:   Springer London Ltd
Edition:   Edition. ed.
ISBN:  

9781852333928


Pages:   233
Publication Date:   27 November 2000
Format:   Paperback
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $398.64 Quantity:  
Add to Cart

Share |

Language Constructs for Describing Features: Proceedings of the FIREworks workshop


Overview

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly being developed and deployed. This volume contains refereed papers resulting from the ESPRIT FIREworks working group. The papers focus on the language constructs which have been developed describing features, and advocate a feature-oriented approach to software design including requirements specification languages and verifications logics.

Full Product Details

Author:   Stephen Gilmore ,  Mark Ryan
Publisher:   Springer London Ltd
Imprint:   Springer London Ltd
Edition:   Edition. ed.
Dimensions:   Width: 15.50cm , Height: 1.30cm , Length: 23.50cm
Weight:   0.380kg
ISBN:  

9781852333928


ISBN 10:   1852333928
Pages:   233
Publication Date:   27 November 2000
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now