Abstract :
This IET Software Special Issue consists of the best papers that appeared at the fifth and sixth workshops on Specification and Verification of Component-Based Systems (SAVCBS) affiliated with ESEC/FSE-13 and ACM SIGSOFT 2006/FSE-14 conferences.
