Statistics for A Framework for Software Component Interface Specification and Analysis