Language constructs for describing feature,
Résumé
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
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
