代数规范相关论文
因私法制度中代数算法规范（代数规范）的缺陷,一些指导性案例未能给出判决的明确算法,私法制度中的代数算法黑箱导致了判决书中的算法......
本文对描述事件驱动系统的CASL扩展语言进行了研究。文章首先用代数规范语言CASL描述事件驱动系统的数据结构；其次以MSC和STATEMATE......
面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强......
