随着XML技术的迅速发展和广泛应用,XML技术本身暴露出越来越多的问题:大多数XML规范还处于工作草案阶段;规范之间存在严重的依赖关......

Formal methods offer the promise of significant improvement on quality and reliability of critical embedded software. B-......