|
|
|
|
LEADER |
02872nmm a2200373 u 4500 |
001 |
EB000616872 |
003 |
EBX01000000000000000469954 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9781447102878
|
100 |
1 |
|
|a Gilmore, Stephen
|e [editor]
|
245 |
0 |
0 |
|a Language Constructs for Describing Features
|h Elektronische Ressource
|b Proceedings of the FIREworks workshop
|c edited by Stephen Gilmore, Mark Ryan
|
250 |
|
|
|a 1st ed. 2001
|
260 |
|
|
|a London
|b Springer London
|c 2001, 2001
|
300 |
|
|
|a X, 233 p. 10 illus
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Telecommunication
|
653 |
|
|
|a Communications Engineering, Networks
|
653 |
|
|
|a Special Purpose and Application-Based Systems
|
653 |
|
|
|a Computers, Special purpose
|
700 |
1 |
|
|a Ryan, Mark
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
028 |
5 |
0 |
|a 10.1007/978-1-4471-0287-8
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-1-4471-0287-8?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 004
|
520 |
|
|
|a 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
|