掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机工程与应用
音响改装技术
工矿自动化
福建电脑
电脑高手
大众硬件
网络安全技术与应用
电脑知识与技术-经验技巧
家庭电子(维修版)
计算机工程
更多>>
相关外文期刊
Journal of Intelligent Information Systems
International Journal of Cloud Computing
IEEE Transactions on Robotics and Automation
Earth Observation and Remote Sensing
New Generation Computing
International journal of computing science and mathematics
Journal of Scheduling
Inside knowledge
Services Computing, IEEE Transactions on
Journal of defense modeling and simulatio
更多>>
相关中文会议
第二届全国教育游戏与虚拟现实学术会议
中国自动化学会第三届MES(制造执行系统)开发与应用专题研讨会
2006系统仿真及其应用学术交流会
2011年江苏省仪器仪表学会学术年会
2007年中国机器博弈学术研讨会
中国自动化学会全国青年学术年会
NCIS2002第十二届全国信息存储学术会议
2013年“计算机科学与技术及教育技术”学术研讨会
第八届中国系统建模与仿真技术高层论坛
全国第四届工业控制系统应用学术会议
更多>>
相关外文会议
Conference on Enabling Technologies for Simulation Science VII Apr 22-25, 2003 Orlando, Florida, USA
Proceedings of the First workshop on Wireless mobile internet
Technologies and applications of artificial intelligence
2015 IEEE 21st International Symposium on High Performance Computer Architecture
International workshop on Synthesis and analysis of component connectors
Graph-based representations in pattern recognition
Focused retrieval and evaluation
Theory of cryptography
Network and parallel computing
2019 International Conference on Robotics and Automation
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
System architecture
机译:
系统架构
作者:
Sebastian Uchitel
;
Robert Chatley
;
Jeff Kramer
;
Jeff Magee
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
synthesis;
2.
Using an SQL coverage measurement for testing database applications
机译:
使用SQL覆盖率度量来测试数据库应用程序
作者:
Maria Jose Suarez-Cabal
;
Javier Tuya
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
verification and validation;
3.
PSE
机译:
为什么
作者:
Roman Manevich
;
Manu Sridharan
;
Stephen Adams
;
Manuvir Das
;
Zhe Yang
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
value flow;
4.
An efficient and backwards-compatible transformation to ensure memory safety of C programs
机译:
一种高效且向后兼容的转换,可确保C程序的内存安全
作者:
Wei Xu
;
Daniel C. DuVarney
;
R. Sekar
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
program transformation;
5.
A classification system and analysis for aspect-oriented programs
机译:
面向方面的程序的分类系统和分析
作者:
Martin Rinard
;
Alexandru Salcianu
;
Suhabe Bugrara
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
program analysis;
6.
Modular design and verification of component-based mechatronic systems with online-reconfiguration
机译:
具有在线重新配置的基于组件的机电系统的模块化设计和验证
作者:
Holger Giese
;
Sven Burmester
;
Wilhelm Schafer
;
Oliver Oberschelp
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
unified modelling language (UML);
7.
Refining code-design mapping with flow analysis
机译:
通过流程分析完善代码设计映射
作者:
Xiaofang Zhang
;
Michal Young
;
John H. E. F. Lasseter
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
flow analysis;
8.
Correlation exploitation in error ranking
机译:
错误分级中的相关性利用
作者:
Ted Kremenek
;
Ken Ashcraft
;
Junfeng Yang
;
Dawson Engler
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
static analysis;
9.
Testing static analysis tools using exploitable buffer overflows from open source code
机译:
使用开放源代码中的可利用缓冲区溢出来测试静态分析工具
作者:
Misha Zitser
;
Richard Lippmann
;
Tim Leek
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
test detection;
10.
Engineering human trust in mobile system collaborations
机译:
工程人员对移动系统协作的信任
作者:
Licia Capra
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
trust management;
11.
Heuristic-guided counterexample search in FLAVERS
机译:
在FLAVORS中进行启发式引导的反例搜索
作者:
Jianbin Tan
;
George S. Avrunin
;
Lori A. Clarke
;
Shlomo Zilberstein
;
Stefan Leue
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
heuristic search;
12.
How a good software practice thwarts collaboration
机译:
良好的软件实践如何阻碍协作
作者:
Cleidson R. B. de Souza
;
David Redmiles
;
Li-Te Cheng
;
David Millen
;
John Patterson
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
qualitative studies;
13.
Empirical evaluation of defect projection models for widely-deployed production software systems
机译:
广泛使用的生产软件系统的缺陷投影模型的经验评估
作者:
Paul Luo Li
;
Mary Shaw
;
Jim Herbsleb
;
Bonnie Ray
;
P. Santhanam
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
software insurance;
14.
The usability problem for home appliances
机译:
家用电器的可用性问题
作者:
Joe Marks
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
15.
Making embedded software reuse practical and safe
机译:
使嵌入式软件重用切实可行且安全
作者:
Nancy G. Leveson
;
Kathryn Anne Weiss
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
software reuse;
16.
Resolving uncertainties during trace analysis
机译:
解决痕量分析过程中的不确定性
作者:
Alexander Egyed
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
17.
Efficient incremental algorithms for dynamic detection of likely invariants
机译:
动态检测可能不变量的高效增量算法
作者:
Jeff H. Perkins
;
Michael D. Ernst
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
reversing optimizations;
18.
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
机译:
使用Verisoft和TXL自动执行并发程序的全面安全性分析
作者:
Juergen Dingel
;
Hongzhi Liang
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
source code transformation;
19.
Explaining abstract counterexamples
机译:
解释抽象的反例
作者:
Sagar Chaki
;
Alex Groce
;
Ofer Strichman
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
predicate abstraction;
20.
Merging partial behavioural models
机译:
合并部分行为模型
作者:
Sebastian Uchitel
;
Marsha Chechik
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
partial behaviour models;
21.
Reasoning about partial goal satisfaction for requirements and design engineering
机译:
对需求和设计工程的部分目标满意度的推理
作者:
Emmanuel Letier
;
Axel van Lamsweerde
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
reasoning about design alternatives;
22.
Variability management with feature-oriented programming and aspects
机译:
具有面向功能的编程和方面的可变性管理
作者:
Mira Mezini
;
Klaus Ostermann
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
variability management;
23.
Verifying aspect advice modularly
机译:
模块化验证方面建议
作者:
Shriram Krishnamurthi
;
Kathi Fisler
;
Michael Greenberg
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
modular verification;
24.
Implementing protocols via declarative event patterns
机译:
通过声明性事件模式实现协议
作者:
Robert J. Walker
;
Kevin Viggers
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
traceability;
25.
A type system for object models
机译:
对象模型的类型系统
作者:
Jonathan Edwards
;
Daniel Jackson
;
Emina Torlak
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
vacuity detection;
26.
Scaling regression testing to large software systems
机译:
将回归测试扩展到大型软件系统
作者:
Alessandro Orso
;
Nanjuan Shi
;
Mary Jean Harrold
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
testing;
27.
Relevancy based semantic interoperation of reuse repositories
机译:
重用存储库的基于相关性的语义互操作
作者:
Ying Pan
;
Lei Wang
;
Lu Zhang
;
Bing Xie
;
Fuqing Yang
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
关键词:
software reuse;
28.
Is security engineering really just good software engineering?
机译:
安全工程真的就是好的软件工程吗?
作者:
Alexander L. Wolf
会议名称:
《Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering》
|
2004年
意见反馈
回到顶部
回到首页