找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

12345
返回列表
打印 上一主題 下一主題

Titlebook: Current Issues in Safety-Critical Systems; Proceedings of the E Felix Redmill,Tom Anderson Conference proceedings 2003 Springer-Verlag Lond

[復(fù)制鏈接]
樓主: Osteopenia
41#
發(fā)表于 2025-3-28 16:34:49 | 只看該作者
Vladimir Nikolikj,Toni Janevskithods of textual analysis usually found only in studies of the arts and literature, although the kinds of textual studies we propose have also been influential in the discipline of law (Ward 1998, Chapter 7).
42#
發(fā)表于 2025-3-28 22:07:53 | 只看該作者
https://doi.org/10.1007/978-3-319-15524-1concepts of “safety case architecture” and contract based reasoning for managing inter-safety case dependency. Problems of division of responsibility in safety case development will also be discussed.
43#
發(fā)表于 2025-3-28 23:30:28 | 只看該作者
44#
發(fā)表于 2025-3-29 03:13:51 | 只看該作者
45#
發(fā)表于 2025-3-29 10:24:55 | 只看該作者
Integrating Human Error Management Strategies Throughout the System Lifecycleement processes. Using a standard framework improves integration of human error into safety risk management and enables the sharing, comparison and validation of human error data across all stages of the system lifecycle.
46#
發(fā)表于 2025-3-29 11:53:14 | 只看該作者
47#
發(fā)表于 2025-3-29 15:53:35 | 只看該作者
48#
發(fā)表于 2025-3-29 20:54:43 | 只看該作者
White Box Software Developmentuality of software “in the large”, the public’s (and the industry’s) view that this is in some way acceptable, and then presents some real case studies which show how quality can be built in without the need to invest in overweight tools and technologies.
49#
發(fā)表于 2025-3-30 00:00:21 | 只看該作者
Assurance of safety-related applications on a COTS platformheck’ on the outputs displayed. A significant issue is how to avoid ‘common cause’ or latent failures, such as the operating system failing to run the monitor. The approach is illustrated by a number of case studies: a military pilot’s planning aide, an ‘ATC-like’ display and a critical document control.
50#
發(fā)表于 2025-3-30 05:08:12 | 只看該作者
An Integrated Approach to Dependability Requirements Engineeringion about system requirements from stakeholders. I also discuss briefly how concerns may be part of a more general requirements engineering method called DISCOS that integrates requirements engineering with high-level design. I use examples from a medical information system to illustrate how concerns may be used.
12345
返回列表
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-7 04:35
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
阳高县| 兴城市| 乐安县| 新乡市| 通州市| 乌审旗| 襄城县| 绿春县| 庆云县| 富川| 德清县| 永福县| 新建县| 华容县| 枝江市| 阿鲁科尔沁旗| 新干县| 新蔡县| 东乡县| 鄂托克前旗| 太和县| 宣城市| 叶城县| 高州市| 鄂尔多斯市| 大同县| 老河口市| 辉南县| 白水县| 柳江县| 临沭县| 珠海市| 临江市| 孟津县| 沐川县| 乌拉特中旗| 石门县| 桐梓县| 车致| 海阳市| 错那县|