Hire Our Expert Programmer & Technical Writer to do your Capstone Project
+1 vote
in Software Engineering by

1 Answer

0 votes
Best answer
For validating a reusable component, the component source code is needed because the reusable component is generalized from the component. It is also difficult to handle the exceptions which are rarely defined in the component specification, without the source code.

By formal component specification, the system is completely specified before development. It is effective in discovering specification errors and omissions. Verification can be formally done using mathematical arguments, that the code of a software system is consistent with its specification. And hence a formal component specification can simplify the problems of validation.

Related questions

Welcome to CPENTalk.com

Disclaimer: Every user is solely responsible for anything that he/she posts or uploads on CPENTalk.