A Formal Approach to Software Component Specification

Kung-Kiu Lau
Department of Computer Science
University of Manchester
Manchester M13 9PL
United Kingdom
kung-kiu@cs.man.ac.uk

Mario Ornaghi
Dip. di Scienze dell'Informazione
Universita' degli studi di Milano
Via Comelico 39/41, 20135 Milano
Italy
ornaghi@dsi.unimi.it

Abstract:
There is a general consensus 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. Work in modular
specification and verification has shown the way, and following its
lead, in this position paper, we outline our approach to specifying
and reasoning about components, which uses a novel notion of correctness.