Behaviour Analysis of Software Architectures

This publication has 9 references indexed in Scilit:

• Checking subsystem safety properties in compositional reachability analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Composing distributed objects in CORBA
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A formal basis for architectural connection
  ACM Transactions on Software Engineering and Methodology, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Context constraints for compositional reachability analysis
  ACM Transactions on Software Engineering and Methodology, 1996
• A CASE tool for software architecture design
  Automated Software Engineering, 1996
• Abstractions for software architecture and tools to support them
  IEEE Transactions on Software Engineering, 1995
• The 4+1 View Model of architecture
  IEEE Software, 1995
• Debugging Ada Tasking Programs
  IEEE Software, 1985