掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机安全
现代计算机(普及版)
程序员
软件学报
中国计算机用户
计算机测量与控制
计算技术与自动化
新电脑
测试技术学报
计算机网络世界
更多>>
相关外文期刊
International journal of computer processing of languages
Advances in software engineering
Journal of ambient intelligence and smart environments
Constraints
Computer Graphics Forum
The Knowledge Engineering Review
Applied Artificial Intelligence
International journal of metaheuristics
International journal of secure software engineering
Networks
更多>>
相关中文会议
第十一届全国高等学校过程装备与控制工程专业教学改革与学科建设成果校际交流会
第四届中国软件工程大会
2010年全国模式识别学术会议(CCPR2010)
第二十二届中国过程控制会议
第二十四届测试与故障诊断技术研讨会
2011西门子自动化专家会议
第23届全国计算机新科技与计算机教育学术会议
第六届全国技术过程故障诊断与安全性学术会议
第二十七届全国计算机信息管理学术研讨会
全国工业企业计算机应用学术交流会
更多>>
相关外文会议
2013 13th Iranian Conference on Fuzzy Systems
Image quality and system performance IX
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems(CPAIOR 2005); 20050530-0601; Prague(CZ)
IAENG transactions on engineering technologies
International Conference on Mathematical Knowledge Management(MKM 2004); 20040919-21; Bialowieza(PL)
AAMAS(Autonomous Agents and Multiagent Systems) 2003 Workshop on Agent-Mediated Electronic Commerce V: Designing Mechanisms and Systems(AMEC 2003); 20030715; Melbourne(AU)
Intelligent distributed computing IX
2015 8th International Conference on Database Theory and Application
The Cryptographers'Track at the RSA Conference 2003, Apr 13-17, 2003, San Francisco, CA, USA
Information systems security
更多>>
热门会议
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.
Information Preserving Bidirectional Model Transformations
机译:
信息保存双向模型转换
作者:
Hartmut Ehrig
;
Karsten Ehrig
;
Claudia Ermel
;
Frank Hermann
;
Gabriele Taentzer
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
2.
Towards Normal Design for Safety-Critical Systems
机译:
迈向安全关键系统的正常设计
作者:
Derek Mannering
;
Jon G. Hall
;
Lucia Rapanotti
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
3.
Integration Testing in Software Product Line Engineering: A Model-Based Technique
机译:
软件产品线工程中的集成测试:基于模型的技术
作者:
Sacha Reis
;
Andreas Metzger
;
Klaus Pohl
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
4.
Finding Environment Guarantees
机译:
寻找环境保证
作者:
Marsha Chechik
;
Mihaela Gheorghiu
;
Arie Gurfinkel
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
5.
Software Product Families: Towards Compositionality
机译:
软件产品系列:走向组合
作者:
Jan Bosch
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
关键词:
software product families;
compositionality;
6.
S2A: A Compiler for Multi-modal UML Sequence Diagrams
机译:
S2A:多模式UML序列图的编译器
作者:
David Harel
;
Asaf Kleinbort
;
Shahar Maoz
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
7.
An Approach to Software Evolution Based on Semantic Change
机译:
基于语义变化的软件演化方法
作者:
Romain Robbes
;
Michele Lanza
;
Mircea Lungu
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
8.
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams
机译:
使用定时案例方案图的联合结构和时间属性规范
作者:
Florian Klein
;
Holger Giese
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
关键词:
property specification;
temporal logic;
visual specification language;
9.
A Service Composition Construct to Support Iterative Development
机译:
支持迭代开发的服务组合构造
作者:
Roy Gronmo
;
Michael C. Jaeger
;
Andreas Wombacher
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
10.
Precise Specification of Use Case Scenarios
机译:
用例场景的精确规范
作者:
Jon Whittle
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
11.
A Prioritization Approach for Software Test Cases Based on Bayesian Networks
机译:
基于贝叶斯网络的软件测试用例优先排序方法
作者:
Siavash Mirarab
;
Ladan Tahvildari
会议名称:
《》
|
2007年
关键词:
test case prioritization;
regression testing;
bayesian networks;
12.
SDL Profiles - Formal Semantics and Tool Support
机译:
SDL配置文件-形式语义和工具支持
作者:
R. Grammes
;
R. Gotzhein
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
13.
Correlation Patterns in Service-Oriented Architectures
机译:
面向服务的体系结构中的关联模式
作者:
Alistair Barros
;
Gero Decker
;
Marlon Dumas
;
Franz Weber
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
14.
Redundancy Based Test-Suite Reduction
机译:
基于冗余的测试套件缩减
作者:
Gordon Eraser
;
Franz Wotawa
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
15.
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
机译:
BML的初步设计:Java字节码的行为接口规范语言
作者:
Lilian Burdy
;
Marieke Huisman
;
Mariela Pavlova
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
16.
Dynamic Characterization of Web Application Interfaces
机译:
Web应用程序界面的动态表征
作者:
Marc Fisher II
;
Sebastian Elbaum
;
Gregg Rothermel
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
17.
Testing Scenario-Based Models
机译:
测试基于场景的模型
作者:
Hillel Kugler
;
Michael J. Stern
;
E. Jane Albert Hubbard
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
18.
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software
机译:
实施基于组件的分布式软件的体系结构和部署约束
作者:
Chouki Tibermacine
;
Didier Hoareau
;
Reda Kadri
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
19.
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies
机译:
在基于方面的程序中测量和表征横切面:基本指标和案例研究
作者:
Roberto E. Lopez-Herrejon
;
Sven Apel
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
20.
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework
机译:
在非功能MDA框架中集成性能和可靠性分析
作者:
Vittorio Cortellessa
;
Antinisca Di Marco
;
Paola Inverardi
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
21.
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement
机译:
基于集群的跟踪面向对象设计到需求的方法
作者:
Xin Zhou
;
Hui Yu
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
关键词:
object-oriented software development;
requirement traceability;
use case;
class;
clustering;
22.
Ensuring Consistency Within Distributed Graph Transformation Systems
机译:
确保分布式图转换系统内的一致性
作者:
Ulrike Ranger
;
Thorsten Hermes
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
23.
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
机译:
在移动Ad-Hoc网络的分层体系结构中保持一致性
作者:
Julia Padberg
;
Kathrin Hoffmann
;
Hartmut Ehrig
;
Tony Modica
;
Enrico Biermann
;
Claudia Ermel
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
24.
Practical Reasoning About Invocations and Implementations of Pure Methods
机译:
关于纯方法的调用和实现的实践推理
作者:
Adam Darvas
;
K. Rustan M. Leino
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
25.
A Simulation-Oriented Formalization for a Psychological Theory
机译:
面向仿真的心理学理论形式化
作者:
Paula Salem da Silva
;
Ana C. Vieira de Melo
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
26.
EQ-Mine: Predicting Short-Term Defects for Software Evolution
机译:
EQ-Mine:预测软件发展的短期缺陷
作者:
Jacek Ratzinger
;
Martin Pinzger
;
Harald Gall
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
关键词:
software evolution;
defect density;
quality prediction;
machine learning;
regression;
classification;
27.
Scenario-Driven Dynamic Analysis of Distributed Architectures
机译:
场景驱动的分布式架构动态分析
作者:
George Edwards
;
Sam Malek
;
Nenad Medvidovic
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
28.
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces
机译:
一族分布式避免死锁协议及其可到达的状态空间
作者:
Cesar Sanchez
;
Henny B. Sipma
;
Zohar Manna
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
29.
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
机译:
声明的类型泛型检查器:用于具有更多常规类型的系统编程的Eclipse插件
作者:
Markus Bach
;
Florian Forster
;
Friedrich Steimann
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
30.
Activity-Driven Synthesis of State Machines
机译:
活动驱动的状态机综合
作者:
Rolf Hennicker
;
Alexander Knapp
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
31.
Flexible and Extensible Notations for Modeling Languages
机译:
建模语言的灵活和可扩展的表示法
作者:
Jimin Gao
;
Mats Heimdahl
;
Eric Van Wyk
会议名称:
《Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science; 4422》
|
2007年
意见反馈
回到顶部
回到首页