注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 高级软件工程 详细课件

  2. 第零讲： 课程介绍 第一讲： 软件与软件开发 第二讲： 软件典型架构 第三讲： 可信软件概述 第四讲： 可信性度量 第五讲： 需求与可信 第六讲： 设计可信性：模型检查 第七讲： 代码可信分析概述(1) 第八讲： 格与不动点 JPF 使用指南 第九讲： 基于抽象解释的数据流分析第十讲： 符号执行 定理证明：ESC/JAVA 第十一讲： 基于缺陷模式的分析 Findbugs 第十二讲： 系统软件可信性 第十三讲： 监测

  3. 所属分类：Java

    • 发布日期：2009-07-24
    • 文件大小：9437184
    • 提供者：angeldhp

  1. jpf_2.1_full.zip

  2. jpf_2.1_full.zip AJAX开发用到的工具

  3. 所属分类：Web开发

    • 发布日期：2009-10-13
    • 文件大小：3145728
    • 提供者：markwei1989

  1. JPG 转PDF工具

  2. 超好用的JPF转PDF工具，非常的使用，需要的请下

  3. 所属分类：其它

    • 发布日期：2010-10-25
    • 文件大小：229376
    • 提供者：martin8662

  1. 压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版]

  2. 压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版] 把压缩文件伪装在图片文件中把RAR文件伪装在JPG文件中，打开文件只是显示JPG图片，但把JPG文件扩展名改为RAR，就是一个压缩文件包。实现RAR文件伪装加密在JPG文件中。 解决不能用中文目录，测试伪装一个185M用了1秒跟计算机有关。

  3. 所属分类：网络基础

    • 发布日期：2010-12-09
    • 文件大小：15360
    • 提供者：xcntime

  1. JPF测试原理以及相关资料

  2. JPF测试原理以及相关资料!!!!喷血之作！！！

  3. 所属分类：其它

    • 发布日期：2011-12-07
    • 文件大小：2097152
    • 提供者：tank03

  1. JPF的Eclipse环境安装运行过程

  2. Java Pathfinder的Eclipse环境安装配置过程。如有不懂的地方请发e-mail咨询 nhebek@126.com

  3. 所属分类：软件测试

    • 发布日期：2013-05-10
    • 文件大小：32768
    • 提供者：nhebek

  1. Java Pathfinder(JPF)完全安装配置过程(2013年6月)

  2. Java PathFinder是一个可执行Java程序调试/检验系统。它的内核是一个Java虚拟机(JVM)，可用于系统地探测程序所有可能的执行路径，以避免死锁或无法处理的异常之类的情况发生。与传统的调试程序不同，Java PathFinder报告导致缺陷的整个执行路径。Java PathFinder特别适合在多线程的程序中发现很难测试的并发缺陷。 本文所介绍的Java Pathfinder安装配置过程，主要参考JPF官方网站，并以Windows操作系统、Eclipse开发平台为基础进行配置。

  3. 所属分类：Java

    • 发布日期：2013-06-04
    • 文件大小：61440
    • 提供者：qqwguoqing

  1. JPEGPDF转换器

  2. 一款小巧的JPEG到PDF转换器，同时也支持JP2, J2K, JPF, PNG, BMP, TIF, EMF and WMF文件的转换。

  3. 所属分类：管理软件

    • 发布日期：2014-12-10
    • 文件大小：83968
    • 提供者：ghostwang007

  1. oppenoffice 将word转jpf图片

  2. 解决如何将word、excel、ppt、html、txt转换成pdf

  3. 所属分类：Android

    • 发布日期：2014-12-11
    • 文件大小：2097152
    • 提供者：qq_24411895

  1. JPF(java pathfinder)配置过程

  2. 在eclipse 3.2.2 下 的JPF(java pathfinder)配置过程，附有图形表示。网上这方面东西很少，自己研究出来后拿出来与大家分享。

  3. 所属分类：Java

    • 发布日期：2007-04-29
    • 文件大小：830464
    • 提供者：superhero122

  1. JPF(java pathfinder)配置过程

  2. 在eclipse 3.2.2 下 的JPF(java pathfinder)配置过程，附有图形表示。网上这方面东西很少，自己研究出来后拿出来与大家分享。

  3. 所属分类：Java

    • 发布日期：2007-04-29
    • 文件大小：830464
    • 提供者：superhero122

  1. 学习C＋＋的五十条忠告

  2. 这是一个老软件人的忠告，希望能有帮助

  3. 所属分类：C

    • 发布日期：2007-04-29
    • 文件大小：26624
    • 提供者：Rid_w

  1. Java PathFinder-jpf-core

  2. 一个基于符号执行的Java执行模型路径查找器

  3. 所属分类：Java

    • 发布日期：2016-05-14
    • 文件大小：8388608
    • 提供者：qq_24451605

  1. JPF 安装文档

  2. java pathfinder version 4 install

  3. 所属分类：Java

    • 发布日期：2007-05-22
    • 文件大小：44032
    • 提供者：adamliu84

  1. 操作系统进程调度算法模拟

  2. 该程序采用C语言编写，主要用于模拟操作系统对进程的调度算法、其中采用了三种算法 FCFS、JPF、时间片轮转 JPF采用抢占，望浏览程序的读者注意...同时，程序初始化工作中文件中读取，但是依次输入的进程到达时刻需按一定的递增顺序，因为程序并没有对进程进行相应的按到达时刻排序...

  3. 所属分类：网络攻防

    • 发布日期：2008-12-28
    • 文件大小：218112
    • 提供者：taiyangads1

  1. 学习Worshop的常见问题以及精华文章推荐

  2. DEV2DEV Workshop板块帖子整理 总结人：李巍 (dev2dev ID:Hilaser)

  3. 所属分类：Web开发

    • 发布日期：2009-03-13
    • 文件大小：95232
    • 提供者：woohooli

  1. java 学生管理系统界面

  2. package asc; import java.awt.*; import javax.swing.*; public class cs extends JFrame{ //定义组件 JPanel jp1,jp2,jp3;//面板 JLabel jlb1,jlb2;//标签 JButton jb1,jb2;//按钮 JTextField jtf;//文本 JPasswordField jpf;//密码 public static void main(String[] args) { cs w

  3. 所属分类：Java

    • 发布日期：2018-03-08
    • 文件大小：2048
    • 提供者：lijun980811

  1. ATV610快速起动指南.pdf

  2. 施耐德ATV610变频器快速起动指南，施耐德官方技术文档o文本显示终端和灯:描述 灯 灯指示的含义,参照下表 退出键 用来退出菜单、参数或者取消当前的修改值 触摸滚轮 确认键用来存储当前值或者进入当前选择的菜单、参数。 确认 触摸滚轮用来滚动快速进入菜单 ∧∨方向键上下键用来精确的选择,左右键用来选择数字值或者参数的精确位 停止复位键 停止命令或者故障复位 直接回到菜单主页面 Schneid. 运行键 执行运行命令 灯颜色 灯状态变频器状态 缓慢闪烁 准备运行 快速闪烁 变频器加速或减速中 常亮

  3. 所属分类：制造

    • 发布日期：2019-10-14
    • 文件大小：1048576
    • 提供者：cwh129

  1. 安装jpf-core.zip

  2. 解决jpf官网需要用户名密码，无法下载的问题。下载此文件，解压，按说明里的步骤在eclipse中 使用。

  3. 所属分类：互联网

    • 发布日期：2020-06-04
    • 文件大小：9437184
    • 提供者：weixin_43952331

  1. symbc_z3_fp_mnwe：使用z3（任何版本）fp（浮点算术验证）的jpf-symbc的最小非工作示例-源码

  2. 启动/包含启动配置 JPF项目文件夹应位于../jpf-core、../jpf-symbc hamcrest-core和junit-4.12罐子应该放在lib /

  3. 所属分类：其它

    • 发布日期：2021-02-19
    • 文件大小：6144
    • 提供者：weixin_42141437
« 12 »