WHITE PAPER -
This white paper discusses how static source code analysis can be used to find critical defects and security vulnerabilities in C/C++ and Java source code.
Posted: March 5, 2008 | Published: March 3, 2008
WHITE PAPER -
This paper will review the most common pitfalls that software developers face when creating multi-threaded applications. Discover how static analysis techniques can be used to eliminate concurrency defects earlier in the lifecycle.
Posted: March 5, 2008 | Published: March 3, 2008
WHITE PAPER -
This white paper will provide a brief overview of the history of static analysis and explain how the use of SAT in static analysis is enabling developers to improve the quality and security of their code.
Posted: March 5, 2008 | Published: March 3, 2008
WHITE PAPER -
This white paper highlights the benefits associated with a comprehensive scorecard development platform. Learn how to create highly predictive scorecards without sacrificing operational constraints.
Posted: March 4, 2008 | Published: March 4, 2008
TRIAL SOFTWARE -
This IT download offers products which ensure Java code quality, providing powerful software tools for code audit, metrics, automated test case generation, code coverage analysis, dependency analysis and team collaboration.
Posted: September 4, 2007 | Published: August 27, 2007
WHITE PAPER -
BPM projects often fail as managers are unable to create a business case and gain the funding necessary to launch the project. Read this white paper to discover a repeatable framework for developing a business case justification of BPM projects.
Posted: July 10, 2007 | Published: July 1, 2007
WHITE PAPER -
The demand for BPM suites has grown as coordinating the different processes of applications has become increasingly challenging. This white paper describes the five best practices necessary for selecting the most appropriate BPM suite.
Posted: July 10, 2007 | Published: July 1, 2007
PRODUCT OVERVIEW - Miss Univers is a complete HW/SW co-verification tool for multi-processor SOC architectures, offering extensive debug capabilities, fast simulation and emulation support. Posted: February 10, 2004 | Published: January 1, 2004
PRODUCT OVERVIEW - Mrs Univers is the stand-alone Marvelous RTL Simulator of AdvEDA’s Unified Verification Solutions, which is also part of Miss Univers. Posted: February 10, 2004 | Published: January 1, 2004
BROCHURE -
SOCET SET is a precision mapping software that enables mapmakers and photogrammetrists to geo-position images with an unparalleled degree of accuracy.
Posted: November 18, 2003 | Published: April 1, 2003
SEE: 
WHITE PAPER -
This white paper discusses how static source code analysis can be used to find critical defects and security vulnerabilities in C/C++ and Java source code.
TRIAL SOFTWARE -
This IT download offers products which ensure Java code quality, providing powerful software tools for code audit, metrics, automated test case generation, code coverage analysis, dependency analysis and team collaboration.
