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.
Preview
Unable to display preview. Download preview PDF.
References
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.
G.S. BOOCH, Object-oriented Development, IEEE Transactions on Software Engineering 12, 2 (1986), 211–221.
G.S. BOOCH, Object-oriented Design with Applications, Benjamin/Cummings (1991).
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.
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).
L.M.G. FEIJS, H.B.M. JONKERS, Formal Specification and Design, Cambridge University Press (1992).
A. HALL, Seven Myths of Formal Methods, IEEE Software 7, 9 (1990), 11–19.
D. HAREL, First-order Dynamic Logic, Lecture Notes in Computer Science 68, Springer-Verlag (1979).
D. HAREL, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), 231–274.
D.J. HATLEY, I.A. PIRBHAI, Strategies for Real-Time System Specification, Dorset House Publishing (1987).
M.P. HERLIHY, J.M. WING, Linearizability: A Correctness Condition for Concurrent Objects, ACM Transactions on Programming Languages and Systems 12 (1990), 463–492.
HOOD Working Group, HOOD Reference Manual, European Space Agency Document WME/89-173/JB (1989).
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.
H.B.M. JONKERS, The SPRINT Method, Technical Note Nr. 183/90, Philips Research (1990).
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.
H.B.M. JONKERS, Description of COLD-1, Report RWR-513-hj-91020-hj, Philips Research, Information and Software Technology (1991).
H.B.M. JONKERS, PROTOCOLD 1.1 User Manual, Report RWR-513-hj-91080-hj, Philips Research, Information and Software Technology (1991).
H.B.M. JONKERS, Description of SPECICOLD 1.0, Report RWB-508-re-92271, Philips Research, Information and Software Technology (1992).
B. MEYER, On Formalism in Specifications, IEEE Software 2, 1 (1985), 6–26.
B. MEYER, Object-oriented Software Construction, Prentice Hall (1988).
C.H. PAPADIMITRIOU, The Serializability of Concurrent Database Updates, Journal of the ACM 26 (1979), 631–653.
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.
P.M. SCHWARZ, A.Z. SPECTOR, Synchronizing Shared Abstract Types, ACM Transactions on Computer Systems 2 (1984), 223–250.
I. SOMMERVILLE, Software Engineering, Fourth Edition, Addison-Wesley Publishing Company (1992).
W.E. WEIHL, Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types, ACM Transactions on Programming Languages and Systems 11 (1989), 249–282.
J.M. WING, A Specifier's Introduction to Formal Methods, IEEE Computer 23, 9 (1990), 8–24.
E.N. YOURDON, L.L. CONSTANTINE, Structured Design, Prentice Hall (1979).
Author information
Authors and Affiliations
Editor information
Rights 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