Serene 0.6.1发布 源码验证工具

Serene 是一款创建开放源码的验证工具,能够在JAXP 1.3的验证框架API集中RELAX NG 演算法提供好的信息,并且对有歧义和冲突的处理明确执行。

Serene 0.6.1该版本已广泛的审查和重构,以提高性能。修复了一些错误,消息已轻微改动,已新增一个功能。

软件信息:http://code.google.com/p/serene/

下载地址:http://code.google.com/p/serene/downloads/detail?name=serene.0.6.1.zip&can=2&q=

时间: 2024-10-04 13:02:37

Serene 0.6.1发布 源码验证工具的相关文章

MSR Tools 0.3.0发布 源码分析工具框架

MSR Tools 0.3.0该版本忽略路径,一个活动的统计页面,更多的发布统计,更多的路径选择器,文件映射,截断的映射命令,一个责任统计命令,一些分布在可视化,可视化插值回归,在配置模式中有许多变化,及其它的一些小幅修正. MSR Tools是源码分析工具的演变,是一个度量计算器.统计生成器以及软件库挖掘框架. 主要特性: * 编程语言无关 * 可从 SubVersion.Git 导入数据 * 可扩展的统计生成器 * 可扩展的可视化工具 * 可通过 SQL 和 内部 DSL 查询代码历史记录

Tmake v2.13-beta1发布 源码构建工具

TMake 是一个源码构建工具,支持多种编程语言,该软件主要目的是简化项目的创建和构建.主要功能包括 C++/C++ 依赖检查.跨平台编译,支持 C\C++\C#\Java 语言. tmake is an easy-to-use tool to create and maintain makefiles and IDE project files for software projects. It can be a painful task to manage makefiles manuall

CYQ.Data 数据框架 V4.0 开源版本发布(源码提供下载,秋色园V2.5版本标配框架)

说明的说明:   博客园团队两次移此文出首页,说 这篇文章不属于知识分享型文章,并且有广告嫌疑. 本文的确属于分享型文章,而且分享的知识点比其它文章都多很多,看看网友回复"谢谢分享"就知道是分享型文章了.   所谓广告嫌疑,这东西一被扣上,就很难说的清. 本框架从2007年就始发布在博客园,一直更新维护到现在,其中是有过渡到最新版本是收费,但是仍保留开放很多版本的开源的. 但目前发布的,都是开源的免费版本,再说,涉及到收费就是广告?ext也有收费版本,出现ext相关文章你咋不说是广告?

The Parma Polyhedra Library 0.12.1发布 系统分析和验证工具

The Parma Polyhedra Library(简称PPL)是一款提供了复杂系统的分析和验证领域的应用,尤其是有针对性的数值抽象.它采用C++++编写,特点是具有友好用户界面.完全动态.安全.高效. The Parma Polyhedra Library http://www.aliyun.com/zixun/aggregation/37104.html">0.12.1该版本进行了便携性的改进,几个新的次要功能,一些界面的变化,一个重要的错误修正. 软件信息:The Parma P

Serene 0.5.3发布 验证工具

Serene是一款创建开放源码的验证工具,能够在JAXP 1.3的验证框架API集中RELAX NG 演算法提供好的信息,并且对有歧义和冲突的处理明确执行. Serene 0.5.3版本已经过RELAX NG 测试套件.修复了一些错误和明显改善了一些冲突点. 下载地址: http://code.google.com/p/serene/downloads/detail?http://www.aliyun.com/zixun/aggregation/11696.html">name=seren

求《XNA4.0学习指南》源码

问题描述 求<XNA4.0学习指南>源码,论坛里搜的下不来.希望哪位好人给个能下的,或者发到小弟邮箱!不胜感激涕零!1065903439@qq.com 解决方案

tmake 2.13-beta1发布 一个源码构建工具

TMake 是一个源码构建工具,支持多种编程语言,该软件主要目的是简化项目的创建和构建.主要功能包括 C++/C++ 依赖检查.跨平台编译,支持 C\C++\C#\Java 语言.该版本改进众多,包括完全重新了核心,使用新的文件格式,强烈建议升级.目前该版本还只支持 Linux,其他系统的支持工作正在进行中. tmake is an easy-to-use tool to create and maintain makefiles and IDE project files for softwa

《Android的设计与实现:卷I》——第1章 1.5Android源码开发工具的配置和使用

1.5 Android源码开发工具的配置和使用 Android源码开发需要安装配置Android SDK.Eclipse +ADT插件以及Source Insight工具,Android SDK中提供了大量的命令行工具供开发者操作设备和调试源代码:Eclipse+ADT插件用于开发和调试应用层以及应用框架层Java部分代码:Source Insight是阅读Android全部源代码的必备工具,但不具备调试功能.本节将分别介绍这三种工具的安装和使用. 1.5.1 配置Android SDK 步骤1

.NET源码混淆工具对比及下载

原文http://www.cnblogs.com/PHPIDE/archive/2013/04/17/3026356.html .NET开发人员都知道,.NET的优点是比较多的,如:标准集成,简化应用,对移动设备的支持等,它是一个巨大的跨时代进步.但.NET程序有个 致命的缺点:易被反编译.试想一个团队花了几个月甚至几年时间辛苦开发的劳动成果被轻易破解,那将情何以堪?因此,为了保护软件安全,进行源码混淆,加壳和授权控制是行之有效的安全策略,而使用最多的保护手段就是使用代码混淆器.本人简单对比了常