Z规约相关论文
随着下一代网络技术的逐步推进,Web服务技术的深化,网络摄像机的智能化发展,网络技术、多媒体技术、异构平台的软件支撑技术日益成......
提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设......
