This paper presents the history and the principles of the SPRINT method and some experiences with its application. It is a method for the development of embedded control software of audio/video systems based on the formal language COLD. The method is developed and used in Philips. It is an integrated approach combining three key techniques in software development: specification, prototyping and reuse.
['Loe M. G. Feijs', 'H. B. M. Jonkers']
History, principles and application of the SPRINT method