Building TEMPLES on ICE

Re-use of software is a key issue in current software engineering processes. The importance of software reuse is indicated by the amount of redundant work saved by using well-documented, well-specified libraries. A precondition for the flexible use of these libraries is that they are in some way generic, i.e. adaptable to current needs of the software engineer. In this thesis we will describe the development of a language suited for expressing this genericity, and the development of a tool that can instantiate a given generic expression to a specific instantiation. The project has been worked out at the Philips Nat.Lab. in Eindhoven, and has been tailored to be used in the SPRINT method, a software engineering method especially suited for embedded software development, a field in which software re-use can play a major role in reducing development lead times.