首页 »标签 » pathfinder » 列表
Java PathFinder 是 NASA 项目结果它主要是在 NASA 软件Software模型研究中心开发现在仍然在使用Java PathFinder 项目是个软件Software模型检查可行性研究开始于 1999 年从那时起它便开始了通往学术研究和工业的路它甚至在实际太空船缺陷检测中也发挥过作用 Java PathFinder 是个用来验证可执行 Java code 系统它基本形式是用作显式声明软件Software模型检查 Java 虚拟机 (JVM)从系统上探测所有可能执行路径以避免死锁或未处理异常的类情况发生和传统调试区别Java Pat [阅读全文] [PDF]
1 共1条 分1页
- mysql升级:快速升级MySQL系统表
- access97:ACCESS97有关数据库安全的几个问题
- oracletns:Oracle的TNS-12502 错误原因及解决
- oracle开发工具:Oracle 发布免费开发工具 Raptor
- oracle数据库:Oracle Spatial时态空间数据库设计
- javascript不可运行:不唐突的JavaScript的 7条准则
- php5安装:基于 PHP5 面向对象特性的 PECL 扩展 Perl 和 PDO 编程
- 系统还原:妙用系统还原 全面挽救崩溃XP系统
- flexsdk:使用 Flex SDK 实现一个 Facebook 相册
- silverlight:[Silverlight] 有关线程调用的扩展思路方法
- silverlight播放器:Silverlight专题(15) - 你自己的视频播放器的自定义MoveToPointSlider
- silverlight:Silverlight专题(14) - 基于Silverlight的Live Search图片搜索
- actionscript3.0:ActionScript 3.0 Step By Step系列文章
- actionscript3.0:ActionScript 3.0 Step By Step系列(一):工欲其善 先利其器(Flex Builder)
- actionscript3.0:ActionScript 3.0 Step By Step系列( 2):建立扎实的ActionScript 3.0语法基础
- actionscript:ActionScript 3.0 Step By Step系列( 3):学学流程控制 编编if-else & switch & while & for
- actionscript3.0:ActionScript 3.0 Step By Step系列( 4):来自面向对象开发的前的呐喊: 学会写可重用的代码
- actionscript3.0:ActionScript 3.0 Step By Step系列( 5):走在面向对象开发的路上 以类为基础去研究编程问题
- actionscript3.0:ActionScript 3.0 Step By Step系列( 6):学对象事件模型 从点击按扭开始
- actionscript3.0:ActionScript 3.0 Step By Step系列( 7):使用XML和XMLList类处理XML数据
