掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
FSE/SDP workshop on future of software engineering research 2010
FSE/SDP workshop on future of software engineering research 2010
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
中国计算机用户
计算机工程与科学
软件世界
数字化用户(互联网生活)
数字制造科学
传感器与微系统
传感器世界
智能计算机与应用
机器人
遥感学报
更多>>
相关外文期刊
Information management & computer security
Natural Computing
International journal of computational systems engineering
European journal of information systems
Net
Modeling, Identification and Control
ReCall
Software Engineering Notes
Datenschutz-Berater
Genetic programming and evolvable machines
更多>>
相关中文会议
第十五届中国虚拟现实大会暨虚拟现实与可视化技术国际会议
2010年全国高性能计算学术年会(HPC china2010)
全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议
2007年全国测控、计量、仪器仪表学术年会
中国教育和科研计算机网CERNET第十二届学术年会
第七届全国青年智能机器人学术会议
2000年系统仿真技术及其应用学术交流会
2009全国博士生学术会议暨网络化控制系统新理论与新实践学术研讨会
第二十六届全国信息保密学术会议(IS2016)
中国计算机学会信息保密专业委员会学术年会
更多>>
相关外文会议
Natural computing in computational finance
Graph-based methods for natural language processing workshop 2014
International Conference on Algebra and Coalgebra in Computer Science(CALCO 2005); 20050903-06; Swansea(GB)
IFIP 16th World Computer Congress 2000 and Conference on Intelligent Information Processing August 21-25, 2000, Beijing, China
Proceedings of the 20th ACM conference on Hypertext and hypermedia
High-speed imaging and photonics
International Symposium on Intelligence Computation & Applications(ISICA'2007); 20070921-23; Wuhan(CN)
Proceedings of the conference on TRI-Ada '88
Financial cryptography and data security.
Proceedings of the 2006 AVI workshop on BEyond time and errors
更多>>
热门会议
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.
Designing for Incentives: Better Information Sharing for Better Software Engineering
机译:
激励设计:更好的信息共享,更好的软件工程
作者:
Mark Klein
;
Gabriel A. Moreno
;
David C. Parkes
;
Kurt Wallnau
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
economics;
human factors;
2.
The Case for End-User Programming of Ubiquitous Computing Environments
机译:
无处不在的计算环境的最终用户编程的情况
作者:
Seth Holloway
;
Christine Julien
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering;
end-user programming;
ubiquitous computing;
vision;
3.
Maturity is also about the Capability to Conform the Process to the Right Context!
机译:
成熟还涉及使流程符合正确环境的能力!
作者:
Mira Kajko-Mattsson
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software process orchestration;
practice choreography;
silver bullet;
adaptation capability;
process backbone;
context-driven process orchestration method (codpom);
waste;
leanness;
agility.;
4.
Entropy and Software Systems: Towards an Information-Theoretic Foundation of Software Testing
机译:
熵和软件系统:建立软件测试的信息理论基础
作者:
Linmin Yang
;
Zhe Dang
;
Thomas R. Fischer
;
Min Sik Kim
;
Li Tan
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software testing;
information theory;
syntax-independent;
5.
N-version Programming in WCET Analysis: Revisiting a Discredited Idea
机译:
WCET分析中的N版本编程:重新审视一个不可信的想法
作者:
Trevor Harmon
;
Michael R. Lowry
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
n-version programming;
worst-case execution time;
wcet;
real-time systems;
safety-critical systems;
static analysis;
java;
wcet annotations;
6.
Software Intelligence: The Future of Mining Software Engineering Data
机译:
软件智能:挖掘软件工程数据的未来
作者:
Ahmed E. Hassan
;
Tao Xie
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software intelligence;
mining software engineering data;
mining software repositories;
7.
Bridging Gaps between Developers and Testers in Globally-distributed Software Development
机译:
弥合全球分布式软件开发中开发人员和测试人员之间的鸿沟
作者:
Mark Grechanik
;
James A. Jones
;
Alessandro Orso
;
Andre van der Hoek
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
distributed software development;
global software engineering;
software test centers;
8.
Minding the (Semantic) Gap
机译:
注意(语义)差距
作者:
Arjun Guha
;
Shriram Krishnamurthi
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
languages;
9.
Software Development is Program Transformation
机译:
软件开发是程序转换
作者:
Ralph E. Johnson
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
10.
Lawful Software Engineering
机译:
合法软件工程
作者:
Daniel M. German
;
Jens H. Weber
;
Massimiliano Di Penta
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
legal aspects;
11.
Top Ten Ways to Make Formal Methods for HPC Practical
机译:
使HPC正式方法实用的十大方法
作者:
Ganesh L. Gopalakrishnan
;
Robert M. Kirby
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
mpi;
high performance computing;
dynamic verification;
12.
Advancing Software Architecture Modeling for Large Scale Heterogeneous Systems
机译:
推进大规模异构系统的软件体系结构建模
作者:
Ian Gorton
;
Yan Liu
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software architecture;
modeling;
dependability;
13.
Thoughts on Automated Software Design and Synthesis
机译:
关于自动化软件设计与综合的思考
作者:
Don Batory
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
14.
Climate Change: A Grand Software Challenge
机译:
气候变化:巨大的软件挑战
作者:
Steve Easterbrook
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
15.
Ad-Opera: Music-inspired Self-adaptive Systems
机译:
Ad-Opera:音乐启发的自适应系统
作者:
Alessio Gabriele
;
Michelangelo Lupone
;
Paola Inverardi
;
Patrizio Pelliccione
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
music-inspired research;
multi-disciplinary research;
self-adaptive systems;
ubiquitous computing.;
16.
Unifying Verification and Validation Techniques: Relating Behavior and Properties through Partial Evidence
机译:
统一的验证和确认技术:通过部分证据关联行为和属性
作者:
Matthew B. Dwyer
;
Sebastian Elbaum
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
reliability;
verification;
17.
Multiplicity Computing: A Vision of Software Engineering for Next-Generation Computing Platform Applications
机译:
多样性计算:面向下一代计算平台应用程序的软件工程愿景
作者:
Cristian Cadar
;
Peter Pietzuch
;
Alexander L. Wolf
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
experimentation;
measurement;
performance;
reliability;
security;
18.
Software for Everyone by Everyone
机译:
适合所有人的软件
作者:
Tevfik Bultan
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
web-based applications;
mobile applications;
end-user programming;
model-driven development;
modularity;
automated verification;
19.
IDE 2.0: Collective Intelligence in Software Development
机译:
IDE 2.0:软件开发中的集体智能
作者:
Marcel Bruch
;
Eric Bodden
;
Martin Monperrus
;
Mira Mezini
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
ide 2.0;
collective intelligence;
software development;
20.
Software Economies
机译:
软件经济
作者:
David F. Bacon
;
Eric Bokelberg
;
Yiling Chen
;
Ian A. Kash
;
David C. Parkes
;
Malvika Rao
;
Manu Sridharan
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
economics;
reliability;
verification;
21.
Extending Software Engineering Research Outside the Digital Box
机译:
将软件工程研究扩展到数字盒之外
作者:
Barry W. Boehm
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
future;
research;
software engineering;
digital box;
22.
Embracing Policy Engineering
机译:
拥抱政策工程
作者:
Kathi Fisler
;
Shriram Krishnamurthi
;
Daniel J. Dougherty
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
policies;
policy engineering;
program-policy interactions;
23.
Return to the Language Forrest: the Case for DSL Oriented Software Engineering
机译:
返回Forrest语言:面向DSL的软件工程案例
作者:
Andras Vajda
;
Johan Eker
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
domain specific languages;
software engineering methods.;
24.
Static Analysis for Software Assurance: Soundness, Scalability and Adaptiveness
机译:
软件保障的静态分析:健全性,可伸缩性和适应性
作者:
Arnaud J. Venet
;
Michael R. Lowry
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
abstract interpretation;
software certification;
static analysis;
25.
FITE: Future Integrated Testing Environment
机译:
FITE:未来的集成测试环境
作者:
Michael W. Whalen
;
Andrea Polini
;
Patrice Godefroid
;
Nikolai Tillmann
;
Leonardo Mariani
;
Willem Visser
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
incremental analysis;
compositional analysis;
non-functional analysis;
26.
Text to Software
机译:
文字到软件
作者:
Walter F. Tichy
;
Sven J. Koerner
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
documentation;
experimentation;
theory;
27.
The Impact of Social Media on Software Engineering Practices and Tools
机译:
社交媒体对软件工程实践和工具的影响
作者:
Margaret-Anne Storey
;
Arie van Deursen
;
Li-Te Cheng
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
social media;
web 2.0;
software engineering tools.;
28.
Enabling Innovation: A Choice for Software Engineering
机译:
支持创新:软件工程的选择
作者:
Richard N. Taylor
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
conferences;
funding criteria;
accountability;
29.
An Ultra-Large-Scale Systems Approach to National-Scale Health Information Systems
机译:
国家级健康信息系统的超大型系统方法
作者:
Kevin Sullivan
;
William Knaus
;
Richard Marks
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
ultra-large-scale;
national health information network;
30.
Language-Based Verification Will Change The World
机译:
基于语言的验证将改变世界
作者:
Tim Sheard
;
Aaron Stump
;
Stephanie Weirich
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
language-based verification;
dependently typed programming;
31.
The Last Mile: Parallel Programming and Usability
机译:
最后一英里:并行编程和可用性
作者:
Caitlin Sadowski
;
Andrew Shewmaker
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
human factors;
languages;
measurement;
performance;
32.
Requirements Engineering at the Margins: Avoiding Technological Hubris through Alternative Approaches
机译:
边际需求工程:通过替代方法避免技术狂妄
作者:
Debra Richardson
;
Ban Al-Ani
;
Hadar Ziv
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
marginalized groups;
requirements engineering;
cultural probes;
story-telling;
33.
Writing and Using Program Specifications
机译:
编写和使用程序规范
作者:
Steven P. Reiss
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software specification;
testing;
specification languages;
programming tools.;
34.
Derivational Software Engineering
机译:
衍生软件工程
作者:
Douglas R. Smith
;
Louis Hoebel
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
35.
Human-Centric Software Engineering
机译:
以人为本的软件工程
作者:
Gail C. Murphy
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
human-computer interaction;
methods;
proceses;
tools;
artificial intelligence;
machine learning;
36.
Needed Foundations for Assuring the Desirable Behavior of Software-Reliant Systems
机译:
确保依赖软件的系统的所需行为的所需基础
作者:
Linda Northrop
;
Mark Klein
;
John Goodenough
;
Dennis Smith
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
architecture;
system of systems;
ultra-large-scale systems;
cyber-physical systems;
software assurance;
37.
Community-Based, Collaborative Testing and Analysis
机译:
基于社区的协作测试和分析
作者:
Atif Memon
;
Adam Porter
;
Alan Sussman
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
component-based software development communities;
38.
The Mashware Challenge: Bridging the Gap Between Web Development and Software Engineering
机译:
Mashware的挑战:弥合Web开发与软件工程之间的鸿沟
作者:
Tommi Mikkonen
;
Antero Taivalsaari
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering;
web engineering;
mashups;
mashware.;
39.
Software Engineering and Wireless Sensor Networks: Happy Marriage or Consensual Divorce?
机译:
软件工程和无线传感器网络:婚姻幸福还是自愿离婚?
作者:
Gian Pietro Picco
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
wireless sensor networks;
software engineering;
40.
Monitoring, Analysis, and Testing of Deployed Software
机译:
监视,分析和测试已部署的软件
作者:
Alessandro Orso
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
testing deployed software;
field data;
runtime behavior;
41.
Infringo Ergo Sum
机译:
折扣Am
作者:
Fabio Massacci
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
42.
Software Testing Research and Software Engineering Education
机译:
软件测试研究和软件工程教育
作者:
Thomas J. Ostrand
;
Elaine J. Weyuker
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
reliability;
43.
Evidence-Based Validation and Improvement of Electronic Health Record Systems
机译:
电子病历系统的循证验证和改进
作者:
Andy Podgurski
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
evidence-based software validation and improvement;
electronic health record systems;
safety;
efficacy.;
44.
The Metropolis Model and its Implications for the Engineering of Software Ecosystems
机译:
都市模型及其对软件生态系统工程的启示
作者:
Rick Kazman
;
Hong-Mei Chen
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
socio-technical ecosystem;
ultra-large-scale system;
software life-cycle model;
core-periphery.;
45.
On the Shoulders of Giants
机译:
在巨人的肩膀上
作者:
Earl Barr
;
Christian Bird
;
Eric Hyatt
;
Tim Menzies
;
Gregorio Robles
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
replication;
data sharing;
46.
Analytics for Software Development
机译:
软件开发分析
作者:
Raymond R.L. Buse
;
Thomas Zimmermann
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
analytics;
project management;
47.
Why Haven't We Automated Programming
机译:
为什么我们没有自动编程
作者:
Robert Balzer
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
interactive;
refinement.;
48.
Through the Looking Glass of Immaterial Labor
机译:
透过非物质劳动的窥镜
作者:
Yunwen Ye
;
Kumiyo Nakakoji
;
Yasuhiro Yamamoto
;
Kouichi Kishida
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
immaterial labor;
software-intensive society;
valuation of software systems;
49.
Growth of Newcomer Competence: Challenges of Globalization
机译:
新移民能力的增长:全球化的挑战
作者:
Minghui Zhou
;
Audris Mockus
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
project competence;
culture difference;
communication;
learning trajectory;
recommending system;
universal repository;
50.
Separation of Concerns for Dependable Software Design
机译:
可靠软件设计的关注点分离
作者:
Daniel Jackson
;
Eunsuk Kang
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
dependability;
software design;
separation of concerns;
object-orientation;
formal methods;
trusted bases;
decoupling;
entanglement;
mixed-criticality systems;
51.
Software Bloat Analysis: Finding, Removing, and Preventing Performance Problems in Modern Large-Scale Object-Oriented Applications
机译:
软件膨胀分析:发现,消除和防止现代大型面向对象应用程序中的性能问题
作者:
Guoqing Xu
;
Nick Mitchell
;
Matthew Arnold
;
Atanas Rountey
;
Gary Sevitsky
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
runtime bloat;
performance analysis;
performance optimization;
52.
The Future of Library Specification
机译:
图书馆规范的未来
作者:
Gary T. Leavens
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
library;
framework;
specification;
documentation;
53.
Program Fields for Continuous Software
机译:
连续软件的程序字段
作者:
Martin Erwig
;
Eric Walkingshaw
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
54.
Latent Risks and Dangers in the State of Climate Model Software Development
机译:
气候模型软件开发状态中的潜在风险和危险
作者:
Shawn M. Freeman
;
Thomas L. Clune
;
Robert W. Burns III
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
climate model;
climate change;
software verification;
55.
Software Engineering as Live Performance
机译:
软件工程作为现场表演
作者:
Richard P. Gabriel
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
programming;
self-healing;
self-sustaining;
self-designing;
56.
Supporting Human-Intensive Systems
机译:
支持人类密集系统
作者:
Lori A. Clarke
;
Leon J. Osterweil
;
George S. Avrunin
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
human-intensive systems;
process improvement;
life-critical systems;
57.
Speculative Analysis: Exploring Future Development States of Software
机译:
投机分析:探索软件的未来发展状态
作者:
Yuriy Brun
;
Reid Holmes
;
Michael D. Ernst
;
David Notkin
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
speculation;
developer awareness;
recommender system;
version control;
quick fix;
ide;
58.
Domain-Specific Software Engineering
机译:
特定领域的软件工程
作者:
Barrett R. Bryant
;
Jeff Gray
;
Marjan Mernik
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
domain-specific languages;
domain-specific modeling;
requirements specification;
59.
Managing Technical Debt in Software-Reliant Systems
机译:
在依赖软件的系统中管理技术债务
作者:
Nanette Brown
;
Yuanfang Cai
;
Yuepu Guo
;
Rick Kazman
;
Miryung Kim
;
Philippe Kruchten
;
Erin Lim
;
Alan MacCormack
;
Robert Nord
;
Ipek Ozkaya
;
Raghvinder Sangwan
;
Carolyn Seaman
;
Kevin Sullivan
;
Nico Zazworka
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
technical debt;
large-scale system development;
cost-benefit analysis;
software metrics;
design decision trade-off;
60.
The Future of Software Engineering: Enhancing Human Expertise in Tackling Software Quality
机译:
软件工程的未来:提高处理软件质量的专业技能
作者:
Margaret Burnett
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering;
61.
A Benchmark- and Competition-Based Approach to Software Engineering Research
机译:
基于基准和竞争的软件工程研究方法
作者:
Derek Bronish
;
Jason Kirschenbaum
;
Aditi Tagore
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
human factors;
62.
Software Engineering in an Uncertain World
机译:
不确定世界中的软件工程
作者:
David Garlan
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering;
software design;
software architecture;
uncertainty;
63.
Software Assurance for Systems of Systems
机译:
系统系统的软件保障
作者:
John Goodenough
;
Linda Northrop
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software assurance;
systems of systems;
ultra-large-scale systems;
failure modes;
argumentation;
fmeca;
fta;
64.
Embracing Ambiguity
机译:
拥抱歧义
作者:
Kenneth C. Arnold
;
Henry Lieberman
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
human factors;
65.
The Disappearing Boundary Between Development-time and Run-time
机译:
开发时间与运行时间之间的界限逐渐消失
作者:
Luciano Baresi
;
Carlo Ghezzi
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
runtime support;
self-adaptation;
service-oriented systems;
66.
Social Media for Software Engineering
机译:
软件工程社交媒体
作者:
Andrew Begel
;
Robert DeLine
;
Thomas Zimmermann
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
privacy;
social networking;
software engineering;
web 2.0;
67.
Validity Concerns in Software Engineering Research
机译:
软件工程研究中的有效性问题
作者:
Hyrum K. Wright
;
Miryung Kim
;
Dewayne E. Perry
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
empirical study;
external validity;
open source software;
68.
Packaging and Prioritizing Software Engineering Research to Maximize Industry Impact
机译:
打包并优先进行软件工程研究以最大程度地提高行业影响力
作者:
Will Tracz
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering research;
software tools and techniques;
69.
Software Engineering Issues for Mobile Application Development
机译:
移动应用开发的软件工程问题
作者:
Anthony I. Wasserman
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
mobile devices;
application development;
software engineering;
programming environments;
user interface design;
research agenda;
70.
Position Paper: Bayesian Reasoning for Software Testing
机译:
立场文件:软件测试的贝叶斯推理
作者:
Akbar Siami Namin
;
Mohan Sridharan
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
bayesian data analysis;
probabilistic reasoning;
stochastic methods;
software testing;
program analysis;
71.
Opportunity-Centered Software Development
机译:
以机会为中心的软件开发
作者:
Kevin Sullivan
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
opportunity-driven;
value-based;
software development environments;
dynamic investment management;
72.
Towards Software Health Management with Bayesian Networks
机译:
使用贝叶斯网络实现软件健康管理
作者:
Johann Schumann
;
Ole J. Mengshoel
;
Ashok N. Srivastava
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
health management;
bayesian network;
verification and validation;
73.
Research toward an Engineering Discipline for Software
机译:
对软件工程学科的研究
作者:
Mary Shaw
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering research;
ultra-large scale systems;
end user software engineering;
software design;
low-ceremony evidence;
everyday software;
handbooks;
74.
Rethinking the Economics of Software Engineering
机译:
重新思考软件工程经济学
作者:
Todd W. Schiller
;
Michael D. Ernst
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
adaptive semi-automation;
less-skilled;
test generation;
program synthesis;
program verification;
75.
Engineering Self-Coordinating Software Intensive Systems
机译:
工程自协调软件集约化系统
作者:
Wilhelm Schafer
;
Mauro Birattari
;
Johannes Blomer
;
Marco Dorigo
;
Gregor Engels
;
Rehan OGrady
;
Marco Platzner
;
Franz Rammig
;
Wolfgang Reif
;
Ansgar Trachtler
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
new engineering methodology;
systems engineering;
mecha- tronic systems;
railcab;
76.
The Future of Research in Free/Open Source Software Development
机译:
自由/开源软件开发研究的未来
作者:
Walt Scacchi
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
open source software;
software evolution;
software ecosystems;
77.
Building Scalable Software Systems in the Multicore Era
机译:
在多核时代构建可扩展软件系统
作者:
Hridesh Rajan
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
concurrency;
modularity;
scalability;
synergy;
78.
Supporting Negotiation and Dispute Resolution with Computing and Communication Technologies
机译:
通过计算和通信技术支持谈判和纠纷解决
作者:
Leon J. Osterweil
;
Lori A. Clarke
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
dispute resolution;
process definition and execution;
human- computer collaborative systems.;
79.
Understanding Context: Creating a Lasting Impact in Experimental Software Engineering Research
机译:
理解上下文:在实验软件工程研究中产生持久影响
作者:
Emerson Murphy-Hill
;
Gail C. Murphy
;
William G. Griswold
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering research;
methodology;
80.
Software is Data Too
机译:
软件也是数据
作者:
Andrian Marcus
;
Timothy Menzies
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
data mining;
machine learning;
information retrieval;
statistical analysis;
software engineering;
empirical research.;
81.
An Agenda for Concern-Oriented Software Engineering
机译:
面向关注的软件工程议程
作者:
Nicolas Lopez
;
Andre van der Hoek
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software concerns;
separation of concerns;
modularization;
software maintenance and evolution;
scattering and tangling;
82.
Differential Static Analysis: Opportunities, Applications, and Challenges
机译:
差分静态分析:机遇,应用和挑战
作者:
Shuvendu K. Lahiri
;
Kapil Vaswani
;
C. A. R. Hoare
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
static analysis;
differential analysis;
equivalence checking;
semantic diff;
regression testing;
83.
Integrating Participatory Sensing in Application Development Practices
机译:
将参与式感知整合到应用程序开发实践中
作者:
Jamie Payton
;
Christine Julien
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
participatory sensing;
design patterns;
software architecture;
programming libraries;
techniques;
tools;
84.
Towards Predictive Models of Technology Impact on Software Design Productivity
机译:
建立技术对软件设计生产率影响的预测模型
作者:
Michael R. Lowry
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
conomics;
measurement;
reliability;
85.
Evidence-based Software Production
机译:
循证软件生产
作者:
James Kirby Jr.
;
David M. Weiss
;
Robyn R. Lutz
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
evidence-based;
software production;
data-driven improvement.;
86.
Future of Developer Testing: Building Quality in Code
机译:
开发人员测试的未来:代码质量
作者:
Tao Xie
;
Nikolai Tillmann
;
Jonathan de Halleux
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software testing;
developer testing;
specifications;
human factors;
87.
RD Challenges and Emerging Solutions for Multicore Deployment/Configuration Optimization
机译:
多核部署/配置优化的研发挑战和新兴解决方案
作者:
Jules White
;
Douglas C. Schmidt
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
deployment optimization;
multicore processors;
88.
Sharing What We Know About Software Engineering
机译:
分享我们对软件工程的了解
作者:
Michal Young
;
Stuart Faulk
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
design;
89.
The Case for Software Evolution
机译:
软件进化论
作者:
Claire Le Goues
;
Stephanie Forrest
;
Westley Weimer
会议名称:
《FSE/SDP workshop on future of software engineering research 2010》
|
2010年
关键词:
software engineering;
genetic programming;
program repair;
evolutionary computation;
意见反馈
回到顶部
回到首页