A Priori Reasoning for Component-based Software Development Kung-Kiu Lau Department of Computer Science, University of Manchester, Manchester M13 9PL, United Kingdom kung-kiu@cs.man.ac.uk Abstract: We believe that the paradigm shift to component-based software development should be accompanied by a corresponding paradigm shift in the underlying approach to specification and reasoning. In this position paper, we propose a priori reasoning as a suitable candidate, and outline our approach to specifying and reasoning about components, based on a priori reasoning.