History, principles and application of the SPRINT method

Journal of Systems and Software

Volumn 41, Issue 3, 1998, Pages 199-219

  Feijs, Loe M G ^a,b   Jonkers, Hans B M ^a,c  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

^b PHILIPS RESEARCH LABORATORIES   (Germany)

^c CWI   (Netherlands)

Author keywords

Embedded software; Formal specification; Prototyping

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; RAPID PROTOTYPING;

AUDIO/VIDEO SYSTEMS; EMBEDDED CONTROL SOFTWARES; SOFTWARE PACKAGE COLD;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032094875     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(97)10020-6     Document Type: Article

References (27)

1. Augusteijn, L., 1990. The Elegant compiler generator system. In: Deransart, P., Jourdan, M. (Eds.), Attribute Grammars and their Applications. Lecture Notes in Computer Sci., vol. 461. Springer, Berlin, pp. 238-254.
2. Booch, G.S., 1986. Object-oriented development. IEEE Trans. Software Eng. 12 (2), 211-221.
3. Booch, G.S., 1991. Object-oriented Design with Applications. Benjamin/Cumming, Mento Park, CA.
4. Feijs, L.M.G., Jonkers, H.B.M., 1992. Formal Specification and Design. Cambridge University Press, Cambridge.
5. Feijs, L.M.G., Jonkers, H.B.M., Koymans, C.P.J., Renardel de Lavalette, G.R., 1987. Formal definition of the design language COLD-K. Technical Report, ESPRIT Project 432.
6. Feijs, L.M.G., Jonkers, H.B.M., Middelburg, C.A., 1994. Notations for Software Design. Springer, Berlin.
7. Gaudel, M.C., 1986. Towards structured algebraic specifications. In: ESPRIT'85: Status Report of Continuing Work, Part 1. North-Holland, Amsterdam, pp. 439-510.
8. Gurevich, Y., 1991. Evolving algebras: an attempt to discover semantics. Bull. EATCS 43, 264-284.
9. Harel, D., 1979. First-order dynamic logic. In: Lecture Notes in Computer Sci., vol. 68. Springer, Berlin.
10. Harel, D., 1987. Statecharts: a visual formalism for complex systems. Sci. Comput. Programming 8, 231-274.
11. Hatley, D.J., Pirbhai, I.A., 1987. Strategies for Real-Time System Specification. Dorset House Publishing.
12. HOOD Working Group, 1989. HOOD Reference Manual. European Space Agency Document WME/89-173/JB.
13. Jonkers, H.B.M., 1982. Abstraction, specification and implementation techniques with an application to garbage collection. In: Mathematical Centre Tracts, vol. 166, Mathematical Centre Amsterdam.
14. Jonkers, H.B.M., 1989. An introduction to COLD-K. In: Wirsing, M., Bergstra, J.A. (Eds.), Algebraic Methods: Theory, Tools and Applications. Lecture Notes in Computer Sci., vol. 394. Springer, Berlin, pp. 139-205.
15. Jonkers, H.B.M., 1990. The SPRINT method. Technical Note Nr. 183/ 90, Philips Research.
16. Jonkers, H.B.M., 1991a. Upgrading the pre- and postcondition technique. In: Prehn, S., Toetenel, W.J. (Eds.), VDM'91, Formal Software Development Methods, vol. 1. Lecture Notes in Computer Sci., vol. 551. Springer, Berlin, pp. 428-456.
17. Jonkers, H.B.M., 1991b. Description of COLD-1. Report RWR-513-hj-91020-hj, Information and Software Technology, Philips Research.
18. Jonkers, H.B.M., 1991c. PROTOCOLD 1.1 User Manual. Report RWR-513-hj-91080-hj, Information and Software Technology, Philips Research.
19. Jonkers, H.B.M., 1992. Description of SPECICOLD 1.0. Report RWB-508-re-92271, Information and Software Technology, Philips Research.
20. Jonkers, H.B.M., 1993. An overview of the SPRINT method. In: Woodcock, J.C.P., Larsen, P.G. (Eds.), Industrial Strength Formal Methods. Lecture Notes in Computer Sci., vol. 670. Springer, Berlin, pp. 403-427.
21. Meyer, B., 1988. Object-oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ.
22. Penny, D.A., Holt, R.C., Godfrey, M.W., 1991. Formal specification in metamorphic programming. In: Prehn, S., Toetenel, W.J. (Eds.), VDM'91, Formal Software Development Methods, vol. 1. Lecture Notes in Computer Sci., vol. 551. Springer, Berlin, pp. 11-30.
23. Rooijmans, J., Aerts, H., van Genuchten, M., 1996. Software quality in consumer electronic products. IEEE Software, January, 55-64.
24. Rumbaugh, J., Blaha, M., Preperlani, W., Eddy, F., Lorensen, W., 1991. Object-oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ.
25. Sommerville, I., 1992. Software Engineering, Fourth edition. Addison-Wesley, Reading, MA.
26. Wirsing, M., 1983. Structured Algebraic Specifications: A Kernel Language. Habilitation Thesis, Technische Universtät München.
27. Yourdon, E.N., Constantine, L.L., 1979. Structured Design. Prentice-Hall, Englewood Cliffs, NJ.