Language Constructs for Describing Features

Proceedings of the FIREworks workshop

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by MARC Bot
July 4, 2019 | History

Language Constructs for Describing Features

Proceedings of the FIREworks workshop

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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.

Publish Date
Publisher
Springer London
Language
English
Pages
233

Buy this book

Previews available in: English

Edition Availability
Cover of: Language Constructs for Describing Features
Language Constructs for Describing Features: Proceedings of the FIREworks workshop
2001, Springer London
electronic resource : in English

Add another edition?

Book Details


Table of Contents

Daniel Amyot
Use case maps as a feature description notation
Karim Berkani, Pascale Le Gall, and Francis Klay
An incremental method for the design of feature-oriented systems
Franck Cassez, Mark Dermot Ryan, and Pierre-Yves Schobbens
Proving feature non-interaction with Alternating-Time Temporal Logic
Dominique Cansell and Dominique Mry
Abstraction and refinement of features
Christophe Gaston, Marc Aiguier, and Pascale Le Gall
Algebraic treatment of feature-oriented systems
Stephen Gilmore and Jane Hillston
The PEPA feature construct
Maritta Heisel and Jeanine Souquires
A heuristic algorithm to detect feature interactions in requirements
Malte Plath and Mark Dermot Ryan
Defining features for CSP: Reflections on the feature interaction contest
D. Samborski
Stack service model
Kenneth J. Turner
Structuring telecommunications features
T. Yoneda and T. Ohta
The Declarative language STR (State Transition Rule)
Pamela Zave
Feature-oriented description, formal Methods, and DFC
Nicolas Zuanon
Modular feature integration and validation in a synchronous context.

Edition Notes

Published in
London

Classifications

Library of Congress
QA76.5-.73

The Physical Object

Format
[electronic resource] :
Pagination
1 online resource (X, 233 pages)
Number of pages
233

ID Numbers

Open Library
OL27068654M
Internet Archive
languageconstruc00turn
ISBN 10
1447102878
ISBN 13
9781447102878
OCLC/WorldCat
840276995

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 4, 2019 Created by MARC Bot import new book