平常
发表于 2025-3-28 15:23:26
Gustaf Myhrmansind das Ergebnis von staatlichen Anordnungen, von privaten Übereinkünften und von marktmäßigen Entwicklungen im Zuge der unüberschaubaren Arbeitsteilung der Güterproduktion. Für die Wissenschaft entsteht hier das Problem der Erklärung solcher Erscheinungen. Das vorliegende Buch behandelt eine besti
dictator
发表于 2025-3-28 20:07:22
http://reply.papertrans.cn/47/4641/464075/464075_42.png
Introvert
发表于 2025-3-29 02:00:15
Richard Granville,Keith Harrisonnen von Jahren bilden sich in der Natur informations verarbeitende Systeme, die weitaus komplexer als die von Menschen geschaffenen Systeme sind. Worin ähneln und worin unterscheiden sich biologische und künstliche Informationssysteme? Auf diese Frage soll hier eine Antwort gefunden werden. Hierzu
ostrish
发表于 2025-3-29 04:44:32
http://reply.papertrans.cn/47/4641/464075/464075_44.png
antidepressant
发表于 2025-3-29 08:03:50
978-3-540-76189-1Springer-Verlag London Limited 1998
modish
发表于 2025-3-29 15:14:03
Ada for High Integrity,This paper describes the approach being taken by an ISO group to produce Guidelines for the use of Ada when developing high integrity applications. The problems and benefits to industry of such material are discussed.
删除
发表于 2025-3-29 15:46:57
Independent Safety Auditing,Independent Safety Audits are becoming increasingly common but the role of Independent Safety Auditor (ISA) has never been clearly defined. This paper introduces the concept of independent safety audits and provides one interpretation of the ISA role.
ASSET
发表于 2025-3-29 23:17:13
Developments for Safer Systems in the Swedish Defence,ies. This paper describes the background and presents the Swedish System Safety Manual, its contents and related matters. It also introduces some of the work that is in progress in the defence procurement area for a safer future.
FLOAT
发表于 2025-3-30 01:49:19
Use of Static Code Analysis to Support the Safety Certification of Airborne Software, was therefore decided to carry out a detailed third-party assessment of this software, using Static Code Analysis techniques. This paper describes the experience gained from the assessment project and summarises the benefits obtained.
hematuria
发表于 2025-3-30 06:52:46
Improving the Production and Presentation of Safety Cases through the use of Intranet Technology,Working in a paper based environment leads to a documentation set that can be large, expensive to produce, complex to follow and difficult to maintain. This paper examines how basic intranet technology may be used to capture links between documents and potentially make easier the development, maintenance and understanding of a Safety Case.