| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
in00003545238 |
| 006 |
m o d |
| 007 |
cr nn||||||||| |
| 008 |
121227s2001 enk o 000 0 eng d |
| 005 |
20260421162540.2 |
| 020 |
|
|
|a 9781447102878 (electronic bk.)
|
| 020 |
|
|
|a 1447102878 (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)840276995
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d OCLCF
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a TK7874.6
|
| 082 |
0 |
4 |
|a 004.6
|2 23
|
| 100 |
1 |
|
|a Gilmore, Stephen.
|
| 245 |
1 |
0 |
|a Language Constructs for Describing Features :
|b Proceedings of the FIREworks workshop /
|c edited by Stephen Gilmore, Mark Ryan.
|
| 264 |
|
1 |
|a London :
|b Springer London,
|c 2001.
|
| 300 |
|
|
|a 1 online resource (X, 233 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 505 |
0 |
|
|a 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.
|
| 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.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Logic design.
|
| 650 |
|
0 |
|a Telecommunication.
|
| 650 |
|
7 |
|a Computer science.
|2 fast
|0 (OCoLC)fst00872451
|
| 650 |
|
7 |
|a Logic design.
|2 fast
|0 (OCoLC)fst01002045
|
| 650 |
|
7 |
|a Software engineering.
|2 fast
|0 (OCoLC)fst01124185
|
| 650 |
|
7 |
|a Telecommunication.
|2 fast
|0 (OCoLC)fst01145830
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Ryan, Mark.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-0287-8
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 40694bc5-7e64-3731-86bf-b4a009ffe467
|i 002d54f6-bc53-3e59-9d61-37fcc823ab82
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e TK7874.6
|h Library of Congress classification
|
| 998 |
f |
f |
|a TK7874.6
|t 0
|l Available Online
|