| P.S. Thiagarajan - 1995 - 952 lapas
...protocol. In Formal Techniques in Real. Time and Fault- Tolerant Systems, pages 170192. LNCS 863, 1994. [GCR94] S. Gerhart, D. Craigen, and T. Ralston. Experience...formal methods in critical systems. IEEE Software, 11(1):2139, 1994. [Hoa69] CAR Hoare. An axiomatic basis for computer programming. Communications... | |
| W. David Hurley - 1995 - 340 lapas
...specification and design of real-time safetycritical systems", J. Sys. Softw. IS, 1 (1992) 33-60. 33. S. Gerhart, D. Craigen, and T. Ralston, "Experience with formal methods in critical systems", IEEE Softw. 11, 1 (1994) 21-28. 34. S. Gerhart, D. Craigen, and T. Ralston, "Regulatory case studies", IEEE... | |
| Jonathan P. Bowen - 1995 - 596 lapas
...International Conference on Software Engineering (ICSE), Baltimore. Maryland, USA, May 1993. 196. SL Gerhart, D. Craigen, and T. Ralston. Experience with...formal methods in critical systems. IEEE Software, ll(l):21-28, January 1994. Several commercial and exploratory cases in which Z features heavily are... | |
| Marie-Claude Gaudel, Jim Woodcock - 1996 - 724 lapas
...Project, Special Presentations of FUNS '94 (SCK-CEN Nuclear Research Centre, Belgium, 1994) 27-38. [6] S. Gerhart, D. Craigen and T. Ralston, Experience...Formal Methods in Critical Systems, IEEE Software (Jan. 1994) 21-39. [7] J. Knight and B. Littlewood, Critical Task of Writing Dependable Software, IEEE... | |
| Egon Börger, Robert Stärk - 2003 - 462 lapas
...1994. A high-level model of the system described in this book has been developed in [107, 108). 215. S. Gerhart, D. Craigen, and T. Ralston. Experience...formal methods in critical systems. IEEE Software, 11(1):21-28, January 1994. 216. F. Giannuzzi. Studi di un metodo per la derivazione dei casi di test... | |
| |