Search Results for "sif validation tool" - Page 6

REQ Modeler는 공개용 UML을 지원하는 모델링 툴입니다. 2012년 10월 4일 REQ Modeler 0.7 입니다. 이 프로그램은 SW 요구 및 검증공학 기술 연구 센터(Requirement and Validation engineering Technology: ReVeT)에서 지원합니다. <Features> Use Case Diagram - Actor / Use Case - Association / Direct Association - Generalization - Dependency - Include / Exclude Class Diagram - Class / Interface - Association / Direct Association - Aggregation / Composition - Generalization - Dependency - Realization Sequence Diagram - Object...

Anagram - is a process of arranging letters in a word to form a new meaningful word. Anagram Generator is a tool which is used to generate all possible meaningful combination of the words from a given input word. This anagram generator is designed using Hypertext Markup Language(HTML) and Cascading Style Sheets(CSS). The Front end validation part is done using JQuery and the programming logics are written using PHP. The backend database is MySql. This application produces the combination...

mod_schema is an Apache module which allows instance XML document validations with the W3C schema language. The validation is based on Xerces C++ library and the module enables a Web tool for multi schema validations.

VoIP Hopper is a security validation tool that tests to see if a PC can mimic the behavior of an IP Phone. It rapidly automates a VLAN Hop into the Voice VLAN.

... 2.0. It consists of: - ChecksumValidation: a class library (DLL) for in-process use - ChecksumSoapServer: a SOAP interface - ChecksumTcpServer: a TCP interface implementing a domain-specific language (DSL) for validation - ChecksumComServer: a COM interface - ChecksumClient: a test utility - ChecksumUnitTest: a 100% covering NUnit test - ChecksumUtility: a command-line tool for helper functions

phpFormGenerator is a tool for creating reliable, efficient, and aesthetically pleasing web forms in a snap. It generates the HTML code, the form processor code (PHP), and the validation code automatically via an easy, point-and-click interface.

RegexRenamer is a powerful user-friendly graphical tool used to batch rename files using regular expressions. Features realtime preview, filtering, case-changing, numbering, expression validation, network support, folder renaming, help w/ regex tutor

This tool allows to generate a graphical representation of an EMF model (using GraphViz utility http://www.graphviz.org/). It may be considered as a lightweight readonly GMF alternative.

VNC for use with the BrowserMob Selenium JavaScript Validator. This tool is made available for users of BrowserMob FREE Website Monitoring and Load Testing. The BrowserMob Local Validation Service can be downloaded from https://browsermob.com/tools.

Comparison and validation tool for proofing processes in the graphic arts industry

The project have been moved, please see the latest versions here http://techlaboratory.net/smartcart Smart Cart 2 is a flexible and feature rich jQuery plug-in for shopping cart. It makes the add-to-cart section of online shopping much easy and user friendly.

MessageSleuth is designed to be a network administrator or system's integrator tool kit for troubleshooting SIF connections and messages. The kit can also be use as a test bed for application agents and ZIS developers.

WSFuzzer is a fuzzing penetration testing tool used against HTTP SOAP based web services. It tests numerous aspects (input validation, XML Parser, etc) of the SOAP target. It is only to be used against targets that have granted permission to be teste

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

JSP tag library for the YAV javascript validation tool. It provides automatic client-side and server-side validation by using simple validation tags.

An input method, bases on Latinization of Chinese character. The introduced suffix begins with Capitalized letter, may consists one or two letters, and is abbreviation of its meaning

A Java tool to convert GEDCOM 5.5 Files into real valid GEDCOM 6.0 Files. Unlike all the stuff you find on the web, this is no custom, experimental or intermediate "standard". We validate against the DTD released in the Draft from the LDS Church! T

CLI tools to find the inverse and determinant of a 3x3 matrix, and to multiply two 3x3 matrices together. The inverse tool has the determinant tool. Note that there is no input validation. I/O are float values. Prebuilt binaries are *nix.

ASP Classic Class Creator generates ASP Classic Class Objects automatically from any Database table that your script can able to detect. Object Oriented Programming in ASP Classic makes this PL a powerful tool. http://aspclasscreator.hiligko.com

Manages Java application/tool options. Options are mapped to Java Bean properties using annotations. Options can be loaded from command line arg String[] array, an XML file, or a java properties file. Help texts can be generated.

You do DJing or have loads of electronic music? Did you ever wish to have a release database WITH the record label's name & labelcode? Then this is just your tool! Folders are scanned for .nfo files, relavant fields are extracted & stored,see screenshot

a validation and simulation tool for WS-CDL

DBToolbox is tool which: extract database model from JDBC connection, check database model against validation rules, generate database model document and validation report.

UI Test Automation Tool for Internet Explorer, using XML as scripting language. Uses the browser to record and generate user interaction/events, supports validation and custom hooks/plug-ins.

GEECoP (Graphical Editor and Engine for Constrained Processes) is a tool to graphically design control-flow graphs and their associated constraints. It supports creation of Concurrent Transaction Logic formulas and validation of constrained processes.