Information Technology Reference
In-Depth Information
[LL95]
Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems.
LNCS, vol. 891. Springer, Heidelberg (1995)
[MC00]
MacDonald, A., Carrington, D.: Some elements of Z specification style:
Structuring techniques. Journal of Universal Computer Science 6(12), 1203-
1225 (2000)
[MH91a]
Mahony, B.P., Hayes, I.J.: A case study in timed refinement: A central
heater. In: Proc. BCS/FACS Fourth Refinement Workshop, Workshops in
Computing, pp. 138-149. Springer (January 1991)
[MH91b]
Mahony, B.P., Hayes, I.J.: Using continuous real functions to model timed
histories. In: Bailes, P.A. (ed.) Proc. 6th Australian Software Engineering
Conf (ASWEC91), pp. 257-270. Australian Comp. Soc., Australian (1991)
[MH92]
Mahony, B.P., Hayes, I.J.: A case-study in timed refinement: A mine pump.
IEEE Trans. on Software Engineering 18(9), 817-826 (1992)
[MSB91]
Marzullo, K., Schneider, F.B., Budhiraja, N.: Derivation of sequential, real-
time process-control programs. In: Foundations of Real-Time Computing:
Formal Specifications and Methods, pp. 39-54. Kluwer Academic Publishers,
Dordrecht (1991)
[PM95]
Parnas, D.L., Madey, J.: Functional documentation for computer systems
engineering. Sci. Comput. Program 25, 41-61 (1995)
[Sit74]
Sites, R.L.: Some thoughts on proving clean termination of programs. Tech-
nical Report STAN-CS-74-417, Computer Science Department, Stanford
University (May 1974)
[SR96]
Schenke, M., Ravn, A.P.: Refinement from a control problem to programs.
In: Abrial, J.-R., Borger, E., Langmaack, H. (eds.) Formal Methods for In-
dustrial Applications. LNCS, vol. 1165, pp. 403-427. Springer, Heidelberg
(1996)
[SW89]
Smith, I.C., Wall, D.N.: Programmable electronic systems for reactor safety.
Atom 395 (1989)
[Vin90]
Vincenti, W.G.: What Engineers Know and How They Know It. The John
Hopkins University Press, Baltimore, MD (1990)
Search WWH ::
Custom Search