Titlebook: Computer Safety, Reliability and Security; 17th International C Wolfgang Ehrenberger Conference proceedings 1998 Springer-Verlag Berlin Hei

ISSUE

書(shū)目名稱Computer Safety, Reliability and Security影響因子(影響力)




書(shū)目名稱Computer Safety, Reliability and Security影響因子(影響力)學(xué)科排名




書(shū)目名稱Computer Safety, Reliability and Security網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱Computer Safety, Reliability and Security網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱Computer Safety, Reliability and Security被引頻次




書(shū)目名稱Computer Safety, Reliability and Security被引頻次學(xué)科排名




書(shū)目名稱Computer Safety, Reliability and Security年度引用




書(shū)目名稱Computer Safety, Reliability and Security年度引用學(xué)科排名




書(shū)目名稱Computer Safety, Reliability and Security讀者反饋




書(shū)目名稱Computer Safety, Reliability and Security讀者反饋學(xué)科排名

牲畜欄

Information Sources on and Around S-Plus, by designing the certifying tools according to a logging-and-checking architecture. We describe the on-line and on-line logging-and-checking methodology, its application in the frame of an industrial project, and the ongoing logging-and-checking redesign of a state-of-the-art prover which we intend to use in future applications.

Phagocytes

說(shuō)笑

A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools by designing the certifying tools according to a logging-and-checking architecture. We describe the on-line and on-line logging-and-checking methodology, its application in the frame of an industrial project, and the ongoing logging-and-checking redesign of a state-of-the-art prover which we intend to use in future applications.

Senescent

搏斗

Testing and Documenting Your Model,f Java programs. In this paper, the Java security scheme is examined and current implementations are evaluated on the basis of their efficiency and flexibility. Finally, proposed enhancements and upcoming extensions to the security model are described.

搏斗

Information Sources on and Around S-Plus,opment process. This paper defines a secure software development process to reduce the risk of manipulation and enhance the trustworthiness of critical software produced by renowned manufaturers according to high quality standards. It also explained how this process may be implemented cost efficiently.

代替

Information Sources on and Around S-Plus,rces of weakness recommendations are derived to improve the C code also in view of software modification and maintenance, which is important because of the long life-time of I&C systems in nuclear power plants.

開(kāi)花期女

An Agenda for Specifying Software Components with Complex Data Modelsach not only provides detailed guidance to specifiers, but it is also part of a more general engineering concept for engineering safety-critical embedded systems that was developed in the ESPRESS project, a joint project of academia and industry.

摘要