Buch, Englisch, 233 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 376 g
Proceedings of the FIREworks workshop
Buch, Englisch, 233 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 376 g
ISBN: 978-1-85233-392-8
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.