Design and validation of protocols: a tutorial
Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
A model-based approach to simulation composition
SSR '99 Proceedings of the 1999 symposium on Software reusability
Composing features and resolving interactions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Verifying cross-cutting features as open systems
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Verifying cross-cutting features as open systems
ACM SIGSOFT Software Engineering Notes
A Component-Based Approach to Telecommunication Software
IEEE Software
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
The Influence of Software Module Systems on Modular Verification
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Systematic Design of Call-Coverage Features
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
An experiment in feature engineering
Programming methodology
Visualizing software for telecommunication services
Proceedings of the 2003 ACM symposium on Software visualization
An open architecture for next-generation telecommunication services
ACM Transactions on Internet Technology (TOIT)
IEEE Transactions on Software Engineering
Address translation in telecommunication features
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parameterized Interfaces for Open System Verification of Product Lines
Proceedings of the 19th IEEE international conference on Automated software engineering
Component coordination: a telecommunication case study
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Fundamental Nonmodularity in Electronic Mail
Automated Software Engineering
Where do you go when you're through the turnstile?
Proceedings of the 27th international conference on Software engineering
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
Compositional reasoning for port-based distributed systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Distributed resolution of feature interactions for internet applications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Handling feature interactions in the language for end system services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Audio feature interactions in Voice-over-IP
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
Compositional control of IP media
CoNEXT '06 Proceedings of the 2006 ACM CoNEXT conference
Behavioural model fusion: an overview of challenges
Proceedings of the 2008 international workshop on Models in software engineering
Decomposing Verification Around End-User Features
Verified Software: Theories, Tools, Experiments
Towards Consistent Specifications of Product Families
FM '08 Proceedings of the 15th international symposium on Formal Methods
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Solving a Telecommunications Feature Subscription Configuration Problem
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Application of Graph Transformation in Verification of Dynamic Systems
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
A BDD Approach to the Feature Subscription Problem
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Abstractions for programming SIP back-to-back user agents
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Unified telecom and web services composition: problem definition and future directions
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Personalisation of telecommunications services as combinatorial optimisation
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Requirements for routing in the application layer
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Mapping features to aspects: a model-based generative approach
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
Managing distributed feature interactions in enterprise SIP application servers
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
IMS service development API and testbed
IEEE Communications Magazine
Context-sensitive call control using constraints and rules
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Developing approaches for solving a telecommunications feature subscription problem
Journal of Artificial Intelligence Research
Reusable features for VoIP service realization
Principles, Systems and Applications of IP Telecommunications
The road to feature modularity?
Proceedings of the 15th International Software Product Line Conference, Volume 2
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Feature interactions, products, and composition
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Reachability Problems in Piecewise FIFO Systems
ACM Transactions on Computational Logic (TOCL)
Telco service mashups in IMS networks
Proceedings of the 5th International Workshop on Web APIs and Service Mashups
Mid-call, multi-party, and multi-device telecommunication features and their interactions
IPTcomm '11 Proceedings of the 5th International Conference on Principles, Systems and Applications of IP Telecommunications
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
Piecewise FIFO channels are analyzable
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Experience with component-based development of a telecommunication service
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Two-way traceability and conflict debugging for AspectLTL programs
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Compositional binding in network domains
FM'06 Proceedings of the 14th international conference on Formal Methods
Formal modeling of communication protocols by graph transformation
FM'06 Proceedings of the 14th international conference on Formal Methods
Feature specification and static analysis for interaction resolution
FM'06 Proceedings of the 14th international conference on Formal Methods
Journal of Systems and Software
Dynamic service composition and deployment with openrichservices
Software Service and Application Engineering
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Feature-interaction detection based on feature-based specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Exploring feature interactions in the wild: the new feature-interaction challenge
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Two-Way traceability and conflict debugging for AspectLTL programs
Transactions on Aspect-Oriented Software Development X
Hi-index | 0.00 |
Distributed Feature Composition (DFC) is a new technology for feature specification and composition, based on a virtual architecture offering benefits analogous to those of a pipe-and-filter architecture. In the DFC architecture, customer calls are processed by dynamically assembled configurations of filter-like components: each component implements an applicable feature, and communicates with its neighbors by featureless internal calls that are connected by the underlying architectural substrate.