Yves Ledru
Pierre-Yves Schobbens
- 1.J.R. Abrial. A formal approach to large software construction. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, Springer Verlag, 1989. Google Scholar
Digital Library
- 2.J.R. Abrial. The B Tool (Abstract). In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM '88 - The Way Ahead (LNCS 328), Springer Verlag, 1988. Google ScholarDigital Library
- 3.J.R. Abrial and A. Guillon. Un outil de conception de logiciels. In Actes des Journdes SM99, Eyrolles, Paris, 1985.Google Scholar
- 4.J.R. Abrial, S.A. Schuman, and B. Meyer. Specification language. In R.M. McKeag and A.M. Macnaghten, editors, On the Construction of Programs, Cambridge University Press, 1979.Google Scholar
- 5.R. Boyer and J. Moore. A Computational Logic. Academic Press, 1979.Google Scholar
- 6.CIP Language Group. The Munich Project CIP. Volume 183 of Lecture Notes in Computer Science, Springer Verlag, 1985.Google Scholar
- 7.H. Ehrig and B. Mahr. Fundamentals of algebraic specification 1. Equations and initial semantics. Springer, Berlin, 1985. Google ScholarDigital Library
- 8.S.J. Goldsack. Specification of an operating system kernel: FOREST and VDM compared. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM '88 - The Way Ahead (LNCS 928), Springer Verlag, 1988. Google ScholarDigital Library
- 9.D. I. Good. Mechanical proofs about computer programs. In C. A. R. Hoare and John C. Shepherdson, editors, Mathematical logic and programming Ianguages, Prentice Hall, 1985. Google ScholarDigital Library
- 10.Gerard Guiho and Claude Hennebert. SACEM Software Validation. In Proceedings of the 12th International Conference on Software Engineering, IEEE Computer Society Press, 1990. Google ScholarDigital Library
- 11.C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10), 1969. Google ScholarDigital Library
- 12.C. B. Jones. Systematic Software Development Using VDM Prentice-Hall, London, 1986. Google ScholarDigital Library
- 13.C. Lafontaine, Y. Ledru, and P.-Y. Schobbens. An experiment in formal software development: using the B theorem prover on a VDM case study. In Proceedings of the 12th International Conference on Software Engineering, IEEE Computer Society Press, 1990. Google ScholarDigital Library
- 14.Christine Lafontaine, Yves Ledru, and Pierre-Yves Schobbens. Two approaches towards the formalisation of vdm. In Proceedings of VDM'90: VDM and Z!, Springer, 1990. Google ScholarDigital Library
- 15.K. Middelburg. The VIP VDM Specification Language. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM '88 - The Way Ahead (LNCS 328), Springer Verlag, 1988. Google ScholarDigital Library
- 16.C. Ruggles. Towards a formal definition of GKS and other graphics standards. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM '88 - The Way Ahead (LNCS 328), Springer Verlag, 1988. Google ScholarDigital Library
- 17.Ghee S. Teo and M. Mac an Airchinnigh. The use of VDM in the specification of Chinese characters. In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM '88 - The Way Ahead (LNCS 328), Springer Verlag, 1988. Google ScholarDigital Library
- 18.J.C.P. Woodcock. Calculating Properties of Z Specifications. ACM SIGSOFT Software Engineering Notes, 14(5):43-54, 1989. Google ScholarDigital Library
- 19.J.B. Wordsworth. Practical experience of formal specification: a programming interface for communications. In C. Ghezzi and J.A. MC Dermid, editors, ESEC '89, pages 140-158, Springer-Verlag, 1989. Google ScholarDigital Library
Index Terms
- Applying VDM to large developments
Recommendations
VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development
COMPSAC '03: Proceedings of the 27th Annual International Conference on Computer Software and ApplicationsAlthough formal methods seem to be useful, these is noclear way for beginners to know whether the methods aresuit for them and for their problem domain, before usingthe methods in practice. We propose a method to confirmthe suitability of a formal ...
VDM and Z: A comparative case study
AbstractThe specification notations of VDM and Z are closely related. They both use model-based specification techniques and share a large part of their mathematical notation. However, the approaches taken to writing specifications differ in other, more ...
Prototyping VDM specifications with KIDS
KBSE'92: Proceedings of the 7th International Conference on Knowledge-Based Software EngineeringThis paper shows how VDM specifications may be prototyped as REFINE programs. The translation process takes advantage of the facilities of the KIDS environment. A new VDM mode has been added to the environment in order to support transformations of the ...
Comments