Author:
Bustard David W.,Winstanley Adam C.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Kuhn, D.R.: A Technique for Analyzing the Effects of Changes in Formal Specifications, The Computer Journal, 35 (6), December 1992
2. de Vasconcelos, A.M.L. and McDermid, J.A.: Incremental processing of Z specifications, in Diaz,M. and Groz, R. (eds): Formal Description Techniques V (North-Holland, 1993)
3. Brinksma, E.: What is the Method in Formal Methods, in Parker, K. and Rose, G. (eds): Formal Description Techniques IV, (North-Holland, 1992)
4. Woodcock, J. and Loomes, M.: Software Engineering Mathematics (Pitman, 1988)
5. Bustard, D.W., Norris, M.T., Orr, R.A., Winstanley, A.C.: An Exercise in Formalising the Description of a Concurrent System, Software Practice & Experience, 22 (12), pp. 1069–1098, Dec. 1992