Exposing the skeleton in the coordination closet

This publication has 23 references indexed in Scilit:

• Checking subsystem safety properties in compositional reachability analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formalizing architectural connection
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Context constraints for compositional reachability analysis
  ACM Transactions on Software Engineering and Methodology, 1996
• The Programmers' Playground: I/O abstraction for user-configurable distributed applications
  IEEE Transactions on Software Engineering, 1995
• Durra: a structure description language for developing distributed applications
  Software Engineering Journal, 1993
• Lockheed Environment For Automatic Programming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1991
• Graphical configuration programming
  Computer, 1989
• Dynamic Configuration for Distributed Systems
  IEEE Transactions on Software Engineering, 1985
• A software architecture for distributed computer control systems
  Automatica, 1984
• The humble programmer
  Communications of the ACM, 1972