next up previous
Next: Management Issues Up: Formal Methods and Previous: Research Issues

Conclusions

The application of formal methods and certification techniques and tools to reuse is critical from the perspectives of the producer, broker and consumer to ensure quality software. More work needs to be done to improve these tools and techniques as outlined above. Increased consumer demand for quality assurance of reusable components will alleviate the problem of trust and further encourage consumers to practice reuse.



Larry Latour
Mon Aug 21 17:23:03 EDT 1995