Author:
Morrey Ian,Siddiqi Jawed,Hibberd Richard,Buckberry Graham
Subject
Hardware and Architecture,Information Systems,Software
Reference45 articles.
1. Aggresti, W.W., 1986. New Paradigms for Software Development. IEEE Computer Soc. Press, Silver Spring, MD
2. Safety-critical systems, formal methods and standards;Bowen;IEE/BCS Software Eng. J.,1993
3. Breuer, P.T., Bowen, J.P., 1994. Towards correct executable semantics for Z. In: Bowen, J.P., Hall, J.A. (Eds.), Workshops in Computing. Springer, Berlin, pp. 185–209
4. Brien, S.M., Nicholls, J.E., 1992. Z Base Standard Version 1.0, Oxford University Computing Laboratory Programming Research Group, Technical Monograph PRG-107
5. Choppy, C., 1987. Formal specifications, prototyping and integration test. In: Lecture Notes in Computer Science, vol. 289. Springer, Berlin, pp. 172–179
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献