CAFEOBJ相关论文
该文针对离散事件系统的状态复杂性和同步并发等动态特性,从软件设计和规范证明的角度,提出一种基于代数规范的形式逻辑和面向对象......
我们通过借鉴硬件系统的成熟经验和技术——故障树分析法,在综合分析比较国内外相关领域最新研究成果的基础之上,就故障树分析法在......
模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法，并实现了工具验证。它以代数规约语言CafeOBJ描......
针对实际的MIS系统开发,提出了半形式化需求说明语言SFSL.利用半形式化需求说明语言SFSL,根据不同行业不同用户提出一种网上通用的......
