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 |