Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Using SPIN for feature interaction analysis—a case study
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A pragmatic approach to service interaction filtering between call control services
Computer Networks: The International Journal of Computer and Telecommunications Networking
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
Use of Logic to Describe Enhanced Communications Services
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
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
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
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
Feature-Oriented Engineering of PBX Software
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
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
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Computer Networks: The International Journal of Computer and Telecommunications Networking
Managing feature interactions between distributed SIP call control services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Managing requirements conflicts in software product lines: A goal and scenario based approach
Data & Knowledge Engineering
Using semi-formal methods for detecting interactions among smart homes policies
Science of Computer Programming
Towards goal-interaction detection during COTS selection
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Feature specification and static analysis for interaction resolution
FM'06 Proceedings of the 14th international conference on Formal Methods
Detecting OAM&P design defects using a feature interaction approach
International Journal of Network Management
Hi-index | 0.00 |