From Formal Methods to Software Components: Back to the Future?

Kung-Kiu Lau
School of Computer Science, The University of Manchester,
Manchester M13 9PL, UK
kung-kiu.lau@manchester.ac.uk

Abstract:

Looking back at the past, I believe Formal Methods and
Component-based Software Engineering have missed opportunities to
synergise. Looking forward to the future, I believe even more strongly
that this synergy will be crucial for developing Software Engineering
techniques that tackle scale and complexity. In this position paper I 
outline the fundamentals of my belief, in terms of existing work and future
challenges.