Meklēšana Attēli Maps Play YouTube Ziņas Gmail Disks Vēl »
Ieiet
Grāmatas Grāmatas
" S. Gerhart, D. Craigen, and T. Ralston, "Experience with Formal Methods in Critical Systems, "
Specifying Software: A Hands-On Introduction - 8. lappuse
autors: R. D. Tennent - 2002 - 289 lapas
Ierobežota priekšskatīšana - Par šo grāmatu

Foundations of Software Technology and Theoretical Computer ..., 15. sējums

P.S. Thiagarajan - 1995 - 952 lapas
...protocol. In Formal Techniques in Real. Time and Fault- Tolerant Systems, pages 170—192. LNCS 863, 1994. [GCR94] S. Gerhart, D. Craigen, and T. Ralston. Experience...formal methods in critical systems. IEEE Software, 11(1):21—39, 1994. [Hoa69] CAR Hoare. An axiomatic basis for computer programming. Communications...
Ierobežota priekšskatīšana - Par šo grāmatu

Software Engineering and Knowledge Engineering: Trends for the Next Decade

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...
Ierobežota priekšskatīšana - Par šo grāmatu

ZUM '95: The Z Formal Specification Notation: 9th International ..., 11. sējums

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...
Ierobežota priekšskatīšana - Par šo grāmatu

FME '96: Industrial Benefit and Advances in Formal Methods: Third ...

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...
Ierobežota priekšskatīšana - Par šo grāmatu

Abstract State Machines: A Method for High-Level System Design and Analysis

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...
Ierobežota priekšskatīšana - Par šo grāmatu




  1. Mana bibliotēka
  2. Palīdzība
  3. Izvērstā grāmatu meklēšana