Search Results for "validate" - Page 9

This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

An easily extendable framework for coding data from a datasource (JDBC, file) to a file (XML is well supported), validate, compress, and transfer (using SFTP) it to a remote destination, all while letting the programmer concentrate on the actual problem.

strunts provides tools and helpers for building web applications with struts and eclipse. it allows to validate config files, jsp's, tiles definitions and java code of the struts application.

Jetrace is a Java Enterprise trace tool that J2EE developers and architects can use to discover erroneous execution flows in JSPs, Servlets, EJBs, JNDI calls, JDBC calls and sockets. It can be used to validate both code and design and to troubleshoot.

Generate javascript validation from an xml template; you can configure on xml your html forms, giving params (min / max length, etc) and creates an JavaScript code to put in your html to validate your forms. Its an easy way to write js validation.

XAlgo is a xml-language to freely describe algorithms. With this software you are able to validate and even translate those XAlgo-Documents into normal sourcecode (currently Java and C++).

The JSP Validation Filter was developed by the ICPC webteam at Baylor University. It is very non-intrusive in that you do not need to introduce new lines into your JSP files to validate forms.

This Perl module allows you to validate XML documents against a W3C XML Schema. This module does not implement the full W3C XML Schema recommendation, but a useful subset.

Signelf is a toolset written in c++ for signing elf binaries, specifically linux shared object, though in theory, any elf binary may be signed. It uses openssl's libcrypt to RSA sign the library, and the same to validate the signature.

The Spring-Validator package provides a simple way to auto-generate JavaScript client side validate code and provides a common validator for SimpleFormController

phpWhistleBlower is a framework to help php developers to write tests that validate their project codebases, helping to improve the developement process and overall code quality.

The Fault Injection Test Harness provides a uniform mechanism for writing reliable test case to validate a Linux device driver can gracefully handle software and hardware fault conditions.

TimpleSQL is a set of standalone procedures that helps the developer either quickly prepare values, or execute submission, for INSERT or UPDATE queries into a database. TimpleSQL can also Validate Submission Array Values relative to Table Columns.

ES:: Modules are a collection of Packages written in Perl. They give to the spanish user an interface to validate things like DNI, CIF, Postal Codes, Regions, etc.

ISValidator is a flexible routines to validate data in Java. It can be used to model, validate and process data in diferents scenarios, like CommandLine Arguments, Servlet parameters, Web Forms, Struts data, etc,...

This project aims to provide a core java library for performing data validation, together with an XML driven data transformation engine that allows (for example) the conversion and validation of a http input into an xml document or custom objects etc

A webbased XML development toolkit to edit, validate and preview XML files. This program gives you a structured view of the XML data. It has support for multiple XML formats: SVG, DocBook, XHTML and more. phpXIedit is written in PHP.

FIDe is a software-based fault injector designed to validate Fault-Tolerant mechanisms and techniques used by applications. It was first used to measure database recovery coverage and costs, but can be used to test and validate ordinary applications.

This project aims to create a set of tools to help distributors to build, port, test, validate and manage software packages. Existing tools are bm (the build manager) and dm (the dependency manager). The tools are written in Python.

XML Validator is a framework designed to provide developers with a simple, extensible and modular way to validate XML documents. The XML descriptor language, which is similar to XML-schema and against which an XML Document is validated, is now dynamic.

The Java Validation Library provides a set of classes to validate data. The rules for validation are configurable through XML.

An additional validation extension build on JSF to validate relationship of input values within a form

Own Form Validator is a JavaScript Form Validator. Validate-rules are based on input's html classes, so user doesn't need to know Javascript at all. Example: class="required validEmail" alerts when input is empty or there is invalid email address.

NaRP-i (for Not a Real Pseudo Interpreter) is a multiplatform interpreter. His goal is validate analysis of problems made in a pseudolanguage called NaRP. Narp and Narp-i are so interdependent that they should be regarded as a single project.

Experior doesn't care what language your test program is written in. All it cares about is that each test's output begins and ends with a simple line of JSON. Your test program can validate its own output, in which case Experior just acts as a report engine. Alternatively -- or additionally -- you can write validation functions in JavaScript, and Experior will run them against the test output. Finally, Experior can compare your current test output against a copy of previous test output and alert you to regressions.