Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Language constructs for describing feature,
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Language constructs for describing feature,

Language constructs for describing feature,

Stephen Gilmore, Mark Ryan

231 pages, parution le 01/01/2001

Résumé

A feature is a small modification or extension of a system, which can be perceived as having a self-contained functional role. Features arc prominent in telephone systems, where they include services to which users can subscribe, including Call Forwarding, Automatic Call back and Voice Mail, and feature interaction happens when one feature modifies or subverts the operation of another. The problem of feature interaction 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. Contributions from other research workers inside and outside of Fireworks are included.

Contents

  • Preface
  • Invited papers
  • Structuring telecommunications features
  • Feature-oriented description, formal methods, and DFC
  • Contributed papers
  • 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 Mature 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

L'auteur - Mark Ryan

Diplômé de la Brown University et de la University of Wisconsin Law School, Mark Ryan enseigne les maths depuis 1989. Il dirige The Math Center et est professeur de lycée dans l'Illinois, avec notamment la responsabilité d'un cours d'introduction à la géométrie et d'un atelier destiné aux parents basé sur un programme qu'il a lui-même conçu, intitulé The 10 Habits of Highly Successful Math Students. Au lycée, il a réalisé à deux reprises le score parfait de 800 au volet mathématiques du SAT1. Mark Ryan est membre de l'Authors Guild et du National Council of Teachers of Mathematics.

Autres livres de Mark Ryan

Caractéristiques techniques

  PAPIER
Éditeur(s) Springer
Auteur(s) Stephen Gilmore, Mark Ryan
Parution 01/01/2001
Nb. de pages 231
Format 15,5 x 23,4
Couverture Broché
Poids 382g
Intérieur Noir et Blanc
EAN13 9781852333928

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription