Search Results for "computer simulation software"

Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc. Upgrade path also available at https://sourceforge.net/projects/nimble

TOM is a tool for designing, planning, executing and analyzing software tests.

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

Crow is a ASPICE PAM-compliant requirements management and control tool with a special focus on maintaining the bilateral traceability between artifacts (CRS, TRS, architecture, design, code and tests) and tracing the impact of software change requests.

This is a handy utility which monitors the status of Hudson or Jenkins (a Continuous Integration tool). It reads the RSS feeds, and sits in your system tray. Checkout http://hudsontracker.sourceforge.net/index.html for more info and screenshots.

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

Xuse manages requirements, use cases & other artefacts that drive software design. Xuse focuses on clear documentation & communication. It defines an XML data model for requirements & use cases with XSLT providing multiple derived views: HTML/SVG/PDF. Note there is no GUI for entering requirements, however another project (https://sourceforge.net/projects/xguse/) will provide a GUI.

Extending Alloy with Dynamic Behaviour

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

Codestriker is a web application supporting online code reviewing, typically diffs generated by a Source Code Management system or plain unidiff patches. There are integration points with CVS, Subversion, Clearcase, Perforce and Visual SourceSafe.

AFMS is an Artefact Management System to manage some of the artefacts appearing in the development process of a product. Artefacts are for example requirements, use cases or test cases. AFMS contains an artefact editor and a test execution tool.

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.

Highly customizable CASE-Tool for static code analysis based on software metrics with additional support for easy interpretation and Agile Development (evolutionary design).

MergeRight is a graphical tool for comparing and merging multiple versions or revisions of a text or source file, with or without a specified common ancestor, with recommendations for passages in conflict, easy inclusion and exclusion, and live editing.

Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.

JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.

Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.

LogiDist offer a solution of "Computer Aided Logistic" with mostly informative purposes on executed pickups/delivery of merchandise. Is able to manage the whole process of purchase, order management, merchandise delivery to reduce distribution costs.

Buildap is a Visual Component Based Development framework. It is available as standalone tool as well as Netbeans and Eclipse plugins. SVG viewer/editor and Diagram Editor are also available. See Buildap powered project at http://e-records.buildap.com/.

A CASE (Computer-Aided Software Engineering) web-based tool that support organisation in achieving formal peer review. IEEE 1028-1997 (Standard for Software Reviews) compatible, this tool provides easy peer review process configuration and execution.

The goal of this project is the "continuous quality assurance of implemented architecture models". For more information visit our web site: http://jmd.sf.net

Genesis is a software engineer integrated tool that provides many ways to manage all artifacts related to a software development process. Includes requirements management functionalities, and a complete environment to execute tests.