HASE 2000:美国新墨西哥州阿尔伯克基
第五届IEEE高保证系统工程国际研讨会(HASE 2000),2000年11月15日至17日,美国新墨西哥州阿尔伯克基,会议记录。 IEEE计算机学会 2000 ,国际标准图书编号 0-7695-0927-4 约翰·H·斯蒂奇曼 :
工程伦理:原则和实践准则。 3-4 洪朱 , 徐东河 :
软件测试中行为观察方案的构建。 7-16 D.托德·史密斯 , 托德·德隆 , 巴里·约翰逊 , 特德·C·吉拉斯 :
确定不安全故障的预期时间。 17-24 Tadashi Dohi公司 , 卡特琳娜·戈塞娃-波普斯托亚诺娃 , 基索尔·斯特里维迪 :
具有复兴的软件成本模型分析。 25-34 迈伦·赫赫特 , 何玉涛 , 赫伯特·赫赫特 , 薛高安 :
电子商务系统的系统可靠性和软件可靠性增长模型的集成。 35-42 安·Q·盖茨 :
如何组织研讨会,使行业和学术界都受益? 45-46 丹尼尔·库克 :
关于计算机科学未来的问题。 47-48 罗宾·R·卢茨 :
四个相互重叠的领域。 49-50 约翰·H·斯蒂奇曼 :
如何组织研讨会以造福学术界和工业界。 51-52 斯特凡妮娅·格内西 , 迭戈·拉特拉 , 梅克·马西克 :
UML状态图的行为子集的随机扩展。 55-64 何卫国 , 史蒂夫·戈达德 :
使用UML for Real-Time捕获应用程序的时态属性。 65-74 Sang-Yeong Choi先生 , 杜明达·维杰塞卡拉 :
DADSim防空仿真环境。 75-82 加博尔·胡塞尔 , 伊斯特万·马齐克 :
基于UML状态图模型的可靠性关键系统定量分析。 83-92 约翰·拉什比 :
消失的形式方法。 95-96 格雷戈里·维克斯特罗姆 :
灵活的实时体系结构。 99-106 詹姆斯·麦考伊 :
一种嵌入式系统,用于安全可靠地执行高后果软件。 107-114 安托万重奏 , Ludovic盒式磁带 , 吉勒·格里莫 :
B形式化方法在类型验证算法证明中的应用。 115-124 伊恩·贝特 , 菲利普·康米 , 约翰·麦克德米德 :
为安全关键系统中使用的现代处理器的认证生成证据。 125-134 劳伦斯·A·金 :
正式方法真的属于实践工程师的工具箱吗? 137-139 戈帕尔·古普塔 :
可靠的软件构建:一种基于逻辑编程的方法。 140-141 D.卡普尔 :
不能放弃在硬件和软件中使用形式化方法。 142-143 莫妮卡·布罗克梅耶 :
实时规范的自动抽象。 147-158 罗杰里奥·德莱莫斯 :
不断发展的软件架构的安全分析。 159-168 米歇尔·塞科尼 , 恩里科·特隆西 :
电信设备保护切换器的要求形式化和验证。 169-176 史蒂夫·戈达德 , 凯文·杰弗里 :
从处理图形合成实时系统。 177-186 芭芭拉·J·切尔尼 , 约瑟夫·德安布罗西奥 , 布莱恩·穆雷 :
为X-by-wire汽车系统的安全性提供令人信服的证据。 189-192 塔潘·库马尔·戈沙尔 , S.巴塔查里亚 , K.达塔 :
具有安全关键型铁路信号设备审计软件的经验。 193-196 威廉·尤西克 , 大卫·蒂珀 :
使用不相交路由为面向连接的组通信提供有保证的保证。 197-198 塞缪尔·巴顿 , 布莱恩·史密斯 , 大卫·多斯 , 威廉·尤西克 :
部署高保证VPN的分层框架策略。 199-202 伯恩哈德·艾切里尼(Bernhard K.Aichernig) , 安德烈亚斯·格斯汀格 , 罗伯特·阿斯特 :
形式规范技术是验证的催化剂。 203-206 Coskun Bayrak公司 , 穆罕默德·萨希诺格鲁 , 蒂莫西·卡明斯 :
商业和国防部的高保证软件测试。 207-211 Kam S.Tso先生 , 安·T·泰 , 利昂·阿尔卡莱 , 萨维奥新洲 , 威廉·桑德斯 :
GSU中间件架构设计。 212-215 拉里·道尔顿 :
应用于软件安全的首要原则——硅机械的新用途。 216-218 马里奥·达尔·辛 :
定量需求规范的结构化语言。 221-227 布伦顿·阿奇森 , 彼得·林赛 :
使用Z动画对嵌入式控制软件进行安全验证。 228-237 克斯汀·巴克哈克 :
使用扩展故障树建模。 238-246 安德烈亚·科科利 , 斯特凡·谢默 , 费利西塔·迪·詹多梅尼科 , 迈克尔·莫克 , 安德里亚·邦达瓦利 :
分析组通信协议以评估服务质量属性。 247-256 何玉涛 , 赫伯特·赫赫特 , 雷蒙德·保罗 :
使用测试数据测量和评估软件测试过程。 259-264 法罗赫·巴斯塔尼 , 西蒙·恩塔福斯 , I-Ling Yen先生 , 道格·E·哈里斯 , 理查德·莫罗 , 雷蒙德·保罗 :
一个高保证的度量存储库系统。 265-272 森欣司 :
利用自主移动代理保证信息服务的系统架构。 273-280 许志崴 , 塔吉·M·科什戈夫塔尔 , 爱德华·艾伦 :
使用模糊非线性回归模型预测软件故障。 281-290 罗杰·M·基克哈费尔 , 穆罕默德·阿扎德马内斯 , 永钦惠 :
核磁共振不可靠性对非序贯修复分布的敏感性。 293-300 塔吉·M·科什戈夫塔尔 , 如群山 , 爱德华·艾伦 :
使用产品、过程和执行度量来预测具有分类树的防错软件模块。 301-310 亚历山德罗·加西亚 , 德拉诺·M·贝德 , 塞西利亚·M·F·鲁比拉 :
用于开发容错软件的异常处理软件体系结构。 311-320 博扬·库基奇 , 迪瓦卡·查克拉瓦蒂 :
部署的安全关键系统可靠性保证的贝叶斯框架。 321-329
![](https://dblp.org/img/cog.dark.24x24.png)