AccuRev is a fast, powerful, and easy-to-use Software Configuration Management (SCM) tool with integrated issue tracking based on "Streams" that more efficiently manages complex parallel and global development. Streams are a combination and superset of branches and labels that are first class objects instead of being file-by-file attributes. AccuRev records all merges and patches, so you never have to re-merge the same code. It supports file and directory renaming and merging, follows a client/server model, and is transaction-based. It includes an integrated graphical 3-way diff and merge tool. AccuRev provides an Open API (and SDK) to integrate with any third-party development tool (IBM/Rational ClearQuest, Serena TeamTrack, and more out of the box). It also integrates with Eclipse, the MS SCC API (MS Visual Studio), Sun Java Studio, any diff/merge tool with a command line interface, and more.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
LANforge is a unified multi-protocol network traffic generation and WAN emulation application. It allows users to generate real world customer traffic in a controllable manner. The WAN emulator allows the injection of latency and other network oddities like dropped, duplicated, and re-ordered packets. LANforge includes a drag-and-drop virtual network builder that supports virtual routers, WAN links, traffic-generating nodes, and more. It provides a scriptable command line interface with Perl libraries as well as a graphical user interface.
The objective of the NIST Web Metrics Testbed is to explore the feasibility of a range of tools and techniques that support rapid, remote, and automated testing and evaluation of website usability. There are currently six components: 1. Web Static Analyzer Tool (WebSAT): checks web page HTML against typical usability guidelines. 2. Web Category Analysis Tool (WebCAT): lets the usability engineer construct and conduct a web category analysis (card-sorting). 3. Web Variable Instrumenter Program (WebVIP): instruments a website to capture a log of user interaction. 4. Framework for Logging Usability Data (FLUD): a file format and parser for representation of user interaction logs (such as those captured by WebVIP). 5. VisVIP Tool: produces a 3D visualization of user navigation paths through a website, based on FLUD data. 6. TreeDec: adds navigation aids to the pages of a website.
TestTrack Pro is a powerful defect tracking/bug tracking application. The application's server component runs on Linux servers and can be accessed by both Web and Windows clients. A full-featured defect management solution, TestTrack Pro includes multiple security configurations, integrated email notification, email importation, XML support, and much more. It easily scales from a single user to hundreds.
Kelly is a JBuilder 4 & 5 plugin that makes it easy to deploy EJBs to JOnAS 2.x. Kelly can be installed and run with other JBuilder 4 & 5 plugins such as BEA WebLogicServer 5.1, BEA WLS 6, IBM WebSphere 3.5, Borland AS 4.5, etc. Kelly provides services to Jbuilder 4 & 5 java developers such as the ability to create any XML deployment files required by JOnAS 2.x, hot loading and unloading of any EJBs to JOnAS (only for JBuilder 5), control of JOnAS start-up from JBuilder 4 & 5, and the supply of JOnAS word dictionaries to JBuilder 4 & 5 in order to enhance the JBuilder 4 & 5 text completion services.
UPPAAL is an integrated tool environment for modeling, validation, and verification of real time systems, modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). Typical application areas include real time controllers and communication protocols, in particular those where timing aspects are critical.