Skip to main content
SpringerLink
Log in

An overview of the SPRINT method

  • Papers
  • Conference paper
  • First Online:
Book cover FME '93: Industrial-Strength Formal Methods (FME 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 670))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. G.S. BOOCH, Object-oriented Development, IEEE Transactions on Software Engineering 12, 2 (1986), 211–221.

    Google Scholar 

  3. G.S. BOOCH, Object-oriented Design with Applications, Benjamin/Cummings (1991).

    Google Scholar 

  4. F.P. BROOKS Jr., No Silver Bullet — Essence and Accidents of Software Engineering, in: H.-J. Kugler (ed.), Information Processing 86, Elsevier Science Publishers (1986), 1069–1076.

    Google Scholar 

  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. L.M.G. FEIJS, H.B.M. JONKERS, Formal Specification and Design, Cambridge University Press (1992).

    Google Scholar 

  7. A. HALL, Seven Myths of Formal Methods, IEEE Software 7, 9 (1990), 11–19.

    Article  Google Scholar 

  8. D. HAREL, First-order Dynamic Logic, Lecture Notes in Computer Science 68, Springer-Verlag (1979).

    Google Scholar 

  9. D. HAREL, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), 231–274.

    Article  Google Scholar 

  10. D.J. HATLEY, I.A. PIRBHAI, Strategies for Real-Time System Specification, Dorset House Publishing (1987).

    Google Scholar 

  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.

    Article  Google Scholar 

  12. HOOD Working Group, HOOD Reference Manual, European Space Agency Document WME/89-173/JB (1989).

    Google Scholar 

  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. H.B.M. JONKERS, The SPRINT Method, Technical Note Nr. 183/90, Philips Research (1990).

    Google Scholar 

  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. H.B.M. JONKERS, Description of COLD-1, Report RWR-513-hj-91020-hj, Philips Research, Information and Software Technology (1991).

    Google Scholar 

  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. H.B.M. JONKERS, Description of SPECICOLD 1.0, Report RWB-508-re-92271, Philips Research, Information and Software Technology (1992).

    Google Scholar 

  19. B. MEYER, On Formalism in Specifications, IEEE Software 2, 1 (1985), 6–26.

    Google Scholar 

  20. B. MEYER, Object-oriented Software Construction, Prentice Hall (1988).

    Google Scholar 

  21. C.H. PAPADIMITRIOU, The Serializability of Concurrent Database Updates, Journal of the ACM 26 (1979), 631–653.

    Article  Google Scholar 

  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. P.M. SCHWARZ, A.Z. SPECTOR, Synchronizing Shared Abstract Types, ACM Transactions on Computer Systems 2 (1984), 223–250.

    Article  Google Scholar 

  24. I. SOMMERVILLE, Software Engineering, Fourth Edition, Addison-Wesley Publishing Company (1992).

    Google Scholar 

  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.

    Article  Google Scholar 

  26. J.M. WING, A Specifier's Introduction to Formal Methods, IEEE Computer 23, 9 (1990), 8–24.

    Google Scholar 

  27. E.N. YOURDON, L.L. CONSTANTINE, Structured Design, Prentice Hall (1979).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information and Software Technology, Philips Research Laboratories Eindhoven, P.O. Box 80000, 5600, JA Eindhoven, The Netherlands

    H. B. M. Jonkers

Authors
  1. H. B. M. Jonkers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonkers, H.B.M. (1993). An overview of the SPRINT method. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024659

Download citation

  • DOI: https://doi.org/10.1007/BFb0024659

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56662-5

  • Online ISBN: 978-3-540-47623-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation