A formal method for partially tolerating incompleteness in specifications : a proposal