掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
IEEE/ACM international conference on automated software engineering 2010
IEEE/ACM international conference on automated software engineering 2010
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
集成技术
高性能计算技术
通讯和计算机
计算机应用文摘
计算机学报
航空计算技术
微处理机
计算机教育
中国自动识别技术
电脑知识与技术
更多>>
相关外文期刊
International journal of information system modeling and design
Canadian Journal of Remote Sensing
International journal of information systems and social change
Journal of Electronic Commerce in Organizations
Information Display
ACM Transactions on Graphics
Virus Bulletin
Electronic Computers, Transactions of the I.R.E. Professional Group on
Journal of gaming & virtual worlds
Online Information Review
更多>>
相关中文会议
2001全国软件技术研讨会
第二届中国信息界学术大会
2002中国控制与决策学术年会
2005高性能计算应用大会
2004年中国计算机用户协会国际高新技术研讨会
第七届中文信息处理国际会议
中国石油和化工自动化第八届技术年会
第七届全国汉字识别学术会议
第31届中南六省(区)自动化学会学术年会
第七届中国农村信息化发展论坛
更多>>
相关外文会议
Multimodal signals: Cognitive and algorithmic issues
First International Joint Conference on Autonomous Agents and Multiagent Systems Pt.3, Jul 15-19, 2002, Bologna, Italy
7th ACM computing frontiers conference 2010
RoboCup Symposium; 2004; Lisbon(PT)
First international workshop on digital disease detection using social media
Data management in grid and peer-to-peer systems
IFIP 231; IFIP(International Federation for Information Processing) TC 10 Working Conference; International Embedded Systems Symposium(IESS); 20070530-0601; 20070530-0601; Irvine,CA(US); Irvine,CA(US)
Internet Imaging VII; Electronic Imaging Science and Technology
29th Annual ACM SIGUCCS User Services Conference, 29th, Oct 17-20, 2001, Portland, Oregon
Information hiding
更多>>
热门会议
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.
Eliminating Products to Test in a Software Product Line
机译:
淘汰产品以在软件产品线中进行测试
作者:
Chang Hwan Peter Kim
;
Don Batory
;
Sarfraz Khurshid
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
feature oriented programming;
software product lines;
static analysis;
testing;
2.
MiTV: Multiple-Implementation Testing of User-Input Validators for Web Applications
机译:
MiTV:Web应用程序的用户输入验证器的多次实施测试
作者:
Kunal Taneja
;
Nuo Li
;
Madhuri R. Marri
;
Tao Xie
;
Nikolai Tillmann
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
3.
Model Comparison with GenericDiff
机译:
与GenericDiff的模型比较
作者:
Zhenchang Xing
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
model differencing;
graph matching;
metamodel;
4.
JCCD: A Flexible and Extensible API for Implementing Custom Code Clone Detectors
机译:
JCCD:一种灵活且可扩展的API,用于实现自定义代码克隆检测器
作者:
Benjamin Biegel
;
Stephan Diehl
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
5.
Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings
机译:
自动构建有效的培训集以优先考虑静态分析警告
作者:
Guangtai Liang
;
Ling Wu
;
Qian Wu
;
Qianxiang Wang
;
Tao Xie
;
Hong Mei
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
static analysis tools;
warning prioritization;
training-set construction;
generic-bug-related lines;
6.
Towards Automatically Generating Summary Comments for Java Methods
机译:
向Java方法自动生成摘要注释
作者:
Giriprasad Sridhara
;
Emily Hill
;
Divya Muppaneni
;
Lori Pollock
;
K. Vijay-Shanker
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
7.
Analyzing Security Architectures
机译:
分析安全架构
作者:
Marwan Abi-Antoun
;
Jeffrey M. Barnes
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
8.
Automated Support for Repairing Input-Model Faults
机译:
自动化支持,用于修复输入模型故障
作者:
Senthil Mani
;
Vibha Singhal Sinha
;
Pankaj Dhoolia
;
Saurabh Sinha
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
model repair;
repair actions;
execution tracing;
pattern analysis;
model-driven engineering;
9.
Security-Driven Model-Based Dynamic Adaptation
机译:
基于安全性模型的动态适应
作者:
Brice Morin
;
Tejeddine Mouelhi
;
Franck Fleurey
;
Yves Le Traon
;
Olivier Barais
;
Jean-Marc Jezequel
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
access-control;
adaptive system;
model-driven engineering;
modelsqruntime;
10.
Enumeration Refactoring: A Tool for Automatically Converting Java Constants to Enumerated Types
机译:
枚举重构:一种自动将Java常数转换为枚举类型的工具
作者:
Raffi Khatchadourian
;
Benjamin Muskalla
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
automated refactoring;
java;
enumerated types;
11.
Symbolic PathFinder: Symbolic Execution of Java Bytecode
机译:
符号路径查找器:Java字节码的符号执行
作者:
Corina S. Pasareanu
;
Neha Rungta
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
automated test case generation;
program analysis;
12.
Reconfigurable Run-Time Support for Distributed Service Component Architectures
机译:
对分布式服务组件体系结构的可重新配置运行时支持
作者:
Remi Melisson
;
Philippe Merle
;
Daniel Romero
;
Romain Rouvoy
;
Lionel Seinturier
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
13.
Checking Roundoff Errors using Counterexample-Guided Narrowing
机译:
使用反例引导的缩小来检查舍入错误
作者:
Do Thi Bich Ngoc
;
Mizuhito Ogawa
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
static analysis;
testing;
roundoff error;
affine interval;
counterexample;
14.
Text Mining in Supporting Software Systems Risk Assurance
机译:
支持软件系统风险保证的文本挖掘
作者:
LiGuo Huang
;
Daniel Port
;
Liang Wang
;
Tao Xie
;
Tim Menzies
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
risk assurance;
risk reduction;
text mining;
mining software repositories;
association rule;
latent semantic analysis;
15.
PeerUnit: A Framework for Testing Peer-to-Peer Systems*
机译:
PeerUnit:用于测试对等系统的框架*
作者:
Eduardo Cunha de
;
Gerson Sunye
;
Patrick Valduriez
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
software testing;
peer-to-peer systems;
peerunit;
16.
Detecting User-Visible Failures in AJAX Web Applications by Analyzing Users' Interaction Behaviors
机译:
通过分析用户的交互行为来检测AJAX Web应用程序中用户可见的故障
作者:
Wanchun Li
;
Mary Jean Harrold
;
Carsten Gorg
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
17.
A Visual Interactive Debugger Based on Symbolic Execution
机译:
基于符号执行的可视化交互式调试器
作者:
Reiner Hahnle
;
Marcus Baum
;
Richard Bubel
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
symbolic execution;
state visualisation;
reverse debugging;
test generation;
18.
A Two-Step Technique for Extract Class Refactoring
机译:
提取类重构的两步技术
作者:
Gabriele Bavota
;
Andrea De Lucia
;
Andrian Marcus
;
Rocco Oliveto
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
19.
Deriving Behavior of Multi-User Processes From Interactive Requirements Validation
机译:
从交互式需求验证推导多用户流程的行为
作者:
Gregor Gabrysiak
;
Holger Giese
;
Andreas Seibel
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
requirements elicitation;
requirements validation;
requirements animation;
20.
Tool Support for Code Generation from a UMLsec Property*
机译:
从UMLsec属性生成代码的工具支持*
作者:
Lionel Montrieux
;
Yijun Yu
;
Jan Jiirjens
;
Pierre-Yves Schobbens
;
Charles B. Haley
;
Hubert Toussaint
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
21.
JRF-E: Using Model Checking to give Advice on Eliminating Memory Model-related Bugs
机译:
JRF-E:使用模型检查为消除与内存模型相关的错误提供建议
作者:
KyungHee Kim
;
Tuba Yayuz-Kahveci
;
Beverly A. Sanders
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
data race;
memory model;
counterexample;
22.
CoGenTe: A Tool for Code Generator Testing
机译:
CoGenTe:代码生成器测试工具
作者:
A. C. Rajeev
;
Prahladavaradan Sampath
;
K. C. Shashidhar
;
S. Ramesh
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
automatic test generation;
black-box testing;
code generators;
semantic coverage criteria;
23.
SpecDiff: Debugging Formal Specifications
机译:
SpecDiff:调试正式规格
作者:
Zhenchang Xing
;
Jun Sun
;
Yang Liu
;
Jin Song Dong
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
model differencing;
model checking;
PAT;
24.
Search-Carrying Code
机译:
搜寻代码
作者:
AN Taleghani
;
Joanne M. Atlee
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
software certification;
model checking;
25.
PlayGo: Towards a Comprehensive Tool for Scenario Based Programming
机译:
PlayGo:面向基于场景的编程的综合工具
作者:
David Harel
;
Shahar Maoz
;
Smadar Szekely
;
Daniel Barkan
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
live sequence charts;
reactive systems;
IDE;
scenario-based programming;
26.
A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems
机译:
一套用于嵌入式系统行为建模和分析的集成工具
作者:
Dinko lyanov
;
Cristina Seceleanu
;
Marin Orlic
;
Aneta Vulgarakis
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
behavioral modeling;
component-based software engineering;
embedded systems;
formal analysis;
simulation;
27.
How did You Specify Your Test Suite ?
机译:
您如何指定测试套件?
作者:
Andreas Holzer
;
Michael Tautschnig
;
Helmut Veith
;
Christian Schallhart
会议名称:
《》
|
2010年
28.
Dynamic and Transparent Analysis of Commodity Production Systems
机译:
商品生产系统的动态透明分析
作者:
Aristide Fattori
;
Roberto Paleari
;
Lorenzo Martignoni
;
Mattia Monga
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
hardware virtualization;
debugging;
system analysis;
29.
Test Generation to Expose Changes in Evolving Programs
机译:
测试生成以揭示不断变化的程序的变化
作者:
Dawei Qi
;
Abhik Roychoudhury
;
Zhenkai Liang
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
software evolution;
test generation;
symbolic execution;
30.
Solving String Constraints Lazily
机译:
懒惰地解决字符串约束
作者:
Pieter Hooimeijer
;
Westley Weimer
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
regular language;
decision procedure;
scalability;
31.
Automated Model Grouping
机译:
自动模型分组
作者:
Michael Becker
;
Volker Gruhn
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
model reusing;
grouping;
structuring;
32.
Matching Dependence-Related Queries in the System Dependence Graph
机译:
在系统依赖图中匹配依赖相关查询
作者:
Xiaoyin Wang
;
David Lo
;
Jiefeng Cheng
;
Lu Zhang
;
Hong Mei
;
Jeffrey Xu Yu
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
system dependence graph;
code search;
graph indexing;
33.
Reducing Estimation Uncertainty with Continuous Assessment: Tracking the 'Cone of Uncertainty'
机译:
通过连续评估减少估计不确定性:跟踪“不确定性锥体”
作者:
Pongtip Aroonvatanaporn
;
Chatchai Sinthop
;
Barry Boehm
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
cost estimation;
uncertainty;
34.
Model/Analyzer: A Tool for Detecting, Visualizing and Fixing Design Errors in UML
机译:
模型/分析器:一种用于检测,可视化和修复UML中的设计错误的工具
作者:
Alexander Reder
;
Alexander Egyed
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
OCL;
UML;
consistency checking;
35.
Automated Program Repair through the Evolution of Assembly Code
机译:
通过汇编代码的演变实现程序自动修复
作者:
Eric Schulte
;
Stephanie Forrest
;
Westley Weimer
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
program repair;
evolutionary computation;
fault localization;
assembly code;
bytecode;
legacy software;
36.
When to Use Data from Other Projects for Effort Estimation
机译:
何时使用其他项目的数据进行工作量估算
作者:
Ekrem Kocaguneli
;
Gregory Gay
;
Ye Yang
;
Jacky W. Keung
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
effort estimation;
data mining;
cross;
within;
37.
RuMoR: Monitoring and Recovery for BPEL Applications
机译:
RuMoR:BPEL应用程序的监视和恢复
作者:
Jocelyn Simmonds
;
Marsha Chechik
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
38.
Random Unit-Test Generation with MUT-aware Sequence Recommendation
机译:
具有MUT感知序列建议的随机单元测试生成
作者:
Wujie Zheng
;
Qirun Zhang
;
Michael Lyu
;
Tao Xie
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
39.
iMashup: Assisting End-User Programming for the Service-Oriented Web
机译:
iMashup:协助面向服务的Web的最终用户编程
作者:
Xuanzhe Liu
;
Qi Zhao
;
Gang Huang
;
Zhi Jin
;
Hong Mei
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
end-user software engineering;
service composition;
mashups;
40.
MODA: Automated Test Generation for Database Applications via Mock Objects
机译:
MODA:通过模拟对象为数据库应用程序自动生成测试
作者:
Kunal Taneja
;
Yi Zhang
;
Tao Xie
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
test generation;
database application;
mock object;
41.
Timesheet Assistant: Mining and Reporting Developer Effort
机译:
时间表助理:挖掘和报告开发人员的工作
作者:
Renuka Sindhgatta
;
Nanjangud C. Narendra
;
Bikram Sengupta
;
Karthik Visweswariah
;
Arthur G. Ryman
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
timesheet;
development activity;
mining;
estimation;
42.
Towards Mining Replacement Queries for Hard-to-Retrieve Traces
机译:
对难以检索的痕迹进行挖掘替换查询
作者:
Marek Gibiec
;
Adam Czauderna
;
Jane Cleland-Huang
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
requirements traceability;
trace retrieval.;
43.
Eliminating Navigation Errors in Web Applications via Model Checking and Runtime Enforcement of Navigation State Machines
机译:
通过模型检查和导航状态机的运行时执行来消除Web应用程序中的导航错误
作者:
Sylvain Halie
;
Taylor Ettema
;
Chris Bunch
;
Tevfik Bultant
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
44.
Extraction and Visualization of Traceability Relationships between Documents and Source Code
机译:
文档和源代码之间可追溯性关系的提取和可视化
作者:
Xiaofan Chen
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
traceability;
information retrieval;
text mining;
links visualization.;
45.
Model Checking Graph Representation of Precise Boolean Inter-procedural Flow Analysis
机译:
布尔布尔过程间精确流分析的模型检查图表示
作者:
Dominic Letarte
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
46.
Detection of Recurring Software Vulnerabilities
机译:
检测重复出现的软件漏洞
作者:
Nam H. Pham
;
Tung Thanh Nguyen
;
Hoan Anh Nguyen
;
Tien N. Nguyen
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
47.
Apt-pbo: Solving the Software Dependency Problem using Pseudo-Boolean Optimization
机译:
Apt-pbo:使用伪布尔优化解决软件依赖问题
作者:
Paulo Trezentos
;
Ines Lynce
;
Arlindo L. Oliveira
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
48.
A Sentence-Matching Method for Automatic License Identification of Source Code Files
机译:
一种自动识别源代码文件许可证的句子匹配方法
作者:
Daniel M. German
;
Yuki Manabe
;
Katsuro Inoue
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
software licenses;
automated license identification;
open source licenses.;
49.
Error-Avoiding Adaptors for Black-Box Software Components
机译:
黑盒软件组件的避免错误的适配器
作者:
Casandra Holotescu
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
component-based systems;
model refinement;
adaptation;
maintenance;
50.
Automatic Inference of Abstract Type Behavior
机译:
自动推断抽象类型的行为
作者:
Mihai Balint
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
automated specification mining;
type specification inference;
type inheritance;
object oriented software;
51.
PLASMA: A Plan-based Layered Architecture for Software Model-driven Adaptation
机译:
PLASMA:基于计划的分层体系结构,用于软件模型驱动的适应
作者:
Hossein Tajalli
;
Joshua Garcia
;
George Edwards
;
Nenad Medvidovic
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
self-*;
software adaptation;
software architecture;
software evolution;
planning;
model-driven software;
component-based software;
52.
A Program Differencing Algorithm for Verilog HDL
机译:
Verilog HDL的程序区分算法
作者:
Adam Duley
;
Chris Spandikow
;
Miryung Kim
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
program differencing;
change types;
empirical study;
hardware description languages;
verilog;
53.
Automated SQL Query Generation for Systematic Testing of Database Engines
机译:
用于数据库引擎系统测试的自动SQL查询生成
作者:
Shadi Abdul Khalek
;
Sarfraz Khurshid
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
SQL;
automated query generation;
database management;
alloy.;
54.
KADRE: Domain-Specific Architectural Recovery for Scientific Software Systems
机译:
KADRE:科学软件系统的特定领域架构恢复
作者:
David Woollard
;
Chris A. Mattmanr
;
Daniel Popescu
;
Nenad Medvidovic
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
scientific computing;
workflows;
software architecture;
55.
C20: A Tool for Guided Decision-Making
机译:
C20:指导性决策制定工具
作者:
Alexander Noehrer
;
Alexander Egyed
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
56.
Tag and Prune: A Pragmatic Approach to Software Product Line Implementation
机译:
标记和剪枝:一种实用的软件产品线实施方法
作者:
Quentin Boucher
;
Andreas Classen
;
Patrick Heymans
;
Arnaud Bourdoux
;
Laurent Demonceau
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
feature diagram;
code tagging;
57.
Using Transitive Changesets to Support Feature Location
机译:
使用传递变更集支持要素定位
作者:
Sukanya Ratanotayanon
;
Hye Jung Choi
;
Susan Elliott Sim
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
featurelocation;
sourcecodesearch;
changesets;
commit transactions.;
58.
Integrating Model Verification and Self-Adaptation
机译:
集成模型验证和自适应
作者:
Rafael V. Borges
;
Artur dAvila Garcez
;
Luis C. Lamb
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
model checking;
machine learning;
neural-symbolic systems;
59.
Realizing Architecture Frameworks Through Megamodelling Techniques
机译:
通过超级建模技术实现架构框架
作者:
Rich Hilliard
;
Ivano Malavolta
;
Henry Muccini
;
Patrizio Pelliccione
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
software architecture;
ADL;
model driven;
metamodelling;
megamodelling.;
60.
Recovering Inter-Project Dependencies in Software Ecosystems
机译:
在软件生态系统中恢复项目间的依赖关系
作者:
Mircea Lungu
;
Romain Robbes
;
Michele Lanza
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
61.
End-User Oriented Critic Specification for Domain-Specific Visual Language Tools
机译:
针对特定领域的可视语言工具的面向最终用户的批判性规范
作者:
Norhayati Mohd Ali
;
John Hosking
;
John Grundy
;
Jun Huh
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
critic;
critic authoring template;
critic specification;
critiquing.;
62.
An Experience Report on Scaling Tools for Mining Software Repositories Using MapReduce
机译:
关于使用MapReduce挖掘软件仓库的扩展工具的经验报告
作者:
Weiyi Shang
;
Bram Adams
;
Ahmed E. Hassan
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
mining software repositories;
cloud computing;
mapreduce;
63.
Tool Support for Essential Use Cases to Better Capture Software Requirements
机译:
对基本用例的工具支持,以更好地捕获软件需求
作者:
Massila Kamalrudin
;
John Grundy
;
John Hosking
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
requirementsextraction;
essentialusecases;
automated tracing tool.;
64.
The Influence of Multiple Artifacts on the Effectiveness of Software Testing
机译:
多个工件对软件测试有效性的影响
作者:
Matt Staats
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
empirical studies;
theory ot testing;
65.
A Bounded Statistical Approach for Model Checking of Unbounded Until Properties
机译:
无界直到属性模型检查的有界统计方法
作者:
Ru He
;
Paul Jennings
;
Samik Basu
;
Arka P. Ghosh
;
Huaiqing Wu
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
hypothesis testing;
DTMC;
PCTL;
66.
Seamlessly Integrated, but Loosely Coupled - Building User Interfaces from Heterogeneous Components
机译:
无缝集成,但耦合松散-从异构组件构建用户界面
作者:
Heiko Paulheim
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
user interfaces;
integration;
component-based software;
ontologies;
RDF;
semantic web;
67.
Tool Support for Quality-Driven Development of Software Architectures
机译:
用于质量驱动的软件体系结构开发的工具支持
作者:
Suntae Kim
;
Dae-Kyoo Kim
;
Sooyong Park
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
software architecture;
architectural tactics;
RBML;
68.
Deviance from Perfection is a Better Criterion than Closeness to Evil when Identifying Risky Code
机译:
识别风险代码时,与完美相违背比与邪恶相处更好
作者:
Marouane Kessentini
;
Stephane Vaucher
;
Houari Sahraoui
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
maintenance;
design defects;
artificial immune systems;
69.
RESISTing Reliability Degradation through Proactive Reconfiguration
机译:
通过主动重新配置来抵抗可靠性下降
作者:
Deshan Cooray
;
Sam Malek
;
Roshanak Roshandel
;
David Kilgore
会议名称:
《》
|
2010年
关键词:
reliability;
software architecture;
self-adaptation;
mobility;
70.
An Automated Approach for Finding Variable-Constant Pairing Bugs
机译:
查找变量常数配对错误的自动化方法
作者:
Julia Lawall
;
David Lo
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
variable-constant pairing bugs;
anomaly detection;
clustering;
linux;
71.
Flexible and Scalable Consistency Checking on Product Line Variability Models
机译:
产品线可变性模型的灵活和可扩展的一致性检查
作者:
Michael Vierhauser
;
Paul Grunbacher
;
Alexander Egyed
;
Rick Rabiser
;
Wolfgang Heider
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
72.
Variability Modeling in the Real: A Perspective from the Operating Systems Domain
机译:
真实性中的可变性建模:来自操作系统领域的视角
作者:
Thorsten Berger
;
Steven She
;
Rafael Lotufo
;
Andrzej Wa.sowski
;
Krzysztof Czarnecki
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
configuration;
empirical software engineering;
feature models;
product line architectures;
variability modeling;
73.
Automatic Detection of Nocuous Coordination Ambiguities in Natural Language Requirements
机译:
自动检测自然语言要求中的有害协调歧义
作者:
Hui Yang
;
Alistair Willis
;
Anne De Roeck
;
Bashar Nuseibeh
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
natural language requirements;
nocuous ambiguity;
coordination ambiguity;
machine learning;
human judgments;
74.
Software Design Sketching with Calico
机译:
用Calico进行软件设计草图
作者:
Nicolas Mangano
;
Alex Baker
;
Mitch Dempsey
;
Emily Navarro
;
Andre van der Hoek
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
design;
software design;
sketching;
creative exploration;
electronic whiteboard;
informal drawing;
calico;
75.
Automatically Documenting Program Changes
机译:
自动记录程序更改
作者:
Raymond P.L. Buse
;
Westley Weimer
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
commit messages;
code summarization;
differencing;
76.
VikiBuilder: End-user Specification and Generation of Visual Wikis
机译:
VikiBuilder:最终用户规范和可视化Wiki的生成
作者:
Christian Hirsch
;
John Hosking
;
John Grundy
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
visual wiki;
knowledgemanagement;
visualization;
code generation;
domain specific visual language;
modeling.;
77.
Verification-Driven Slicing of UML/OCL Models
机译:
UML / OCL模型的验证驱动切片
作者:
Asadullah Shaikh
;
Robert Clariso
;
Nasrullah Memon
;
Uffe Kock Wiil
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
MDD;
UML;
OCL;
model slicing;
formal verification;
78.
Tool Support for Continuous Maintenance of State Machine Models in Program Code
机译:
程序代码中用于持续维护状态机模型的工具支持
作者:
Moritz Balz
;
Michael Striewe
;
Michael Goedicke
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
79.
Reac2o: A Runtime for Enterprise System Models
机译:
Reac2o:企业系统模型的运行时
作者:
Cameron M. Hine
;
Jean-Guy Schneider
;
Steve Versteeg
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
enterprise systems;
modelling;
emulation;
testing;
automation;
80.
MoDisco: A Generic And Extensible Framework For Model Driven Reverse Engineering
机译:
MoDisco:用于模型驱动的逆向工程的通用且可扩展的框架
作者:
Hugo Bruneliere
;
Jordi Cabot
;
Frederic Jouault
;
Frederic Madiot
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
81.
Architectural Style as an Independent Variable
机译:
建筑风格作为自变量
作者:
Hamid Bagheri
;
Yuanyuan Song
;
Kevin Sullivan
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
82.
Model-Driven Reverse Engineering of Legacy Graphical User Interfaces
机译:
传统图形用户界面的模型驱动的逆向工程
作者:
Oscar Sanchez Ramon
;
Jesus Sanchez Cuadrado
;
Jesus Garcia Molina
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
关键词:
graphical user interfaces;
layout;
modernization;
model driven engineering;
reverse engineering;
reengineering;
83.
Impendulo: Debugging the Programmer
机译:
答:调试编程器
作者:
Willem Visser
;
Jaco Geldenhuys
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
84.
Scenario-Based and Value-Based Specification Mining: Better Together
机译:
基于场景和基于价值的规范挖掘:更好的结合
作者:
David Lo
;
Shahar Maoz
会议名称:
《IEEE/ACM international conference on automated software engineering 2010》
|
2010年
意见反馈
回到顶部
回到首页