Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 199-219 |
Number of pages | 21 |
Journal | Journal of Systems and Software |
Volume | 41 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1998 |