An overview of the SPRINT method

  • H. B. M. Jonkers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


This paper gives an overview of the SPRINT method, which is a formal method for the development of control software of audio/video systems used in Philips. It is an integrated approach combining three key techniques in software development: specification, prototyping and reuse. The paper discusses the various constituents of the method using a subdivision in five categories: principles, models, languages, tools and guidelines, with focus on models and languages.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    L. AUGUSTEIJN, The Elegant Compiler Generator System, in: P. Deransart, M. Jourdan (eds.), Attribute Grammars and their Applications, LNCS 461, Springer-Verlag (1990), 238–254.Google Scholar
  2. 2.
    G.S. BOOCH, Object-oriented Development, IEEE Transactions on Software Engineering 12, 2 (1986), 211–221.Google Scholar
  3. 3.
    G.S. BOOCH, Object-oriented Design with Applications, Benjamin/Cummings (1991).Google Scholar
  4. 4.
    F.P. BROOKS Jr., No Silver BulletEssence and Accidents of Software Engineering, in: H.-J. Kugler (ed.), Information Processing 86, Elsevier Science Publishers (1986), 1069–1076.Google Scholar
  5. 5.
    L.M.G. FEIJS, H.B.M. JONKERS, C.P.J. KOYMANS, G.R. RENARDEL DE LAVALETTE, Formal Definition of the Design Language COLD-K, Technical Report, ESPRIT project 432 (1987).Google Scholar
  6. 6.
    L.M.G. FEIJS, H.B.M. JONKERS, Formal Specification and Design, Cambridge University Press (1992).Google Scholar
  7. 7.
    A. HALL, Seven Myths of Formal Methods, IEEE Software 7, 9 (1990), 11–19.CrossRefGoogle Scholar
  8. 8.
    D. HAREL, First-order Dynamic Logic, Lecture Notes in Computer Science 68, Springer-Verlag (1979).Google Scholar
  9. 9.
    D. HAREL, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), 231–274.CrossRefGoogle Scholar
  10. 10.
    D.J. HATLEY, I.A. PIRBHAI, Strategies for Real-Time System Specification, Dorset House Publishing (1987).Google Scholar
  11. 11.
    M.P. HERLIHY, J.M. WING, Linearizability: A Correctness Condition for Concurrent Objects, ACM Transactions on Programming Languages and Systems 12 (1990), 463–492.CrossRefGoogle Scholar
  12. 12.
    HOOD Working Group, HOOD Reference Manual, European Space Agency Document WME/89-173/JB (1989).Google Scholar
  13. 13.
    H.B.M. JONKERS, An Introduction to COLD-K, in: M. Wirsing, J.A. Bergstra (eds.), Algebraic Methods: Theory, Tools and Applications, LNCS 394, Springer-Verlag (1989), 139–205.Google Scholar
  14. 14.
    H.B.M. JONKERS, The SPRINT Method, Technical Note Nr. 183/90, Philips Research (1990).Google Scholar
  15. 15.
    H.B.M. JONKERS, Upgrading the Pre-and Postcondition Technique, in: S. Prehn and W.J. Toetenel (eds.), VDM '91, Formal Software Development Methods, Volume 1, LNCS 551, Springer-Verlag (1991), 428–456.Google Scholar
  16. 16.
    H.B.M. JONKERS, Description of COLD-1, Report RWR-513-hj-91020-hj, Philips Research, Information and Software Technology (1991).Google Scholar
  17. 17.
    H.B.M. JONKERS, PROTOCOLD 1.1 User Manual, Report RWR-513-hj-91080-hj, Philips Research, Information and Software Technology (1991).Google Scholar
  18. 18.
    H.B.M. JONKERS, Description of SPECICOLD 1.0, Report RWB-508-re-92271, Philips Research, Information and Software Technology (1992).Google Scholar
  19. 19.
    B. MEYER, On Formalism in Specifications, IEEE Software 2, 1 (1985), 6–26.Google Scholar
  20. 20.
    B. MEYER, Object-oriented Software Construction, Prentice Hall (1988).Google Scholar
  21. 21.
    C.H. PAPADIMITRIOU, The Serializability of Concurrent Database Updates, Journal of the ACM 26 (1979), 631–653.CrossRefGoogle Scholar
  22. 22.
    D.A. PENNY, R.C. HOLT, M.W. GODFREY, Formal Specification in Metamorphic Programming, in: S. Prehn and W.J. Toetenel (eds.), VDM '91, Formal Software Development Methods, Volume 1, LNCS 551, Springer-Verlag (1991), 11–30.Google Scholar
  23. 23.
    P.M. SCHWARZ, A.Z. SPECTOR, Synchronizing Shared Abstract Types, ACM Transactions on Computer Systems 2 (1984), 223–250.CrossRefGoogle Scholar
  24. 24.
    I. SOMMERVILLE, Software Engineering, Fourth Edition, Addison-Wesley Publishing Company (1992).Google Scholar
  25. 25.
    W.E. WEIHL, Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types, ACM Transactions on Programming Languages and Systems 11 (1989), 249–282.CrossRefGoogle Scholar
  26. 26.
    J.M. WING, A Specifier's Introduction to Formal Methods, IEEE Computer 23, 9 (1990), 8–24.Google Scholar
  27. 27.
    E.N. YOURDON, L.L. CONSTANTINE, Structured Design, Prentice Hall (1979).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • H. B. M. Jonkers
    • 1
  1. 1.Information and Software TechnologyPhilips Research Laboratories EindhovenJA EindhovenThe Netherlands

Personalised recommendations