Software - Practice and Experience （SPE） - Issue 467 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 467 |
| 发布时间： |
| 卷期年份： 2011 |
| 卷期官网： |
本期论文列表
Integrated implementation of dynamic untyped object-based operator overloading.
Experience with fault injection experiments for FMEA.
Advantages of online spellchecking: a Croatian example.
DOLAR: virtualizing heterogeneous information spaces to support their expansion.
Using meta-modeling in design and implementation of component-based systems: the SOFA case study.
Isolating bugs in multithreaded programs using execution suppression.
An approach to optimization of fault tolerant architectures using HiP-HOPS.
A practical use of model checking for synthesis: generating a dam controller for flood management.
A group-oriented secure multiagent platform.