默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

康斯坦斯·海特迈尔

康妮·海特梅耶

>主页 >珀森斯

人员信息

附属： 美国华盛顿海军研究实验室

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/GnesiCFH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/GnesiCFH19
斯蒂芬妮娅·格内西,安娜·卡瓦尔坎蒂,约翰·菲茨杰拉德,康斯坦斯·海特迈尔:
编辑。形式方面计算。 31(2):131-132(2019)
2017
[公元60年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/LonardonAH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/LonardonAH17
伊丽莎白·伦纳德,迈拉·M·阿彻,康斯坦斯·海特迈尔:
用于检查源代码安全性的属性模板。记忆码 2017:87-90
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/natosec/HeitmeyerLA17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/natosec/HeitmeyerLA17
康斯坦斯·海特迈尔,伊丽莎白·伦纳德,迈拉·M·阿彻:
计算需求模型的下一状态函数。可靠软件系统工程 2017:44-59
2016
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/2016
约翰·菲茨杰拉德,康斯坦斯·海特迈尔,斯蒂芬妮娅·格内西,安娜·菲利普:
2016年11月9日至11日，塞浦路斯利马索尔，第21届国际研讨会，正式方法。计算机科学课堂讲稿9995,2016，国际标准图书编号978-3-319-48988-9 [目录]
2015
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ase/HeitmeyerPLARAT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ase/HeitmeyerPLARAT15
康斯坦斯·海特迈尔,马克·皮克特,伊丽莎白·伦纳德,迈拉·M·阿彻,英德拉基·雷,大卫·W·阿哈,J.格雷戈里·特拉夫顿:
建立高保障的以人为中心的决策系统。自动。柔和。工程师。 22(2):159-197(2015)
[公元59年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/HeitmeyerL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/HeitmeyerL15
康斯坦斯·海特迈尔,伊丽莎白·伦纳德:
获得自治系统中的信任：形式化模型合成和验证工具。 FormaliSE@ICSE 2015:54-60
2014
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JurjensFFRH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JurjensFFRH14
扬·朱尔扬（Jan Jürjens）,爱德华多·B·费尔南德斯,罗伯特·B·法国,伯恩哈德·伦普,康斯坦斯·海特迈尔:
使用建模语言进行关键系统开发。（CSDUML-04）：当前发展和未来挑战（第三次国际研讨会报告）。 CoRR公司 abs/1409.6608(2014)
2013
[公元58年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/海特迈耶SAL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HeitmeyerSAL13
康斯坦斯·海特迈尔,桑迪普·K·舒克拉,迈拉·M·阿彻,伊丽莎白·伦纳德:
关于基于模型的软件开发。软件工程未来展望 2013:49-60
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/essos/ArcherLH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/essos/ArcherLH13
米拉·阿切尔,伊丽莎白·伦纳德,康斯坦斯·海特迈尔:
想法：用SecProve编写安全的C程序。 ESSO系统 2013:171-180
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/HeitmeyerPBATL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/HeitmeyerPBATL13
康斯坦斯·海特迈尔,马克·皮克特,莱恩·布雷斯洛,大卫·W·阿哈,J.格雷格·特拉夫顿,伊丽莎白·伦纳德:
高保证的以人为中心的决策系统。提升@ICSE 2013:35-41
2012
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/LeonardAHJ12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/LonardonAHJ12
伊丽莎白·伦纳德,米拉·阿切尔,康斯坦斯·海特迈尔,拉尔夫·D·杰夫兹:
反应模型不变量的直接生成。记忆码 2012:119-130
2011
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/natosec/Heitmeyer11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/natosec/Heitmeyer11
康斯坦斯·海特迈尔:
关键系统的需求模型。软件和系统安全-规范和验证 2011:158-181
2010
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/JeffordsHAL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/JeffordsHAL10
拉尔夫·D·杰夫兹,康斯坦斯·海特迈尔,米拉·阿切尔,伊丽莎白·伦纳德:
使用合成和部分细化对关键系统进行基于模型的构建和验证。形式方法系统。设计。 37(2-3):265-294(2010)
[公元54年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/pts/海特迈耶10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pts/Heitmeyer10
康斯坦斯·海特迈尔:
一种基于模型的方法，用于测试软件的关键行为和属性。信息和通信技术支持系统 2010:15

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/JeffordsHAL09会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/JefordsHAL09
拉尔夫·D·杰夫兹,康斯坦斯·海特迈尔,米拉·阿切尔,伊丽莎白一世·伦纳德:
使用部分精化和组合开发可证明正确的容错系统的形式化方法。 FM公司 2009:173-189
2008
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/daes/BultanH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dafes/BultanH08
特夫菲克·布尔坦,康斯坦斯·海特迈尔:
将无限状态模型检查和其他分析技术应用于将安全关键系统的需求规范制成表格。设计。自动。嵌入。系统。 12(1-2):97-137(2008)
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/HeitmeyerALM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/HeitmeyerALM08
康斯坦斯·海特迈尔,米拉·阿切尔,伊丽莎白·伦纳德,麦克莱恩:
将形式化方法应用于可认证安全软件系统。 IEEE传输。软件工程。 34(1):82-98(2008)
[第52条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Heitmeyer09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Heitmeyer09
康斯坦斯·海特迈尔:
关于正式方法在软件认证中的作用：一份经验报告。安全证书@ETAPS 2008:3-9
2007
[j15]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/HeitmeyerT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/HeitmeyerT07
康斯坦斯·海特迈尔,Jean-Pierre Talpin女士:
客座编辑。形式方法系统。设计。 30(1):1-3(2007)
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jucs/Heitmeyer07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jucs/Heitmeyer07网址
康斯坦斯·海特迈尔:
指定、验证和验证需求的正式方法。 J.大学。计算。科学。 13(5):607-618(2007)
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/HeitmeyerJBA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/HeitmeyerJBA07
康斯坦斯·海特迈尔,拉尔夫·D·杰夫兹,拉梅什·巴拉德瓦吉,米拉·阿切尔:
RE理论与软件实践：软件开发趋势的教训。重新 2007:265-268
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Heitmeyer07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Heitmeyer07网址
康斯坦斯·海特迈尔:
形式化方法在软件开发和认证中的应用。 TPHOL公司 2007:1-2
2006
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/HeitmeyerALM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/HeitmeyerALM06
康斯坦斯·海特迈尔,米拉·阿切尔,伊丽莎白·伦纳德,约翰·D·麦克林:
嵌入式系统分离内核中数据分离的形式化规范和验证。 CCS系统 2006:346-355
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lctrts/RothamelLHL06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lctrts/RothamelLHL06
汤姆·罗萨梅尔,刘艳红,康斯坦斯·海特迈尔,伊丽莎白·伦纳德:
根据SCR规范生成优化代码。 LCTES公司 2006:135-144
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BltanH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BltanH06
特夫菲克·布尔坦,康斯坦斯·海特迈尔:
使用无限状态模型检查分析表格需求规范。记忆码 2006:7-16
2005
[j13]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/csse/HeitmeyerABJ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/csse/HeitmeyerABJ05
康斯坦斯·海特迈尔,米拉·阿切尔,拉梅什·巴拉德瓦吉,拉尔夫·D·杰夫兹:
构建需求规范的工具：九岁时的SCR工具集。计算。系统。科学。工程师。 20(1)(2005)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/软件/RobertsonH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/software/RobertsonH05
詹姆斯·罗伯逊,康妮·海特梅耶:
点/对点。 IEEE软件。 22(1):48-51(2005)
[公元46年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/Heitmeyer05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/Heitmeyer05
康斯坦斯·海特迈尔:
用形式化方法开发高质量软件：还需要什么？复地 2005:13-19
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hase/Heitmeyer05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hase/Heitmeyer05
康斯坦斯·海特迈尔:
灵丹妙药或学术流行歌曲：重新审视形式方法。哈斯 2005:3-7
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/HeitmeyerP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/HeitmeyerP05
康斯坦斯·海特迈尔,克劳斯·波尔:
体验报告跟踪介绍。集成电路 2005:480
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/BultanHO05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/BltanHO05
特夫菲克·布尔坦,康斯坦斯·海特迈尔,约翰·奥利里:
设计验证小组。记忆码 2005:232-235
2004
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/memocode/ShuklaBH04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/memocode/ShuklaBH04
桑迪普·K·舒克拉,特夫菲克·布尔坦,康斯坦斯·海特迈尔:
专家组：鉴于硬件验证是一场艰苦的战斗，软件验证的未来是什么？记忆码 2004:157-158
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/uml/JurjensFFRH04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/uml/JurjensFFRH04
扬·朱尔扬（Jan Jürjens）,爱德华多·B·费尔南德斯,罗伯特·B·法国,伯恩哈德·伦普,康斯坦斯·海特迈尔:
使用建模语言进行关键系统开发（CSDUML-04）：当前发展和未来挑战（第三次国际研讨会报告）。 UML卫星活动 2004:76-84
[公元40年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Heitmeyer04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Heitmeyer04
康斯坦斯·海特迈尔:
使用基于形式的工具管理软件开发中的复杂性。 FESCA@ETAPS 2004:11-19
2003
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/LeonardH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/LonardH03
伊丽莎白·伦纳德,康斯坦斯·海特迈尔:
使用APTS从正式需求规范进行程序合成。高。订购符号。计算。 16(1-2):63-92(2003)
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/FeatherNHM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/FeatherNHM03
马丁·费瑟,艾伦·P·尼古拉,康斯坦斯·海特迈尔,南希·米德:
ICSE 2003高保证系统软件工程研讨会：过程、产品和概要分析之间的协同作用（SEHAS 2003）。集成电路 2003:787-788
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/Heitmeyer03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/Heitmeyer03
康斯坦斯·海特迈尔:
开发高保证系统：关于软件工具的作用。 SAFECOMP公司 2003:159-164
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/JeffordsH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/JeffordsH03
拉尔夫·D·杰夫兹,康斯坦斯·海特迈尔:
有效验证需求的策略。 ESEC/SIGSOFT FSE 2003:28-37
2002
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ase/ArcherHR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ase/ArcherHR02
米拉·阿切尔,康斯坦斯·海特迈尔,蓖麻Elvinia Riccobene:
用TAME证明I/O自动机的不变量。自动。柔和。工程师。 9(三):201-232(2002)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/re/KaindlBBFGHLMMS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/re/KaindlBBFGHLMMS02
赫尔曼·坎德尔,雅克布林克热,Janis A.Bubenko Jr.小。,芭芭拉·法贝,索尔·格林斯潘,康斯坦斯·海特迈尔,朱利奥·塞萨尔·桑帕约·多·普拉多·莱特,南希·米德,约翰·米洛波洛斯,下巴I.A.Siddiqi:
需求工程和技术转让：障碍、激励和改进议程。要求。工程师。 7(三):113-123(2002)
2001
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acca/LandwehrHM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsac/LandwehrHM01
卡尔·E·兰德维尔,康斯坦斯·海特迈尔,约翰·D·麦克林:
军事信息系统的安全模型：回顾。 ACSAC公司 2001:174-190
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mmmacns/Heitmeyer01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mmmacns/Heitmeyer01
康斯坦斯·海特迈尔:
应用实用形式化方法描述和分析安全属性。 MMM-ACNS系统 2001:84-89
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/JeffordsH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/JeffordsH01
拉尔夫·D·杰夫兹,康斯坦斯·海特迈尔:
一种增强由需求规范生成的状态不变量的算法。重新 2001:182-193
2000
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jucs/HeitmeyerB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jucs/HeitmeyerB00
康斯坦斯·海特迈尔,拉梅什·巴拉德瓦吉:
将SCR需求方法应用于灯光控制案例研究。 J.大学。计算。科学。 6(7):650-678(2000)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tc/BrockmeyerJHW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tc/BrockmeyerJHW00
莫妮卡·布罗克梅耶,Farnam Jahanian公司,康斯坦斯·海特迈尔,伊利赢家:
用于测试实时规范的灵活、可扩展的仿真环境。 IEEE传输。计算机 49(11):1184-1201(2000)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/faabs/HincheyHPHGLT00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/faabs/HincheyHPHGLT00
迈克尔·欣奇,詹姆斯·亨德勒,查尔斯·佩切尔,康斯坦斯·海特迈尔,戴安娜·戈登,迈克尔·勒克,沃尔特·特鲁斯科夫斯基:
小组讨论：未来方向。 FAABS公司 2000:354-368
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmsp/ArcherHR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmsp/ArcherHR00网址
米拉·阿切尔,康斯坦斯·海特迈尔,蓖麻Elvinia Riccobene:
使用TAME来证明自动机模型的不变量：两个案例研究。 FMSP（飞行管理计划） 2000:25-36
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icre/Heitmeyer00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icre/Heitmeyer00
康斯坦斯·海特迈尔:
将需求中的研究成果转化为实践：障碍和激励。 ICRE公司 2000:71-72

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ase/BharadwajH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ase/BharadwajH99
拉梅什·巴拉德瓦吉,康斯坦斯·海特迈尔:
使用抽象检查完整需求规范的模型。自动。柔和。工程师。 6(1):37-68(1999)
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsac/KirbyAH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsac/KirbyAH99
詹姆斯·柯比,米拉·阿切尔,康斯坦斯·海特迈尔:
SCR：构建高保证通信安全系统的实用方法。 ACSAC公司 1999:109-118
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esec/GargantiniH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esec/GargantiniH99
安吉洛·加甘蒂尼,康斯坦斯·海特迈尔:
使用模型检查从需求规范生成测试。 ESEC/SIGSOFT FSE 1999:146-162
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hase/KirbyAH99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hase/KirbyAH99
小詹姆斯·柯比。,米拉·阿切尔,康斯坦斯·海特迈尔:
将形式化方法应用于信息安全设备：经验报告。哈斯 1999:81-88
[公元27年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pdpta/Heitmeyer99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdpta/Heitmeyer99
康斯坦斯·海特迈尔:
开发软件规范的形式化方法：更广泛使用的途径。 PDPTA公司 1999:1047-1053
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/Heitmeyer99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/Heitmeyer99
康斯坦斯·海特迈尔,菲利普·莫里斯:
增加RE在可靠系统开发中的作用。重新 1999:191-
1998
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/HeitmeyerKLAB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/HeitmeyerKLAB98
康斯坦斯·海特迈尔,詹姆斯·柯比,布鲁斯·G·拉布,米拉·阿切尔,拉梅什·巴拉德瓦吉:
使用抽象和模型检查检测需求规范中的安全违规。 IEEE传输。软件工程。 24(11):927-948(1998)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Heitmeyer公司KLB98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeitmeyerKLB98
康斯坦斯·海特迈尔,詹姆斯·柯比,布鲁斯·G·拉布,拉梅什·巴拉德瓦杰:
SCR*：用于指定和分析软件需求的工具集。腔静脉 1998:526-531
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmsp/HeitmeyerKL98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmsp/HeitmeyerKL98
康斯坦斯·海特迈尔,詹姆斯·柯比,布鲁斯·G·拉布:
将SCR要求方法应用于武器控制面板：经验报告。 FMSP（飞行管理计划） 1998:92-102
[c23]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/Heitmeyer98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/Heitmeyer98网址
康斯坦斯·海特迈尔:
关于实用形式方法的需要。 FTRTFT公司 1998:18-26
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/JeffordsH98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/JeffordsH98
拉尔夫·D·杰夫兹,康斯坦斯·海特迈尔:
从需求规范自动生成状态不变量。 SIGSOFT FSE公司 1998:56-69
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wift/Heitmeyer98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wift/Heitmeyer98网址
康斯坦斯·海特迈尔:
使用SCR*工具集指定软件要求。无线网络 1998:12-
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wift/HeimdahlH98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wift/HeimdahlH98
艾瑞克·海姆达尔的垫子,康斯坦斯·海特迈尔:
开发高保证计算机系统的正式方法：工作组报告。 WIFT公司 1998:60-
1997
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hase/BrockmeyerJWHL97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hase/BrockmeyerJWHL97
莫妮卡·布罗克梅耶,Farnam Jahanian公司,伊利赢家,康斯坦斯·海特迈尔,布鲁斯·G·拉布:
A.实时规范自定义模拟和监控的软件环境。哈斯 1997:78-84
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合/ArcherH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/ArcherH97
米拉·阿切尔,康斯坦斯·海特迈尔:
验证建模为时间自动机的混合系统：案例研究。雄鹿 1997:171-185
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/HeitmeyerKL97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/HeitmeyerKL97
康斯坦斯·海特迈尔,詹姆斯·柯比,布鲁斯·G·拉布:
用于正式指定、验证和验证需求的SCR方法：工具支持。集成电路 1997:610-611
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/故障H97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/FaultkH97
斯图亚特·福克,康斯坦斯·海特迈尔:
实时系统的严格要求：SCR方法的发展和应用（教程）。集成电路 1997:637-638
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/故障H97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/FaultkH97
斯图亚特·福克,康斯坦斯·海特迈尔:
需求规格说明和分析的SCR方法。重新 1997:263
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtas/BrockmeyerJHL97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtas/BrockmeyerJHL97
莫妮卡·布罗克梅耶,Farnam Jahanian公司,康斯坦斯·海特迈尔,布鲁斯·G·拉布:
用于测试实时规范的灵活、可扩展的仿真环境。 IEEE实时技术与应用研讨会 1997:125-135
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/ArcherH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/ArcherH97
米拉·阿切尔,康斯坦斯·海特迈尔:
用PVS证明人的风格定理。 TPHOL公司 1997:33-48
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/Heitmeyer97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/Heitmeyer97网址
康斯坦斯·海特迈尔:
形式方法：灵丹妙药还是学术流行？ ZUM公司 1997:3-9
1996
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tosem/HeitmeyerJL96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tosem/HeitmeyerJL96
康斯坦斯·海特迈尔,拉尔夫·D·杰夫兹,布鲁斯·G·拉布:
需求规范的自动一致性检查。 ACM事务处理。柔和。工程方法。 5(三):231-261(1996)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtas/ArcherH96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtas/ArcherH96
米拉·阿切尔,康斯坦斯·海特迈尔:
时间自动机的机械验证：案例研究。 IEEE实时技术与应用研讨会 1996:192-203
1995
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/海特迈耶95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/Heitmeyer95
康斯坦斯·海特迈尔:
混合动力系统的要求规范。混合动力系统 1995:304-314
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icdcs/MokHJJLR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icdcs/MokHJJLR95
阿洛伊修斯·莫克,康斯坦斯·海特迈尔,凯文·杰斐,迈克尔·琼斯,C.道格拉斯锁,拉古纳桑·拉吉库马尔:
未来分布式嵌入式和实时应用程序将具有自适应性：意义、挑战和研究范式（小组）。 ICDCS系统 1995:182-184
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/HeitmeyerLK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/HeitmeyerLK95
康斯坦斯·海特迈尔,布鲁斯·G·拉布,丹尼尔·基斯基:
SCR型需求规范的一致性检查。重新 1995:56-65
1994
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtss/HeitmeyerL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtss/HeitmeyerL94
康斯坦斯·海特迈尔,南希·A·林奇:
广义铁路交叉口：实时系统形式化验证的案例研究。 RTSS系统 1994:120-131
1993
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtss/ClementsHLR93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtss/ClementsHLR93
保罗·克莱门茨,康斯坦斯·海特迈尔,布鲁斯·G·拉布,A.T.罗斯:
MT：用于指定和分析实时系统的工具集。 RTSS系统 1993:12-22
1992
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/chi/BalasHP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/chi/BalasHP92
詹姆斯·巴拉斯,康斯坦斯·海特迈尔,曼努埃尔·A·佩雷斯-奎尼翁:
评估先进驾驶舱中直接操纵的两个方面。芝加哥 1992:127-134
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nato/Heitmeyer92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nato/Heitmeyer92
康斯坦斯·海特迈尔:
用于开发实时系统的工具集。北约ASI RTC 1992:517-518
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nato/Heitmeyer92a会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nato/Heitmeyer92a
康斯坦斯·海特迈尔:
实时应用程序的正确规范/设计/实现范式是什么？北约ASI RTC 1992:608-609

1980 – 1989

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1984
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocs/LandwehrHM84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocs/LandwehrHM84
卡尔·E·兰德维尔,康斯坦斯·海特迈尔,约翰·D·麦克林:
军事信息系统的安全模型。 ACM事务处理。计算。系统。 2(三):198-222(1984)
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/McLeanLH84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/McLeanLH84
约翰·D·麦克林,卡尔·E·兰德维尔,康斯坦斯·海特迈尔:
MMS安全模型的正式声明。标准普尔 1984:188-194
1983
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tse/HeitmeyerM83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/HeitmeyerM83
康斯坦斯·海特迈尔,约翰·D·麦克林:
抽象需求规范：一种新的方法及其应用。 IEEE传输。软件工程。 9(5):580-589(1983)
1982
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rpr/HeitmeyerLC82
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rpr/HeitmeyerLC82
康妮·海特梅尔,卡尔·E·兰德维尔,M.康威尔:
在安全军事信息系统项目中使用快速原型。快速原型制作 1982:85-87
1980
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcom/HeitmeyerW80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcom/HeitmeyerW80
康斯坦斯·海特迈尔,斯坦利·威尔逊:
军事信息系统：现状和未来方向。 IEEE传输。Commun公司。 28(9):1645-1654(1980)

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。