Software - Practice and Experience（SPE ）的ISSUE 467论文列表

卷期号： 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.