Software product and process quality improvement using formal methods