掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the
Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the
召开年:
2003
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A hybrid architecture for visualization and decision making in battlespace environments
机译:
用于战场环境中的可视化和决策制定的混合架构
作者:
Peng
;
J.
;
Rozenblit
;
J.W.
;
Suantak
;
L.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
decision making;
decision support systems;
data visualisation;
object-oriented programming;
command and control systems;
software architecture;
computer architecture;
real-time systems;
formal specification;
software agents;
multi-agent systems;
planning;
2.
A slicing approach for parallel component adaptation
机译:
并行组件自适应的切片方法
作者:
Morel
;
B.
;
Alexander
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
program slicing;
formal specification;
software reusability;
software architecture;
parallel architectures;
parallel programming;
software reuse;
parallel component adaptation;
reusable components;
specification slicing;
sub-components;
parallel adaptati;
3.
Employing fuzzy logic in feature diagrams to model variability in software product-lines
机译:
在功能图中使用模糊逻辑对软件产品线中的可变性进行建模
作者:
Robak
;
S.
;
Pieczynski
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal specification;
fuzzy logic;
trees (mathematics);
constraint handling;
feature diagrams;
variability modeling;
software product-lines;
market segments;
market strategies;
customer profiles;
anonymous market;
identical feature sets;
system descripti;
4.
Mobile agents for routing, topology discovery, and automatic network reconfiguration in ad-hoc networks
机译:
在ad-hoc网络中用于路由,拓扑发现和自动网络重新配置的移动代理
作者:
Migas
;
N.
;
Buchanan
;
W.J.
;
McArtney
;
K.A.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
mobile agents;
telecommunication network routing;
ad hoc networks;
telecommunication computing;
wireless networks;
mobile devices;
ad-hoc networks;
mobile systems;
network infrastructure;
data routing;
static agents;
mobile agents;
metrics;
memory capaci;
5.
Modeling workflow process models with statechart
机译:
使用状态图为工作流程模型建模
作者:
Yang Dong
;
Zhang Shensheng
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
visual languages;
formal verification;
workflow management software;
real-time systems;
finite state machines;
concurrency control;
programming language semantics;
modeling;
workflow process models;
statechart;
visual language;
complex reactive systems;
6.
Social engineering
机译:
社会工程学
作者:
White
;
S.M.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
user centred design;
human factors;
social aspects of automation;
user modelling;
health care;
social engineering;
computer systems;
London Ambulance System;
Melbourne Ambulance System;
design phases;
7.
An ISA-retargetable framework for embedded software analysis
机译:
用于嵌入式软件分析的ISA可重定位框架
作者:
Luculli
;
G.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
embedded systems;
instruction sets;
system-on-chip;
formal specification;
program assemblers;
virtual machines;
software tools;
systems analysis;
complex system-on-chip platform design;
STMicroelectronics;
retargetable technology;
embedded software optim;
8.
Architecture-based design of computer based systems
机译:
基于架构的计算机系统设计
作者:
Denford
;
M.
;
ONeill
;
T.
;
Leaney
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software architecture;
systems engineering;
architecture-based design;
computer based systems;
system architecture refinement;
system architecture abstraction;
systems architecture evolution;
systems architecture discovery;
formal refinement methods;
9.
Details of formalized relations in feature models using OCL
机译:
使用OCL的特征模型中形式化关系的详细信息
作者:
Streitferdt
;
D.
;
Riebisch
;
M.
;
Philippow
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
specification languages;
constraint handling;
object-oriented languages;
software reusability;
formal specification;
formalized relations;
feature models;
system families;
high level development asset reuse;
feature modeling;
consistency checking;
formal;
10.
Integrated modeling and analysis of computer-based embedded control systems
机译:
基于计算机的嵌入式控制系统的集成建模和分析
作者:
Zonghua Gu
;
Shin
;
K.G.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
processor scheduling;
systems analysis;
control system analysis computing;
embedded systems;
formal verification;
automata theory;
safety-critical software;
computer-based embedded control system analysis;
computer-based embedded control system modeling;
11.
Model-integrated design toolset for polymorphous computer-based systems
机译:
用于多态计算机系统的模型集成设计工具集
作者:
Eames
;
B.
;
Bapty
;
T.
;
Abbott
;
B.
;
Neema
;
S.
;
Chhokra
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
embedded systems;
systems analysis;
computer architecture;
formal specification;
model-integrated design toolset;
polymorphous computer-based systems;
CPU architecture;
system design;
specification;
combinatorial space;
design tradeoffs;
near-optimal app;
12.
Multigranular simulation of heterogeneous embedded systems
机译:
异构嵌入式系统的多粒度仿真
作者:
Agrawal
;
A.
;
Ledeczi
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
embedded systems;
virtual machines;
hardware-software codesign;
field programmable gate arrays;
software engineering;
heterogeneous embedded systems;
application specific hardware devices;
configurable hardware devices;
FPGAs;
ASICs;
processors;
rapid de;
13.
Rapid prototyping of networked embedded systems
机译:
网络嵌入式系统的快速原型制作
作者:
Sveda
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
embedded systems;
software prototyping;
specification languages;
timing;
attribute grammars;
software reusability;
object-oriented programming;
formal specification;
Internet;
pressure measurement;
PROLOG;
macros;
computerised instrumentation;
rapid prot;
14.
Systems engineering transitions into the 21st century
机译:
系统工程过渡到21世纪
作者:
Brewer
;
H.L.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
systems engineering;
command and control systems;
military communication;
surveillance;
military aircraft;
aerospace computing;
aerospace engineering;
systems engineering;
system design;
overall system performance;
customer priorities;
command control co;
15.
The Rosetta meta-model framework
机译:
Rosetta元模型框架
作者:
Kong
;
C.
;
Alexander
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
programming language semantics;
specification languages;
formal specification;
object-oriented programming;
systems analysis;
Rosetta meta-model framework;
heterogeneous system design;
component modeling;
methodology integration;
denotational semantics;
16.
Trust, systems and accidents: designing complex systems
机译:
信任,系统与事故:设计复杂的系统
作者:
Dalcher
;
D.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
air safety;
air accidents;
military aircraft;
protection;
aircraft control;
aerospace computing;
aerospace engineering;
trust;
automation;
supersonic fighter crash;
protection technology;
control;
safety;
computer-assisted error;
exit strategy;
complex s;
17.
Using /spl pi/-calculus to formalize UML activity diagram for business process modeling
机译:
使用/ spl pi / -calculus形式化用于业务流程建模的UML活动图
作者:
Yang Dong
;
Zhang ShenSheng
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
specification languages;
business data processing;
pi calculus;
bisimulation equivalence;
/spl pi/-calculus;
UML activity diagram;
software processes;
business process modeling;
process semantics;
weak bisimulation;
equivalence;
safety;
liveness;
modal M;
18.
A foundation for adaptive fault tolerance in software
机译:
软件中自适应容错的基础
作者:
Whisnant
;
K.
;
Kalbarczyk
;
Z.
;
Iyer
;
R.K.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software fault tolerance;
configuration management;
system recovery;
distributed programming;
formal specification;
adaptive software fault tolerance;
software requirements;
formal model;
reconfigurable software processes;
distributed software-implemente;
19.
An approach for modeling and designing software architecture
机译:
一种建模和设计软件体系结构的方法
作者:
Jiang Guo
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software architecture;
formal specification;
software reusability;
software prototyping;
Internet;
Java;
virtual machines;
object-oriented programming;
real-time systems;
open systems;
program compilers;
complex component-based systems design;
software a;
20.
Enterprise-wide solutions architecting using UML
机译:
使用UML构建企业范围的解决方案架构
作者:
Feldman
;
D.
;
Micallef
;
J.
;
Mulcare
;
D.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
specification languages;
risk management;
systems engineering;
systems analysis;
software architecture;
enterprise-wide solution architecting;
customer needs;
enterprise-wide problem space;
developmental constructs;
customer assets;
third-party resources;
21.
Requirements interaction detection using semi-formal methods
机译:
使用半正式方法进行需求交互检测
作者:
Shehata
;
M.
;
Eberlein
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal specification;
software reusability;
object-oriented programming;
requirements interaction detection;
semi-formal methods;
software component reuse;
telecommunications domain;
requirements attributes;
feature interaction detection;
cost;
time;
com;
22.
The SIGNAL approach to the design of system architectures
机译:
系统架构设计的SIGNAL方法
作者:
Gamatie
;
A.
;
Gautier
;
T.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal verification;
embedded systems;
systems analysis;
program compilers;
formal specification;
specification languages;
software architecture;
computer architecture;
protocols;
modeling;
system engineering;
SIGNAL synchronous language;
validation;
sys;
23.
Towards model-based requirements engineering for Web-enabled B2B applications
机译:
面向基于Web的B2B应用程序的基于模型的需求工程
作者:
Marschall
;
F.
;
Schoemnakers
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal specification;
business communication;
Internet;
business data processing;
model-based requirements engineering;
Web-enabled B2B applications;
software engineering;
model based approaches;
structured text fragments;
requirement interrelationships;
24.
Aspect-oriented requirements engineering for software product lines
机译:
软件产品线的面向方面的需求工程
作者:
Kuloor
;
C.
;
Eberlein
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal specification;
systems analysis;
XML;
aspect-oriented requirements engineering;
software product lines;
product development;
specification;
requirements analysis;
requirements modeling;
aspect-orientation;
separation of concerns;
product maps;
XML;
25.
Consistency in model-based development
机译:
基于模型的开发的一致性
作者:
Schatz
;
B.
;
Braun
;
P.
;
Huber
;
F.
;
Wisspeintner
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal specification;
computer aided software engineering;
software quality;
model-based development consistency;
complex software systems development;
model-based approach;
semantical consistency conditions;
CASE-based approach;
development process;
26.
Design of Very Lightweight Agents for reactive embedded systems
机译:
用于反应嵌入式系统的超轻量级代理的设计
作者:
Oh
;
J.C.
;
Tamhankar
;
M.S.
;
Mosse
;
D.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
embedded systems;
high energy physics instrumentation computing;
multi-agent systems;
software agents;
data acquisition;
field programmable gate arrays;
fault tolerant computing;
adaptive signal processing;
very lightweight agents;
reactive embedded syst;
27.
Domain model translation using graph transformations
机译:
使用图转换的领域模型翻译
作者:
Sprinkle
;
J.
;
Agrawal
;
A.
;
Levendovszky
;
T.
;
Feng Shi
;
Karsai
;
G.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
visual languages;
rewriting systems;
graph grammars;
formal specification;
computer based systems;
domain-specific programming;
domain model translation;
graph transformations;
domain-specific visual language;
metamodel;
ontology;
model transformation;
g;
28.
Dynamic systems development: towards continuity, growth and evolution
机译:
动态系统开发:走向连续性,增长和发展
作者:
Dalcher
;
D.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software engineering;
management of change;
knowledge management;
dynamic systems development;
software evolution;
dynamic feedback model;
change-intensive environments;
learning-driven view;
knowledge-driven view;
software-intensive systems;
29.
FMC: an approach towards architecture-centric system development
机译:
FMC:一种以架构为中心的系统开发方法
作者:
Keller
;
F.
;
Wendt
;
S.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software architecture;
decision support systems;
decision making;
planning;
software development management;
architecture-centric system development;
computer based systems engineering;
Fundamental Modeling Concepts;
software-intensive systems;
decision-;
30.
Issues in architectural modeling and evolution in the know-it-all case study
机译:
万事通案例研究中的架构建模和演化问题
作者:
Butler
;
G.
;
Xin Shen
;
Lugang Xu
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software architecture;
database management systems;
software prototyping;
architectural modeling;
architectural evolution;
know-it-all case study;
database management systems;
methodology research;
architecture design;
refactoring;
source code;
product l;
31.
Model checking and evidence exploration
机译:
模型检查和证据探索
作者:
Yifei Dong
;
Ramakrishnan
;
C.R.
;
Smolka
;
S.A.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal verification;
relational algebra;
Java;
virtual machining;
formal specification;
temporal logic;
graph theory;
algebraic framework;
evidence exploration;
proof structure;
model checker;
system specification verification;
temporal-logic property;
r;
32.
Modeling and building reliable, re-useable software
机译:
建模和构建可靠,可重复使用的软件
作者:
Wagner
;
F.
;
Wolstenholme
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software reliability;
software reusability;
finite state machines;
formal specification;
reliable reuseable software;
agile software practices;
specification processes;
implementation processes;
behavioural aspects;
VFSM technique;
commercial implementat;
33.
Performance modelling of interaction protocols for component-based system design using object-oriented simulation
机译:
面向对象仿真的基于组件的系统设计交互协议的性能建模
作者:
Juiz
;
C.
;
Puigjaner
;
R.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
discrete event simulation;
virtual machines;
protocols;
object-oriented programming;
software performance evaluation;
embedded systems;
weapons;
military computing;
object-oriented methods;
European defence companies;
MASCOT methodology;
weapon system pr;
34.
Meta-modelling approach to traceability for avionics: a framework for managing the engineering of computer based aerospace systems
机译:
航空电子可追溯性的元建模方法:用于管理基于计算机的航空航天系统工程的框架
作者:
Mason
;
P.
;
Saeed
;
A.
;
Arkely
;
P.
;
Riddle
;
S.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
avionics;
aerospace engineering;
aerospace computing;
software development management;
Meta-modelling Approach to Traceability for Avionics;
MATrA;
assessment processes;
development processes;
artifact relationship management;
complex safety critical com;
35.
Autonomic Computing - a means of achieving dependability?
机译:
自主计算-实现可靠性的一种手段?
作者:
Sterritt
;
R.
;
Bustard
;
D.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
software fault tolerance;
automatic programming;
system recovery;
autonomic computing;
computing systems design;
computer-based systems;
dependability framework;
self-healing systems;
self optimizing systems;
36.
Component behavior prediction and monitoring through built-in test
机译:
通过内置测试对组件行为进行预测和监视
作者:
Barbier
;
F.
;
Belloir
;
N.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
Java;
object-oriented programming;
real-time systems;
program testing;
built-in self test;
safety-critical software;
formal specification;
software libraries;
system monitoring;
real-time systems;
safety-critical applications;
high-confidence software co;
37.
Modeling and generation tools for large-scale, real-time embedded systems
机译:
大型实时嵌入式系统的建模和生成工具
作者:
Bapty
;
T.
;
Neema
;
S.
;
Nordstrom
;
S.
;
Shetty
;
S.
;
Vashishtha
;
D.
;
Overdorf
;
J.
;
Sheldon
;
P.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
embedded systems;
high energy physics instrumentation computing;
formal specification;
software fault tolerance;
high energy physics experiments;
large-scale real-time embedded systems;
real-time computation;
on-line processing;
adaptive fault-mitigation;
38.
Formal specifications of computer-based systems
机译:
基于计算机的系统的正式规范
作者:
Sveda
;
M.
;
Rattray
;
C.
;
Rozenblit
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the》
|
2003年
关键词:
formal specification;
formal specifications;
computer-based systems;
意见反馈
回到顶部
回到首页