Quote: formal methods should improve reuse; they clearly state requirements with high component integrity without implementation bias

Quotation Skeleton

X Thou shalt reuse. … The use of formal methods in system development … promote software reuse. Formal specification languages clearly state … of a new system's specification. Components that have … new system. … confidence in component integrity is greatly increased. It's … … Formal specifications are written at a high level …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: formal methods and languages (53 items)
Topic: reusable programming (77 items)