A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
IEEE Transactions on Software Engineering
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Using SPIN for feature interaction analysis—a case study
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Dynamic Constraint Satisfaction for Feature Interaction
BT Technology Journal
An Agent Model for the Resolution of Feature Conflicts in Telephony
Journal of Network and Systems Management
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Feature Interaction Detection in Active Networks
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Systematic Design of Call-Coverage Features
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Feature Interaction in Composed Systems
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Playing with Abstraction and Refinement for Managing Features Interactions
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
An experiment in feature engineering
Programming methodology
A feature manager approach to the analysis of component-interactions
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
Address translation in telecommunication features
ACM Transactions on Software Engineering and Methodology (TOSEM)
Feature interaction in policies
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Component coordination: a telecommunication case study
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Managing feature interactions between distributed SIP call control services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Using semi-formal methods for detecting interactions among smart homes policies
Science of Computer Programming
Hi-index | 0.00 |
From the Publisher:Feature interactions are related to the creation, maintenance, and evolution of new services (telephony, electronic commerce, multimedia, banking, etc.), and to the implementation of these services across distributed platforms. Some of the other aspects are software maintainability, software verification and validation, software documentation, and software development process. This book covers several types of telecommunication software (processing, communication, and management), multimedia applications and other types of distributed applications. Some of the contributions in the book represent work in progress, personal experience, and potential solutions. By their very nature, feature interactions can be found in different types of systems. The spectrum of contributions demonstrates the relevance of feature interactions problems. The book provides contributions by leading experts in these areas, covering many aspects of the specification, detection, and avoidance of feature interactions. The book presents research advances and report personal positions.