Software Reuse in Specification-Based Prototyping