掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE Software Engineering Workshop
IEEE Software Engineering Workshop
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
机译:
使用模型检查来验证特定于风格的架构重构模式
作者:
Stephenson Zoe
;
McDermid John
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
2.
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming
机译:
MISE EN场景:将场景转换为CSP迹线,以支持基于需求的编程
作者:
Carter J.
;
Gardner W. B.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
3.
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability
机译:
具有概率的定时共享变量语言的运行语义和观察语义的代数方法
作者:
Zhu Huibiao
;
He Jifeng
;
Bowen Jonathan P.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
4.
A Formal Model for the Building of State Machines: A Lightweight Approach
机译:
建造国家机器的正式模型:轻量级方法
作者:
Barajas Fernando Valles
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
5.
Modeling and Verifying Web Services Choreography Using Process Algebra
机译:
使用过程代数建模和验证Web服务编排
作者:
Li Jing
;
He Jifeng
;
Zhu Huibiao
;
Pu Geguang
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
6.
A Refinement Based Framework for Computing Loop Behavior
机译:
基于细化的计算循环行为框架
作者:
Mili Ali
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
7.
Determining the Applicability of Agile Practices to Mission and Life-Critical Systems
机译:
确定敏捷实践对特派团和生命关键系统的适用性
作者:
Sidky Ahmed
;
Arthur James
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
8.
Architecting Network-Centric Software Systems: A Style-Based Beginning
机译:
架构以网络为中心的软件系统:基于风格的开头
作者:
Chigani Amine
;
Arthur Jamed D.
;
Bohner Shawn
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
9.
A Reference Net Based Formalization of Concurrent Cognitive Decision Making
机译:
基于参考网络的并发认知决策形式化
作者:
Duscher Johann
;
Malki Amine El
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
10.
An AOP-based Performance Evaluation Framework for UML Models
机译:
基于AOP的UML模型的性能评估框架
作者:
Kim Dong Kwan
;
Bohner Shawn
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
11.
A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications
机译:
通过参数评估预测软件可靠性的新方法:穿梭应用
作者:
Schneidewind Norman F.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
12.
Virtualization the Enabler for the Autonomic Business Grid
机译:
虚拟化自主商业网格的启动器
作者:
Wakid Shukri
;
聽Sterritt Roy
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
13.
Testing Patterns
机译:
测试模式
作者:
Soundarajan Neelam
;
Hallstrom Jason O.
;
Delibas Adem
;
Shu Guoqiang
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
14.
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
机译:
LTL导游规划:重新审视ETI的自动工具组成
作者:
Margaria Tiziana
;
Steffen Bernhard
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
15.
Transformational Approaches to Model Driven Architecture - A Review
机译:
模型驱动架构的转型方法 - 评论
作者:
Zhao Chunying
;
Zhang Kang
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
16.
The EMISQ Method - Expert Based Evaluation of Internal Software Quality
机译:
EMISQ方法 - 基于专家的内部软件质量评估
作者:
Plosch R.
;
Gruber H.
;
Hentschel A.
;
Korner Ch.
;
Pomberger G.
;
Schiffer S.
;
Saft M.
;
Storck S.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
17.
A Framework for Flexible and Executable Usability Patterns Standards
机译:
灵活可执行可用性模式标准的框架
作者:
Henninger Scott
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
18.
Mapping CMMI Project Management Process Areas to SCRUM Practices
机译:
将CMMI项目管理流程区域映射到Scrum实践
作者:
Marcal Ana Sofia C.
;
Soares Felipe S. Furtado
;
Belchior Arnaldo D.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
19.
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment
机译:
分层Java应用程序框架,用于向分布式环境提供数学计算电源
作者:
Liao Weidong
;
Koonse Benjamin J.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
20.
Looking into Compensable Transactions
机译:
调查可偿还的交易
作者:
Li Jing
;
Zhu Huibiao
;
Pu Geguang
;
He Jifeng
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
21.
ASSL - Autonomic System Specification Language
机译:
ASSL - 自主系统规范语言
作者:
Vassev Emil
;
Paquet Joey
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
22.
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion
机译:
JHU / APL在地面软件开发应用于地面软件开发的保存工具和进程:技术输液的经验报告
作者:
Stratton William C.
;
Sibol Deane E.
;
Lindvall Mikael
;
Costa Patricia
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
23.
An Inconsistency Free Formalization of B/S Architecture
机译:
B / S架构的免费形式化不一致
作者:
Li Qin
;
Zhu Huibiao
;
He Jifeng
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
24.
An Alternative Method Employing Uses Cases for Early Effort Estimation
机译:
一种替代方法,采用了用于早期努力估计的情况
作者:
Robiolo Gabriela
;
Orosco Ricardo
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
25.
Abstracting Pointers for a Verifying Compiler
机译:
验证编译器的抽象指针
作者:
Kulczycki Gregory
;
Keown Heather
;
Sitaraman Murali
;
Weide Bruce W.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
26.
A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases
机译:
用于回顾性安全壳的软件安全风险分类
作者:
Hill Janice
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
27.
A Generative Approach to Building a Framework for Hard Real-Time Applications
机译:
一种为硬实时应用构建框架的生成方法
作者:
Hamid I.
;
Zalila B.
;
Najm E.
;
Hugues J.
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
28.
An Operational Approach to BPEL-like Programming
机译:
BPEL样编程的操作方法
作者:
Zhu Huibiao
;
He Jifeng
;
Pu Geguang
;
Li Jing
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
29.
Research on Aspect Connectors for Software Architecture Adaptation
机译:
软件架构适应的方面连接器研究
作者:
Zhang Jingjun
;
Li Hui
;
Li Furong
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
30.
Aspect-Oriented Requirements Modeling
机译:
面向方面的要求建模
作者:
Zhang Jingjun
;
Li Furong
;
Zhang Yang
;
SEW
会议名称:
《IEEE Software Engineering Workshop》
|
2007年
31.
A Change of Perspective Yields Formal Analysis
机译:
透视的变化产生正式分析
作者:
Grosu R.
;
Fenton F.
;
Smolka S.
;
Bartocci E.
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Analysis;
Cardiac Cells;
Control;
Hybrid Automata;
Modeling;
Parameter-Range Identification;
32.
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective
机译:
远程ERP系统解决方案的要求驱动评估:面向服务的视角
作者:
Doedt Markus
;
Steffen Bernhard
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
33.
Offline Validation of Firewalls
机译:
离线防火墙验证
作者:
Windmuller Stephan
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Firewall;
Model-Checking;
Security;
Validation;
34.
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems
机译:
自适应系统中处理不确定性的ASSL方法
作者:
Vassev Emil
;
Hinchey Mike
;
Balasubramaniam Dharini
;
Dobson Simon
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
ASSL;
formal methods;
self-adaptive systems;
35.
Variability and Rigour in Service Computing Engineering
机译:
服务计算工程中的变异性和严谨性
作者:
ter Beek Maurice H.
;
Gnesi Stefania
;
Fantechi Alessandro
;
Fiadeiro Jose L.
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Formal methods;
Service-Oriented Computing;
Software Product Line Engineering;
Verification techniques;
36.
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics
机译:
集成GQM和Data Warehousing用于软件重用度量的定义
作者:
Vieira Marco
;
Madeira Henrique
;
Cruz Sergio
;
Costa Marco
;
Cunha Joao Carlos
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Data Warehousing;
GQM;
metrics;
software reuse;
37.
Applying the Test Template Framework to Aerospace Software
机译:
将测试模板框架应用于航空航天软件
作者:
Cristiamp
;
#x0B4
;
Maximiliano
;
Albertengo Pablo
;
Frydman Claudia
;
Pluss Brian
;
Monetti Pablo Rodriguez
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Z specifications;
fastest;
model-based testing;
test template framework;
38.
Metrics and Antipatterns for Software Quality Evaluation
机译:
用于软件质量评估的指标和反典
作者:
Fontana Francesca Arcelli
;
Maggioni Stefano
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
antipatterns detection;
metrics computation;
software maintainability;
39.
Language for Use Case Specification
机译:
使用案例规范的语言
作者:
Savic Dusan
;
Antovic Ilija
;
Vlajic Sinisa
;
Stanojevic Vojislav
;
Milic Milos
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
requirements engineering;
software requirements;
use case;
use case specification;
40.
Availability Assessment of Embedded Systems with Security Vulnerabilities
机译:
具有安全漏洞的嵌入式系统的可用性评估
作者:
Kornecki Andrew J.
;
Zalewski Janusz
;
Stevenson Wendy F.
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
availability;
cruise control;
embedded systems;
real-time systems;
security;
software design;
41.
Simplified Validation of Emergent Systems through Automata Learning-Based Testing
机译:
通过自动基于学习的测试简化了紧急系统的验证
作者:
Steffen Bernhard
;
Neubauer Johannes
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Mealy machine;
active automata learning;
domain-knowledge;
42.
Constraint-oriented Variability Modeling
机译:
定向约束可变性建模
作者:
Schaefer Ina
;
Lamprecht Anna-Lena
;
Margaria Tiziana
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
constraints;
feature modeling;
loose programming;
synthesis;
variability modeling;
workflows;
43.
Special Session on 'Simplification through Change of Perspective'
机译:
特别会议“通过改变视角简化”
作者:
Margaria Tiziana
;
Steffen Bernhard
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
(re)usability;
comfort;
reliability;
simplicity;
stability;
44.
An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development
机译:
一种基于UML的设计组件进行模型驱动协议开发的方法
作者:
Kaliappan Prabhu Shankar
;
Koenig Hartmut
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Communication protocols;
Components;
Model synchronization;
Model-driven development;
Unified Modeling Language;
45.
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus
机译:
频道环境微积分中环境 - 普美的建筑模型
作者:
Ali Nour
;
Tuosto Emilio
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
mobile systems;
process algebras;
software architecture;
46.
Toward Intelligent Software Defect Detection - Learning Software Defects by Example
机译:
朝智能软件缺陷检测 - 学习软件缺陷
作者:
Benson Markland J.
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
47.
Using Modeling and Simulation to Define Information Requirements for Incident Response for Chemical Facilities
机译:
使用建模和仿真来定义化学设施的事件响应信息要求
作者:
Fortier Stephen C.
;
Shaw Gregory L.
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
IDEF0 modeling;
Requirements engineering;
business process modeling;
emergency management;
express modeling;
information technology;
simulation;
48.
Energy Efficiency with Runtime Models for Energy-aware Embedded Systems
机译:
具有用于能量感知嵌入式系统的运行时模型的能效
作者:
Karakehayov Zdravko
;
Vassev Emil
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
dynamic frequency scaling;
embedded systems;
energy efficiency;
runtime models for power management;
49.
Implementing Software Effort Estimation in a Medium-sized Company
机译:
在中型公司实施软件努力估算
作者:
Cunha Joao Carlos
;
Cruz Sergio
;
Costa Marco
;
Rodrigues Ana Rita
;
Vieira Marco
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
bottom-up estimation;
effort estimation;
expert judgment;
software projects;
50.
Towards a Framework for Weapon Control Systems
机译:
迈向武器控制系统的框架
作者:
Adams Kevin P.
;
Gracanin Denis
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
51.
Software Maintenance through Supervisory Control
机译:
通过监控控制软件维护
作者:
Gaudin Benoit
;
Bagnato Alessandra
会议名称:
《IEEE Software Engineering Workshop》
|
2011年
关键词:
Software Control;
Software Maintenance;
Supervisory Control Theory;
Vulnerabilities;
52.
Model-Driven Development of Secure Service Applications
机译:
型号驱动安全服务应用程序的开发
作者:
Borek Marian
;
Moebius Nina
;
Stenzel Kurt
;
Reif Wolfgang
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Security;
UML;
Web Service;
code generation;
model-driven development;
security-critical systems;
53.
A Comment Analysis Approach for Program Comprehension
机译:
评论分析方法理解
作者:
Freitas Jose Luis
;
da Cruz Daniela
;
Henriques Pedro Rangel
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
comment analysis;
concept location;
problem domain;
program comprehension;
program domain;
54.
An Evaluation of Service Integration Approaches of Business Process Management Systems
机译:
商业流程管理系统服务集成方法评估
作者:
Doedt Markus
;
Steffen Bernhard
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Activiti;
AristaFlow;
BPM;
BPMN;
SOA;
activities;
building blocks;
integration;
jABC;
jBPM;
service integration;
services;
55.
Analysing Tactics in Architectural Patterns
机译:
在建筑模式中分析策略
作者:
Sanchez Alejandro
;
Aguiar Ademar
;
Barbosa Luis S.
;
Riesco Daniel
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
56.
Analyzing Measurements of the R Statistical Open Source Software
机译:
分析R统计开源软件的测量
作者:
Voulgaropoulou Sophia
;
Spanos Georgios
;
Angelis Lefteris
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Open Source software measurement;
R project;
complexity analysis;
software metrics;
57.
A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source Software
机译:
软件可靠性增长模型的比较分析封闭和开源软件的缺陷数据
作者:
Ullah Najeeb
;
Morisio Maurizio
;
Vetro Antonio
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Failure Data;
Open Source Software;
SRGM;
Software Reliability Growth Models;
Software Reliability Models;
58.
Incremental Development of Multi-agent Systems in Object-Z
机译:
Object-Z中多代理系统的增量开发
作者:
Smith Graeme
;
Winter Kirsten
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Object-Z;
action refinement;
multi-agent systems;
59.
Automotive System Development Using Reference Architectures
机译:
使用参考体系结构的汽车系统开发
作者:
Lind Kenneth
;
Heldal Rogardt
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Embedded systems;
automotive;
real-time systems;
software architecture;
system architecture;
60.
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification
机译:
朝向安全为导向的工艺生产线,以便在安全关键系统开发和认证中进行重用
作者:
Gallina Barbara
;
Sljivo Irfan
;
Jaradat Omar
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Process lines;
Safety certification reuse;
Safety processes;
Safety standards;
qualitative standards comparison;
61.
Automating the Transformation from BPMN Models to CSP+T Specifications
机译:
将BPMN型号的转换自动化为CSP + T规格
作者:
Capel Manuel I.
;
Mendoza Luis E.
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
BPMN 2.0;
Business Process Modelling;
CSP;
CSP+T;
Model-Checking;
Verification;
62.
Dogfooding the Formal Semantics of mCRL2
机译:
Dogfooding mcrl2的正式语义
作者:
Stappers F.P.M.
;
Reniers M.A.
;
Weber S.
;
Groote J.F.
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Formal model transformation;
Validation;
mCRL2 language;
63.
Self-Definition for Software Development
机译:
软件开发的自我定义
作者:
Wilks Barry
;
Bailes Paul
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
self-definition;
specification;
systems specification;
64.
An Approach to Requirement Analysis for Periodic Control Systems
机译:
定期控制系统要求分析的方法
作者:
Li Jianwen
;
Pu Geguang
;
Wang Zheng
;
Chen Yuxiang
;
Zhang Liyun
;
Qi Yanxia
;
Gu Bin
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Code Generation;
Dataflow Analysis;
SPARDL;
65.
Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised Approach
机译:
多代理自组织服务组成 - 展示集中方法的限制
作者:
Papadopoulos Petros
;
Tianfield Huaglory
;
Moffat David
;
Barrie Peter
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
66.
Planning as Model Checking Tasks
机译:
计划作为模型检查任务
作者:
Li Yi
;
Sun Jing
;
Dong Jin Song
;
Liu Yang
;
Sun Jun
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Automate Planning;
Model Checking;
67.
A Timed CSP Model for the Time-Triggered Language Giotto
机译:
用于时间触发语言的定时CSP模型Giotto
作者:
Huang Yanhong
;
Zhao Yongxin
;
Qin Shengchao
;
He Guanhua
;
Ferreira Joao F.
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Embedded Systems;
Giotto;
Simulation;
Time-Triggered Language;
Timed CSP;
68.
Viewpoint-Based Risk Assessment and Prioritization
机译:
基于观点的风险评估和优先级
作者:
Leung Hareton K.N.
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Risk assessment;
Risk prioritization;
Viewpoint-based;
69.
Exploiting Ecore's Reflexivity for Bootstrapping Domain-Specific Code-Generators
机译:
利用ECORE的对自动域特定域代码生成器的反射性
作者:
Jorges Sven
;
Steffen Bernhard
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
EMF;
bootstrapping;
code generation;
domain-specific languages;
metamodeling;
model-driven development;
reflexivity;
service orientiation;
70.
Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study
机译:
调查自动静态分析结果,以确定质量问题:归纳研究
作者:
Vetro Antonio
;
Zazworka Nico
;
Shull Forrest
;
Seaman Carolyn
;
Shaw Michele A.
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Automatic static analysis;
defect prediction;
software quality;
71.
An Empirical Study of License Violations in Open Source Projects
机译:
开源项目中许可违规的实证研究
作者:
Mathur Arunesh
;
Choudhary Harshal
;
Vashist Priyank
;
Thies William
;
Thilagam Santhi
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Legal factors;
Open source software;
Software reusability;
72.
A Patterns Based Reverse Engineering Approach for Java Source Code
机译:
基于模式的Java源代码的逆向工程方法
作者:
Couto Rui
;
Ribeiro Antonio Nestor
;
Campos Jose Creissac
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
73.
Partial Slices in Program Testing
机译:
程序测试中的部分切片
作者:
Surendran Anupama
;
Samuel Philip
会议名称:
《IEEE Software Engineering Workshop》
|
2012年
关键词:
Partial slices;
Program Testing;
Program point;
Static slices;
意见反馈
回到顶部
回到首页