Uncovering architectural mismatch in component behavior

This publication has 16 references indexed in Scilit:

• A formal basis for architectural connection
  ACM Transactions on Software Engineering and Methodology, 1997
• Modelling interoperability by CHAM: A case study
  Lecture Notes in Computer Science, 1996
• Architectural mismatch: why reuse is so hard
  IEEE Software, 1995
• Formalizing style to understand descriptions of software architecture
  ACM Transactions on Software Engineering and Methodology, 1995
• Formal specification and analysis of software architectures using the chemical abstract machine model
  IEEE Transactions on Software Engineering, 1995
• Some Chemical Abstract Machines
  Published by Springer Nature ,1994
• Proving finiteness of CCS processes by non-standard semantics
  Acta Informatica, 1994
• Programming by multiset transformation
  Communications of the ACM, 1993
• The chemical abstract machine
  Theoretical Computer Science, 1992
• The gamma model and its discipline of programming
  Science of Computer Programming, 1990