Verifying cross-cutting features as open systems

This publication has 11 references indexed in Scilit:

• Aspect-oriented programming with model checking
  Published by Association for Computing Machinery (ACM) ,2002
• Composing crosscutting concerns using composition filters
  Communications of the ACM, 2001
• Modular verification of collaboration-based software designs
  Published by Association for Computing Machinery (ACM) ,2001
• The feature and service interaction problem in telecommunications systems: a survey
  IEEE Transactions on Software Engineering, 1998
• Modular object-oriented programming with units and mixins
  Published by Association for Computing Machinery (ACM) ,1998
• Distributed feature composition: a virtual architecture for telecommunications services
  IEEE Transactions on Software Engineering, 1998
• On the frame problem in procedure specifications
  IEEE Transactions on Software Engineering, 1995
• Structuring Z specifications with views
  ACM Transactions on Software Engineering and Methodology, 1995
• The design and implementation of hierarchical software systems with reusable components
  ACM Transactions on Software Engineering and Methodology, 1992
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986