A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Techniques for Partial Specification and Specification of Switching Systems
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Feature interactions in the global information infrastructure
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
An architectural approach to minimizing feature interactions in telecommunications
IEEE/ACM Transactions on Networking (TON)
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
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
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Users as Composers: Parts and Features as a Basis for Tailorability in CSCW Systems
Computer Supported Cooperative Work
Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
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
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
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Handling variant requirements in domain modeling
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Resolving feature convolution in middleware systems
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Formalizing the notion of adaptive system behavior
Proceedings of the 2009 ACM symposium on Applied Computing
Minimize aspect interaction re-evaluation due to software evolution
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Formal specification of system functions
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Supporting use case based requirements engineering
Information and Software Technology
Sans constraints? feature diagrams vs. feature models
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Using structural and textual information to capture feature coupling in object-oriented software
Empirical Software Engineering
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 4.10 |
The feature-interaction problem found in complex software systems that support telecommunications is reviewed. The relationship between feature interactions and formal specifications is examined. Several important ways telecommunications has evolved beyond plain old telephone service (POTS) are described. It is shown how many feature interactions can be eliminated by applying known techniques of formal specification. A glossary that explains telecommunications terms not defined in the text and acronyms used throughout the article is included.