史蒂夫·里德尔
人员信息
优化列表
2020年–今天
2024 [第14条] 萨拉·胡珊吉 , 阿斯玛·沙基尔 , Subhasish Dasgupta公司 , 凯伦·戴维斯 , 穆罕默德·法格利 , 凯莉·安·菲茨帕特里克 , 米雷拉·古蒂卡 , 瑞恩·哈德 , 埃莉·洛弗莱特 , 史蒂夫·里德尔 , 穆罕默德·西亚姆 :
教授计算机领域顶尖课程的讲师的经验。 ITiCSE(2) 2024
2010 – 2019
2014 [i2] 克莱尔·英格拉姆 , 史蒂夫·里德尔 , 约翰·菲茨杰拉德 , 萨基纳·A·H·J·阿尔拉瓦蒂 , 阿夫拉·阿尔巴扬 :
应急响应案例研究中体系结构级的SoS故障建模。 CoRR公司 abs/1404.7778 ( 2014 ) [i1] 约翰·菲茨杰拉德 , 史蒂夫·里德尔 , 保罗·卡索托 , 克劳斯·克里斯滕森 :
可靠的系统体系工程:COMPASS项目。 ERCIM新闻 2014 ( 97 ) ( 2014 ) 2012 [第13条] 克莱尔·英格拉姆 , 史蒂夫·里德尔 :
使用早期项目数据预测变革性。 WETSoM公司 2012 : 42-48 [第12条] 史蒂夫·里德尔 :
基于合同的系统体系建模和分析技术。 SoSE公司 2012 : 469-470 [第11条] 理查德·约翰·佩恩 , 杰里米·布莱恩斯 , 约翰·菲茨杰拉德 , 史蒂夫·里德尔 :
系统间体系结构的接口规范。 SoSE公司 2012 : 567-572 [第1页] 克莱尔·英格拉姆 , 史蒂夫·里德尔 :
可追溯性的成本效益。 软件和系统可追溯性 2012 : 23-42 2011 [第10条] 克莱尔·英格拉姆 , 史蒂夫·里德尔 :
将软件设计指标与组件更改倾向联系起来。 WETSoM公司 2011 : 31-37
2000 – 2009
2009 [注2] 彼得·戈尔姆·拉森 , 约翰·菲茨杰拉德 , 史蒂夫·里德尔 :
使用VDM的正式方法的实践性课程 ++ . 形式方面计算。 21 ( 三 ) : 245-257 ( 2009 ) 2006 【c9】 保罗·阿克利 , 史蒂夫·里德尔 , 汤姆·布鲁克斯 :
根据业务需求定制可追溯性信息。 重新 2006 : 234-239 2005 【c8】 梅恩·范德梅伦 , 史蒂夫·里德尔 , 洛伦佐·斯特里吉尼 , 奈杰尔·帕特里克·杰斐逊 :
非现成组件的保护性包装。 ICCBSS公司 2005 : 168-177 【c7】 保罗·阿克利 , 史蒂夫·里德尔 :
克服可追溯性优势问题。 重新 2005 : 385-389 【c6】 汤姆·安德森 , 梅峰 , 史蒂夫·里德尔 , 亚历山大·罗曼诺夫斯基 :
采用OTS PID控制器的锅炉系统的错误恢复。 话 2005 : 113-120 2003 【c5】 保罗·马森 , 艾默·赛义德 , 保罗·阿克利 , 史蒂夫·里德尔 :
航空电子设备可追溯性的元建模方法:基于计算机的航空航天系统工程管理框架。 欧洲商业银行 2003 : 233-246 【c4】 汤姆·安德森 , 梅峰 , 史蒂夫·里德尔 , 亚历山大·罗曼诺夫斯基 :
保护膜开发:案例研究。 ICCBSS公司 2003 : 1-14 【c3】 保罗·马森 , 艾默·赛义德 , 史蒂夫·里德尔 :
关于标准符合性可追溯性的作用:跟踪规范要求。 SAFECOMP公司 2003 : 303-316 2001 【c2】 彼得·波波夫 , 洛伦佐·斯特里吉尼 , 史蒂夫·里德尔 , 亚历山大·罗曼诺夫斯基 :
OTS项目保护器的系统设计。 欧洲微生物公司 2001 : 22-29
1990 – 1999
1997 【b1】 史蒂夫·里德尔 :
实践中的观点:解释。 英国巴斯大学, 1997 【c1】 马克·塞宾 , 罗杰里奥·德莱莫斯 , 博鲁特·马夫科 , 史蒂夫·里德尔 , 艾默·赛义德 :
基于对象的失效特性建模和分析方法。 SAFECOMP公司 1997 : 281-294 1996 [j1] 迈克·安斯沃思 , 史蒂夫·里德尔 , 彼得·沃利斯 :
视点规范的正式验证。 柔和。 工程师J。 11 ( 1 ) : 58-66 ( 1996 )