掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE/ACM international Conference on Automated software engineering
IEEE/ACM international Conference on Automated software engineering
召开年:
2005
召开地:
Long Beach, CA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Empirical evaluation of the tarantula automatic fault-localization technique
机译:
狼蛛自动断层定位技术的实证评估
作者:
James A. Jones
;
Mary Jean Harrold
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
program analysis;
2.
Automated test generation for engineering applications
机译:
用于工程应用的自动化测试生成
作者:
Songtao Xia
;
Ben Di Vito
;
Cesar Munoz
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
test case generation;
3.
Let's agree to disagree
机译:
让我们接收有差异的看法
作者:
Shiva Nejati
;
Marsha Chechik
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
refinement;
4.
A similarity-aware approach to testing based fault localization
机译:
一种基于相似性的方法来测试基于故障的定位
作者:
Dan Hao
;
Ying Pan
;
Lu Zhang
;
Wei Zhao
;
Hong Mei
;
Jiasu Sun
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
maintenance;
5.
Process support to help novices design software faster and better
机译:
流程支持可帮助新手更快更好地设计软件
作者:
Aaron G. Cass
;
Leon J. Osterweil
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software design process;
6.
The PLUSS toolkit?
机译:
PLUSS工具包?
作者:
Magnus Eriksson
;
Henrik Morast
;
Jurgen Borstler
;
Kjell Borg
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
use case;
7.
A strategy for efficient verification of relational specifications, based on monotonicity analysis
机译:
基于单调性分析的有效验证关系规范的策略
作者:
Marcelo F. Frias
;
Rodolfo Gamarra
;
Gabriela Steren
;
Lorena Bourg
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software validation;
8.
Quasi-random testing
机译:
准随机测试
作者:
Tsong Yueh Chen
;
Robert Merkel
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
random testing;
9.
Constraint-based test data generation in the presence of stack-directed pointers
机译:
在基于堆栈的指针的情况下基于约束的测试数据生成
作者:
Arnaud Gotlieb
;
Tristan Denmat
;
Bernard Botella
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
stack-directed pointers;
10.
QoS-aware dynamic service composition in ambient intelligence environments
机译:
环境智能环境中可感知QoS的动态服务组合
作者:
Sonia Ben Mokhtar
;
Jinshan Liu
;
Nikolaos Georgantas
;
Valerie Issarny
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
web services composition;
11.
A visual language and environment for composing web services
机译:
用于构成Web服务的可视语言和环境
作者:
Na Liu
;
John Grundy
;
John Hosking
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
web services;
12.
Learning to verify branching time properties
机译:
学习验证分支时间属性
作者:
Abhay Vardhan
;
Mahesh Viswanathan
会议名称:
《》
|
2005年
关键词:
infinite state systems;
13.
Simon
机译:
西蒙
作者:
Yuanfang Cai
;
Kevin J. Sullivan
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
design structure matrix;
14.
Lattice-based adaptive random testing
机译:
基于格的自适应随机测试
作者:
Johannes Mayer
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
test case selection;
15.
A unified fitness function calculation rule for flag conditions to improve evolutionary testing
机译:
标记条件的统一适应度函数计算规则,以改进进化测试
作者:
Xiyang Liu
;
Hehui Liu
;
Bin Wang
;
Ping Chen
;
Xiyao Cai
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
flag problem;
16.
A threat-driven approach to modeling and verifying secure software
机译:
威胁驱动的建模和验证安全软件的方法
作者:
Dianxiang Xu
;
Kendall Nygard
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
verification;
17.
Automated path generation for software fault localization
机译:
自动生成路径以进行软件故障定位
作者:
Tao Wang
;
Abhik Roychoudhury
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
program comprehension;
18.
EA-Miner
机译:
EA矿工
作者:
Americo Sampaio
;
Ruzanna Chitchyan
;
Paul Rayson
会议名称:
《》
|
2005年
关键词:
tool support;
19.
yagg
机译:
雅格
作者:
David Coppit
;
Jiexin Lian
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
grammar-based input generation;
20.
Determining the cost-quality trade-off for automated software traceability
机译:
确定成本质量权衡以实现自动化软件可追溯性
作者:
Alexander Egyed
;
Stefan Biffl
;
Matthias Heindl
;
Paul Grunbacher
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
value-based software engineering;
21.
A uniform deductive approach for parameterized protocol safety
机译:
用于参数化协议安全性的统一演绎方法
作者:
Jean-Francois Couchot
;
Alain Giorgetti
;
Nikolai Kosmatov
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
symbolic model checking;
22.
A component-based development framework for supporting functional and non-functional analysis in control system design
机译:
基于组件的开发框架,用于支持控制系统设计中的功能和非功能分析
作者:
Johan Fredriksson
;
Massimo Tivoli
;
Ivica Crnkovic
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
real time embedded systems;
23.
A rigorous approach for proving model refactorings
机译:
证明模型重构的严格方法
作者:
Rohit Gheyi
;
Tiago Massoni
;
Paulo Borba
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
theorem proving;
24.
Compositional reasoning for port-based distributed systems
机译:
基于端口的分布式系统的组成推理
作者:
Alma L. Juarez Dominguez
;
Nancy A. Day
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
theorem proving;
25.
Model-based self-monitoring embedded programs with temporal logic specifications
机译:
具有时间逻辑规范的基于模型的自我监控嵌入式程序
作者:
Li Tan
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
temporal logic;
26.
Specialization and extrapolation of software cost models
机译:
软件成本模型的专业化和外推
作者:
Tim Menzies
;
Dan Port
;
Zhihao Chen
;
Jairus Hihn
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
27.
NFRs-aware architectural evolution of component-based software
机译:
基于组件的NFR感知架构演变
作者:
Chouki Tibermacine
;
Regis Fleurquin
;
Salah Sadou
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
28.
Code security analysis with assertions
机译:
带断言的代码安全性分析
作者:
Jan Jurjens
;
Mark Yampolskiy
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
first-order logic;
29.
Data mining and cross-checking of execution traces
机译:
数据挖掘和执行跟踪的交叉检查
作者:
Tristan Denmat
;
Mireille Ducasse
;
Olivier Ridoux
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
30.
Properties and scopes in web model checking
机译:
Web模型检查中的属性和范围
作者:
May Haydar
;
Sergiy Boroday
;
Alexandre Petrenko
;
Houari Sahraoui
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
web applications;
31.
Synthesis of correct and distributed adaptors for component-based systems
机译:
综合基于组件的系统的正确和分布式适配器
作者:
Paola Inverardi
;
Leonardo Mostarda
;
Massimo Tivoli
;
Marco Autili
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
component based software engineering;
32.
A context-sensitive structural heuristic for guided search model checking
机译:
用于引导搜索模型检查的上下文相关结构启发式方法
作者:
Neha Rungta
;
Eric G. Mercer
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
structural heuristics;
33.
Test input generation for red-black trees using abstraction
机译:
使用抽象测试红黑树的输入生成
作者:
Willem Visser
;
Corina S. Pasareanu
;
Radek Pelanek
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
testing object oriented programs;
34.
Testing in resource constrained execution environments
机译:
在资源受限的执行环境中进行测试
作者:
Gregory M. Kapfhammer
;
Mary Lou Soffa
;
Daniel Mosse
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
test suite execution;
35.
Prufrock
机译:
普鲁弗洛克
作者:
Justin Ward
;
Garrin Kimmell
;
Perry Alexander
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
type classes;
36.
Bamboo
机译:
竹
作者:
Guozheng Ge
;
E. James Whitehead
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software modeling and generation;
37.
Using communicative acts in high-level specifications of user interfaces for their automated synthesis
机译:
在用户界面的高级规范中使用交往行为进行自动综合
作者:
Jurgen Falb
;
Roman Popp
;
Thomas Rock
;
Helmut Jelinek
;
Edin Arnautovic
;
Hermann Kaindl
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
intention;
38.
A tool for automatic UML model consistency checking
机译:
自动UML模型一致性检查的工具
作者:
Jocelyn Simmonds
;
M. Cecilia Bastarrica
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software design verification;
39.
Automated population of causal models for improved software risk assessment
机译:
自动填充因果模型以改进软件风险评估
作者:
Peter Hearty
;
Norman Fenton
;
Martin Neil
;
Patrick Cates
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software process models;
40.
Introduction to doctoral symposium
机译:
博士研讨会介绍
作者:
Steve Easterbrook
;
Sebastian Uchitel
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
41.
Automated generation of testing tools for domain-specific languages
机译:
自动生成针对特定领域语言的测试工具
作者:
Hui Wu
;
Jeff Gray
会议名称:
《》
|
2005年
关键词:
testing;
42.
Constructing interaction test suites with greedy algorithms
机译:
使用贪婪算法构建交互测试套件
作者:
Renee C. Bryce
;
Charles J. Colbourn
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
t-way interaction coverage;
43.
Verifying the correctness of hume programs
机译:
验证休ume程序的正确性
作者:
Gudmund Grov
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
theorem proving;
44.
A model transformation approach to automatic model construction and evolution
机译:
自动构建和演化模型的模型转换方法
作者:
Yuehua Lin
;
Jeff Gray
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
testing;
45.
Formal support for merging and negotiation
机译:
正式支持合并和谈判
作者:
Shiva Nejati
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
refinement;
46.
Specification and automated processing of security requirements (SAPS'05)
机译:
安全要求的规范和自动处理(SAPS'05)
作者:
Carsten Rudolph
;
Antonio Mana
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
47.
Software security assurance tools, techniques and metrics (SSATTM)
机译:
软件安全保证工具,技术和指标(SSATTM)
作者:
Paul E. Black
;
Michael Kass
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
48.
3rd international workshop on traceability in emerging forms of software engineering (TEFSE 2005)
机译:
第三届软件工程新兴形式国际可追溯性研讨会(TEFSE 2005)
作者:
Jonathan I. Maletic
;
Giuliano Antoniol
;
Jane Cleland-Huang
;
Jane Huffman Hayes
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
49.
Software certificate management (SoftCeMent'05)
机译:
软件证书管理(SoftCeMent'05)
作者:
Ewen Denney
;
Bernd Fischer
;
Dieter Hutter
;
Mark Jones
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
50.
2nd Workshop on the state of the art in automated software engineering
机译:
第二届自动化软件工程领域的最新研讨会
作者:
Andrea Zisman
;
Tom Ellman
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
51.
In regression testing selection when source code is not available
机译:
在没有源代码的情况下进行回归测试选择
作者:
Jiang Zheng
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software testing;
52.
The power of software
机译:
软件的力量
作者:
Alfonso Fuggetta
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
53.
Virtual humans
机译:
虚拟人
作者:
Bill Swartout
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
54.
Designing and implementing a family of intrusion detection systems
机译:
设计和实施一系列入侵检测系统
作者:
Richard A. Kemmerer
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
55.
Exploiting predicate structure for efficient reachability detection
机译:
利用谓词结构进行有效的可达性检测
作者:
Sujatha Kashyap
;
Vijay K. Garg
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
reachability;
56.
Application of design for verification with concurrency controllers to air traffic control software
机译:
并发控制器验证设计在空中交通管制软件中的应用
作者:
Aysu Betin-Can
;
Tevfik Bultan
;
Mikael Lindvall
;
Benjamin Lux
;
Stefan Topp
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
synchronization;
57.
Efficient temporal-logic query checking for presburger systems
机译:
Presburger系统的高效时态逻辑查询检查
作者:
Dezhuang Zhang
;
Rance Cleaveland
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
query checking;
58.
A component model for internet-scale applications
机译:
互联网规模应用程序的组件模型
作者:
Steven P. Reiss
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
internet-scale applications;
59.
Automating the performance management of component-based enterprise systems through the use of redundancy
机译:
通过使用冗余来自动化基于组件的企业系统的性能管理
作者:
Ada Diaconescu
;
John Murphy
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
decision policies;
60.
UMLDiff
机译:
UMLDiff
作者:
Zhenchang Xing
;
Eleni Stroulia
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
structural evolution;
61.
Identifying traits with formal concept analysis
机译:
通过形式概念分析识别特征
作者:
Adrian Lienhard
;
Stephane Ducasse
;
Gabriela Arevalo
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
traits;
62.
AMNESIA
机译:
健忘症
作者:
William G. J. Halfond
;
Alessandro Orso
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
static analysis;
63.
Timna
机译:
蒂姆纳
作者:
David Shepherd
;
Jeffrey Palm
;
Lori Pollock
;
Mark Chu-Carroll
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
reverse engineering;
64.
A parameterized interpreter for modeling different AOP mechanisms
机译:
用于建模不同AOP机制的参数化解释器
作者:
Naoyasu Ubayashi
;
Genki Moriyama
;
Hidehiko Masuhara
;
Tetsuo Tamai
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
join point models;
65.
A generic approach to supporting diagram differencing and merging for collaborative design
机译:
支持图差异和合并以进行协作设计的通用方法
作者:
Akhil Mehra
;
John Grundy
;
John Hosking
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
visual differencing;
66.
Visualization-based analysis of quality for large-scale software systems
机译:
基于可视化的大型软件系统质量分析
作者:
Guillaume Langelier
;
Houari Sahraoui
;
Pierre Poulin
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software visualization;
67.
Automatic verification of design patterns in Java
机译:
自动验证Java中的设计模式
作者:
Alex Blewitt
;
Alan Bundy
;
Ian Stark
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
verification;
68.
Optimized run-time race detection and atomicity checking using partial discovered types
机译:
使用部分发现的类型优化运行时种族检测和原子性检查
作者:
Rahul Agarwal
;
Amit Sasturkar
;
Liqiang Wang
;
Scott D. Stoller
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
type system;
69.
Reasoning about real-time statecharts in the presence of semantic variations
机译:
存在语义变化时的实时状态图推理
作者:
Subash Shankar
;
Sinan Asa
;
Vladimir Sipos
;
Xiaowei Xu
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
theorem proving;
70.
Automated replay and failure detection for web applications
机译:
Web应用程序的自动重播和故障检测
作者:
Sara Sprenkle
;
Emily Gibson
;
Sreedevi Sampath
;
Lori Pollock
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
web applications;
71.
Locating faulty code using failure-inducing chops
机译:
使用导致故障的印章定位错误代码
作者:
Neelam Gupta
;
Haifeng He
;
Xiangyu Zhang
;
Rajiv Gupta
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
program slicing;
72.
Precise identification of composition relationships for UML class diagrams
机译:
精确识别UML类图的组成关系
作者:
Ana Milanova
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
reverse engineering;
73.
On dynamic feature location
机译:
在动态要素位置
作者:
Rainer Koschke
;
Jochen Quante
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
formal concept analysis;
74.
Blowtorch
机译:
喷灯
作者:
Daniel Hoffman
;
Kevin Yoo
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
production grammar;
75.
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software
机译:
分析规则覆盖率,以此作为生成基于语法的软件的最小测试套件的标准
作者:
Mark Hennessy
;
James F. Power
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
test suite reduction;
76.
Automatic test factoring for java
机译:
Java自动测试分解
作者:
David Saff
;
Shay Artzi
;
Jeff H. Perkins
;
Michael D. Ernst
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
unit testing;
77.
ClassSheets
机译:
类表
作者:
Gregor Engels
;
Martin Erwig
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
spreadsheet;
78.
Generation of visual editors as eclipse plug-ins
机译:
生成可视化编辑器作为eclipse插件
作者:
Karsten Ehrig
;
Claudia Ermel
;
Stefan Hansgen
;
Gabriele Taentzer
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
visual editor plug-in;
79.
Clearwater
机译:
清水
作者:
Galen S. Swint
;
Calton Pu
;
Gueyoung Jung
;
Wenchang Yan
;
Younggyun Koh
;
Qinyi Wu
;
Charles Consel
;
Akhil Sahai
;
Koichi Moriyama
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
infopipes;
80.
Secure sharing between untrusted users in a transparent source/binary deployment model
机译:
透明的源/二进制部署模型中不受信任的用户之间的安全共享
作者:
Eelco Dolstra
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
source deployment;
81.
Automating experimentation on distributed testbeds
机译:
在分布式测试平台上进行自动化实验
作者:
Yanyan Wang
;
Matthew J. Rutherford
;
Antonio Carzaniga
;
Alexander L. Wolf
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
wide-area testbeds;
82.
A tool for automatic UML model consistency checking
机译:
自动UML模型一致性检查的工具
作者:
Jocelyn Simmonds
;
M. Cecilia Bastarrica
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software design verification;
83.
Precise identification of composition relationships for UML class diagrams
机译:
对UML类图的组成关系精确识别
作者:
Ana Milanova
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
reverse engineering;
84.
Secure sharing between untrusted users in a transparent source/binary deployment model
机译:
在透明源/二进制部署模型中不受信任用户之间的安全共享
作者:
Eelco Dolstra
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
source deployment;
85.
Automated test generation for engineering applications
机译:
自动测试生成工程应用
作者:
Songtao Xia
;
Ben Di Vito
;
Cesar Munoz
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
test case generation;
86.
Locating faulty code using failure-inducing chops
机译:
使用失败诱导的录音点定位故障代码
作者:
Neelam Gupta
;
Haifeng He
;
Xiangyu Zhang
;
Rajiv Gupta
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
program slicing;
87.
Identifying traits with formal concept analysis
机译:
用正式概念分析识别特征
作者:
Adrian Lienhard
;
Stephane Ducasse
;
Gabriela Arevalo
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
traits;
88.
On dynamic feature location
机译:
动态特征位置
作者:
Rainer Koschke
;
Jochen Quante
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
formal concept analysis;
89.
Visualization-based analysis of quality for large-scale software systems
机译:
基于可视化的大型软件系统质量分析
作者:
Guillaume Langelier
;
Houari Sahraoui
;
Pierre Poulin
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software visualization;
90.
Model-based self-monitoring embedded programs with temporal logic specifications
机译:
基于模型的自我监控嵌入式程序,具有时间逻辑规范
作者:
Li Tan
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
temporal logic;
91.
Timna
机译:
蒂姆纳
作者:
David Shepherd
;
Jeffrey Palm
;
Lori Pollock
;
Mark Chu-Carroll
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
reverse engineering;
92.
Compositional reasoning for port-based distributed systems
机译:
基于端口的分布式系统的组成推理
作者:
Alma L. Juarez Dominguez
;
Nancy A. Day
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
theorem proving;
93.
Efficient temporal-logic query checking for presburger systems
机译:
高效的临时逻辑查询检查PRESBurger系统
作者:
Dezhuang Zhang
;
Rance Cleaveland
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
query checking;
94.
Lattice-based adaptive random testing
机译:
基于格子的自适应随机测试
作者:
Johannes Mayer
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
test case selection;
95.
A similarity-aware approach to testing based fault localization
机译:
基于故障定位的相似性感知方法
作者:
Dan Hao
;
Ying Pan
;
Lu Zhang
;
Wei Zhao
;
Hong Mei
;
Jiasu Sun
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
maintenance;
96.
A strategy for efficient verification of relational specifications, based on monotonicity analysis
机译:
基于单调性分析,有效验证关系规范的策略
作者:
Marcelo F. Frias
;
Rodolfo Gamarra
;
Gabriela Steren
;
Lorena Bourg
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
software validation;
97.
Automated replay and failure detection for web applications
机译:
Web应用程序自动重放和故障检测
作者:
Sara Sprenkle
;
Emily Gibson
;
Sreedevi Sampath
;
Lori Pollock
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
web applications;
98.
A uniform deductive approach for parameterized protocol safety
机译:
参数化协议安全的统一演绎方法
作者:
Jean-Francois Couchot
;
Alain Giorgetti
;
Nikolai Kosmatov
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
symbolic model checking;
99.
Determining the cost-quality trade-off for automated software traceability
机译:
确定用于自动化软件可追溯性的成本质量权衡
作者:
Alexander Egyed
;
Stefan Biffl
;
Matthias Heindl
;
Paul Grunbacher
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
value-based software engineering;
100.
Automated path generation for software fault localization
机译:
软件故障定位的自动化路径生成
作者:
Tao Wang
;
Abhik Roychoudhury
会议名称:
《IEEE/ACM international Conference on Automated software engineering》
|
2005年
关键词:
program comprehension;
意见反馈
回到顶部
回到首页