RT—Z相关论文
将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如Timed CCS,Timed CSP相结合大大拓展了其在实时并发系统的中......
实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,......
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一......
