CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 会员管理中心 查看会员资料

查看会员资料

用 户 名:沈***

发送消息
  • Email:
    用户隐藏
  • Icq/MSN:
  • 电话号码:
  • Homepage:
  • 会员简介:

最新会员发布资源

  1. chengxushejishiyan4

    0下载量:
  2. 一、实验题目: 实验4 程序的形式化推导 二、实验内容: (1) 根据给定的问题,建立前置谓词和后置谓词。 (2) 根据条件语句的推导策略,建立程序中的条件语句。 (3) 构造循环不变式,确立界函数。 (4) 根据循环语句的推导策略,建立程序中的循环语句。 (5) 面向目标,退到出所要的程序。 三、实验目的 根据条件语句的推导策略和循环语句的推导策略,基于最弱前置条件的概念,用比较形式化的方法,从设计要求达到的目标一步步推导出程序。 四、实验要求: 运用
  3. 所属分类:software engineering

    • 发布日期:2017-04-15
    • 文件大小:8144
搜珍网 www.dssz.com