CafeOBJ相关论文
模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法，并实现了工具验证。它以代数规约语言CafeOBJ描......
针对实际的MIS系统开发,提出了半形式化需求说明语言SFSL.利用半形式化需求说明语言SFSL,根据不同行业不同用户提出一种网上通用的......
