找回密碼
 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ù) 返回頂部 返回列表
巴林左旗| 株洲市| 新源县| 眉山市| 左贡县| 孝昌县| 达日县| 肇源县| 东乡族自治县| 高邮市| 岳西县| 西贡区| 玛多县| 荔浦县| 从化市| 秀山| 琼海市| 大港区| 阳西县| 湖州市| 迁安市| 永顺县| 莲花县| 永康市| 田林县| 马尔康县| 石楼县| 手游| 无锡市| 贵州省| 托克托县| 寻甸| 朝阳县| 肥城市| 息烽县| 万盛区| 温泉县| 镇坪县| 新邵县| 沾益县| 凉山|