Proving Theorems About JML Classes - Formal Methods and Hybrid Real-Time Systems - page 279

23. Lakatos, I.: Proofs and Refutations: The Logic of Mathematical Discovery. Cam-
brdige University Press, Cambrdige (2005)
24. Leavens, G. T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Muller, P.,
Kiniry, J., Chalin, P.: JML Reference Manual. Iowa State University. Revision
1.200 (2007)
25. Morgan, C.: Programming from Specifications. Prentice-Hall, Englewood Cliffs
(1994)
26. Morgan, C., Sufrin, B.: Specification of the UNIX filing system. IEEE Transactions
on Software Engineering SE-10, 128-142 (1984)
27. Paige, R.F., Brooke, P.J.: Integrating BON and Object-Z. Journal of Object Tech-
nology 3(3), 121-141 (2004)
28. Paige, R.F., Ostroff, J.S.: From Z to BON/Eiffel. In: ASE, pp. 209-212 (1998)
29. Poll, E., van den Berg, J., Jacobs, B.: 3. In: Specification of the JavaCard API
in JML. Smart Card Research and Advanced Applications. In: Proceedings of
the Fourth Working Conference on Smart Card Research and Advanced Applica-
tions, CARDIS 2000, September 20-22, 2000. Bristol. IFIP Conference Proceedings,
vol. 180, pp. 135-154. Kluwer, Dordrecht (2000)
30. Raghavan, A.D., Leavens, G.T.: Desugaring JML Method Specifications. Technical
Report TR#00-03e, Iowa State University, Department of Computer Science 226
Atanasoff Hall Ames Iowa 50011-1041, USA (2005)
31. Russell, B.: Recent Work in Philosophy of Mathematics. International Monthly
(1901) Reprinted in Mysticism and Logic and Other Essays (p.59-74) Barnes &
Noble (1976)
32. Saaltink, M.: Z/Eves 2.0 User's Guide. ORA Canada, TR-99-5493-06a (1999)
33. Smith, G.: The Object-Z Specification Language. Advances in Formal Methods.
Kluwer Academic Publishers, Dordrecht (2000)
34. Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cliffs
(1998)
35. SRI: Workshop on the Verification Grand Challenge (2005), http://www.csl.
sri.com
36. Stepney, S., Cooper, D., Woodcock, J.: An Electronic Purse: Specification, Refine-
ment, and Proof. Technical Monograph PRG-126, University of Oxford (2000)
37. Stepney, S., Polack, F., Toyn, I.: A Z Patterns Catalougue: volume 1. Technical
Report YCS349, Department of Computer Science, University of York (2003)
38. Utting, M., Wang, S.: Object orientation without extending Z. In: Bert, D., Bowen,
J.P., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 319-338. Springer, Heidelberg
(2003)
39. van den Berg, J., Jacobs, B., Poll, E.: Formal specification and verification of
JavaCard's Application Identifier class. In: Attali, I., Jensen, T. (eds.) JavaCard
2000. LNCS, vol. 2041, pp. 137-150. Springer, Heidelberg (2001)
40. Woodcock, J.C.P., Cavalcanti, A.L.C.: A concurrent language for refinement. In:
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July
2001. BCS Workshops in Computing (2001)
41. Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Interna-
tional Series in Computer Science. Prentice-Hall, Englewood Cliffs (1996)
42. Woodcock, J., Freitas, L.: Z/Eves and the Mondex Electronic Purse. In: Barkaoui,
K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol. 4281, pp. 15-34.
Springer, Heidelberg (2006)