Protective Wrapper Development: A Case Study
暂无分享,去创建一个
[1] Alexander Romanovsky. Exception handling in component-based system development , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.
[2] Hermann Kopetz,et al. Fault tolerance, principles and practice , 1990 .
[3] Egon Börger,et al. Formal Methods for Industrial Applications , 1996, Lecture Notes in Computer Science.
[4] Algirdas Avizienis,et al. Software Fault Tolerance , 1989, IFIP Congress.
[5] Lorenzo Strigini,et al. On systematic design of protectors for employing OTS items , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.
[6] J.C. McKim. Programming by contract , 1996, Computer.
[7] Jeffrey M. Voas,et al. Certifying Off-the-Shelf Software Components , 1998, Computer.
[8] Bertrand Meyer,et al. Advances in object-oriented software engineering , 1992 .
[9] Egon Börger,et al. Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .
[10] Jean-Claude Laprie,et al. Dependable computing: concepts, limits, challenges , 1995 .