Explain why it is difficult to validate a reusable component without the component source code. In what ways would a formal component specification simplify the problems of validation?
Design the ‘provides' interface and the ‘requires' interface of a reusable component that may be used to represent a patient in the MHC-PMS.