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

ISSUE

书目名称Computer Safety, Reliability and Security影响因子(影响力)




书目名称Computer Safety, Reliability and Security影响因子(影响力)学科排名




书目名称Computer Safety, Reliability and Security网络公开度




书目名称Computer Safety, Reliability and Security网络公开度学科排名




书目名称Computer Safety, Reliability and Security被引频次




书目名称Computer Safety, Reliability and Security被引频次学科排名




书目名称Computer Safety, Reliability and Security年度引用




书目名称Computer Safety, Reliability and Security年度引用学科排名




书目名称Computer Safety, Reliability and Security读者反馈




书目名称Computer Safety, Reliability and Security读者反馈学科排名

牲畜栏

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

说笑

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.

开花期女

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.

摘要