The Truth is in the Details™

Semantic Designs

Automated Large-Scale Software System Analysis, Modification, Translation and Generation™

Pricing and Purchasing

If you don't see what you want on this page, have custom needs or want quantity discounts, please contact us:

How To Buy: Terms, Order Forms, Shipping, and Support

Services

Click here to access information about Services.

Product/OS Compatibility

• Windows: Our products presently are available on Windows XP/2003/Vista/7, 32 or 64 bits.
• Linux/Wine: Apparantly compatible with Wine (Redhat, Unbuntu, OSX) but we make no gaurantees.
• Java: Those products with GUIs generally require Java runtime support.

Products

• Product Bundles and Suites
• CheckPointer (Memory Safety)
• Clone Detection (CloneDR)
• DMS Software Reengineering Toolkit
• Code Metrics
• Execution Profiling Tools
• PARLANSE parallel programming language
• Smart Differencers
• Source Code Browsers
• Source Code Formatters
• Source Code Obfuscators (Thicket™)
• Test Coverage Tools

Custom languages/environments via short-term consulting.

Product Bundles and Suites

Product Bundles provide similar functions in multiple languages. Product Suites provide multiple related tools for a specific language. Both include software assurance at significant discounts.

Product Bundles and Suites

Source Code Formatters

Product	Buy	Buy with Software Assurance
Ada83/95 Formatter	$250.00	$325.00
C (ANSI) Formatter	$50.00	$65.00
C (GNU) Formatter	$50.00	$65.00
C (Visual6) Formatter	$50.00	$65.00
C++ (ANSI) Formatter	$50.00	$65.00
C++ (GNU) Formatter	$50.00	$65.00
C++ (Visual6) Formatter	$50.00	$65.00
C++ (Visual Studio 2005) Formatter	$50.00	$65.00
C# (1.2) Formatter	$50.00	$65.00
C# (2.0) Formatter	$50.00	$65.00
C# (4.0) Formatter	$50.00	$65.00
COBOL (COBOL85/IBM VS COBOL II) Formatter:	sales@semanticdesigns.com
COBOL (IBM Enterprise) Formatter:	sales@semanticdesigns.com
ECMAScript (JavaScript) (MicrosoftNetscape) Formatter	$50.00	$65.00
Java (1.4) Formatter	$50.00	$65.00
Java (1.5) Formatter	$50.00	$65.00
Java (1.6) Formatter	$50.00	$65.00
Pascal (ISO 7185) Formatter	$50.00
PHP5 Formatter	$50.00	$65.00
PL/SQL Formatter	$100.00	$130.00
SystemC (GCC3) Formatter	$250.00	$325.00
SystemVerilog (3p1a) Formatter	$250.00	$325.00
VBScript Formatter	$100.00	$130.00
Verilog (IEEE1364_2001) Formatter	$250.00	$325.00
VHDL Formatter	$250.00	$325.00
XML Formatter	$50.00

Source Code Browsers

Product	Buy	Buy with Software Assurance
COBOL Source File Browser	sales@semanticdesigns.com
Java Source Code Browser	$250.00	$325.00

Thicket™ Family of Obfuscators

Product	Buy	Buy with Software Assurance
Ada Formatter with Obfuscation capability	$1,000.00	$1,300.00
C (ANSI) Formatter with Obfuscation capability	$500.00	$650.00
C (GNU) Formatter with Obfuscation capability	$500.00	$650.00
C (Visual6) Formatter with Obfuscation capability	$500.00	$650.00
C++ (ANSI) Formatter with Obfuscation capability	$750.00	$975.00
C++ (GNU) Formatter with Obfuscation capability	$750.00	$975.00
C++ (Visual6) Formatter with Obfuscation capability	$750.00	$975.00
C++ (Visual Studio 2005)* Formatter with Obfuscation capability	$750.00	$975.00
C# (1.2) Formatter with Obfuscation capability	$200.00	$260.00
C# (2.0) Formatter with Obfuscation capability	$200.00	$260.00
C# (4.0) Formatter with Obfuscation capability	$200.00	$260.00
ECMAScript (JavaScript) (MicrosoftNetscape) Formatter with Obfuscation capability	$250.00	$325.00
Java (1.4) Formatter with Obfuscation capability	$200.00	$260.00
Java (1.5) Formatter with Obfuscation capability	$200.00	$260.00
Java (1.6) Formatter with Obfuscation capability	$200.00	$260.00
PHP (PHP4) Formatter with Obfuscator capability	$200.00	$260.00
PHP (PHP5) Formatter with Obfuscator capability	$200.00	$260.00
PL/SQL Formatter with Obfuscator capability	$500.00	$650.00
SystemC (GCC3) Formatter with Obfuscator capability	$1,500.00	$1,950.00
SystemVerilog (3p1a) Formatter with Obfuscator capability	$2,000.00	$2,600.00
VB6 Formatter with Obfuscator capability	$250.00	$325.00
VBScript Formatter with Obfuscator capability	$250.00	$325.00
VBdotNet Formatter with Obfuscator capability	$250.00	$325.00
Verilog (IEEE1364_2001) Formatter with Obfuscator capability	$1,500.00	$1,950.00
VHDL Formatter with Obfuscator capability	$1,500.00	$1,950.00

Metrics Tools

Product	Buy	Buy with Software Assurance
C# (3.0) Metrics Tool	$250.00	$325.00
C# (4.0) Metrics Tool	$250.00	$325.00
Java (1.4) Metrics Tool	$250.00	$325.00
Java (1.5) Metrics Tool	$250.00	$325.00
VB Script Metrics Tool	$250.00	$325.00
Logix5000 Metrics Tool	$500.00	$650.00

CheckPointer (Memory Safety)

Product	Buy	Buy with Software Assurance
C (VisualC6) CheckPointer: codebase up to 100K lines	$500.00	$650.00
C (GCC 4) CheckPointer: codebase up to 100K lines	$500.00	$650.00
C (GreenHills) CheckPointer: codebase up to 100K lines	$500.00	$650.00
Codebase larger than 100K lines	sales@semanticdesigns.com

Clone Detection (CloneDR)

Product	Buy	Buy with Software Assurance
CloneDR: Codebase up to 100K lines C,C#,C++,PHP,Java,ECMAScript,VB	$500.00	$650.00
Codebase larger than 100K lines or other langauges	sales@semanticdesigns.com

Test Coverage Tools

Product	Buy	Buy with Software Assurance
C (ANSI) Test Coverage Tool	$200.00	$260.00
C (GNU) Test Coverage Tool	$200.00	$260.00
C (Visual6) Test Coverage Tool	$200.00	$260.00
C++ (ANSI) Test Coverage Tool	$250.00	$325.00
C++ (GNU) Test Coverage Tool	$250.00	$325.00
C++ (Visual6) Test Coverage Tool	$250.00	$325.00
C++ (Visual Studio 2005)* Test Coverage Tool	$250.00	$325.00
C# (3.0) Test Coverage Tool	$250.00	$325.00
C# (4.0) Test Coverage Tool	$250.00	$325.00
COBOL (COBOL85/ IBM VS COBOL II) Test Coverage Tool	sales@semanticdesigns.com
Java (1.4) Test Coverage Tool	$200.00	$260.00
Java (1.5) Test Coverage Tool	$200.00	$260.00
Java (1.6) Test Coverage Tool	$200.00	$260.00
PHP5 Test Coverage Tool	$250.00	$325.00
PLSQL Test Coverage Tool	$500.00	$650.00

Smart Differencer Tools

Product	Buy	Buy with Software Assurance
C (ANSI) Smart Differencer Tool	$200.00	$260.00
C (GCC3) Smart Differencer Tool	$200.00	$260.00
C (Visual6) Smart Differencer Tool	$200.00	$260.00
C++ (ANSI) Smart Differencer Tool	$250.00	$325.00
C++ (GCC3) Smart Differencer Tool	$250.00	$325.00
C++ (Visual6) Smart Differencer Tool	$250.00	$325.00
C++ (Visual Studio 2005)* Smart Differencer Tool	$250.00	$325.00
C# (3.0) Smart Differencer Tool	$250.00	$325.00
C# (4.0) Smart Differencer Tool	$250.00	$325.00
COBOL (IBMEnterprise) Smart DifferencerTool	$2,500.00	$3,250.00
Java (1.4) Smart Differencer Tool	$200.00	$260.00
Java (1.5) Smart Differencer Tool	$200.00	$260.00
Java (1.6) Smart Differencer Tool	$200.00	$260.00
PHP5 Smart Differencer Tool	$250.00	$325.00

Execution Profiling Tools

Product	Buy	Buy with Software Assurance
C (ANSI) Profiler Tool	$400.00	$520.00
C (GNU) Profiler Tool	$400.00	$520.00
C (Visual6) Profiler Tool	$400.00	$520.00
C++ (ANSI) Profiler Tool	$500.00	$650.00
C++ (GNU) Profiler Tool	$500.00	$650.00
C++ (Visual6) Profiler Tool	$500.00	$650.00
C++ (Visual Studio 2005)* Profiler Tool	$500.00	$650.00
C# (1.2) Profiler Tool	$400.00	$520.00
C# (2.0) Profiler Tool	$400.00	$520.00
C# (3.0) Profiler Tool	$400.00	$520.00
C# (4.0) Profiler Tool	$400.00	$520.00
COBOL (COBOL85/ IBM VS COBOL II) Profiler Tool	sales@semanticdesigns.com
Java (1.4) Frequency Profiler Tool	$400.00	$520.00
Java (1.5) Frequency Profiler Tool	$400.00	$520.00
Java (1.6) Timing Profiler Tool	$400.00	$520.00
PHP5 Profiler Tool	$500.00	$650.00

^*Includes both C++/CLI and Managed C++ Extensions

The DMS Software Reengineering Toolkit

Licensed per development seat. Costs vary with language modules chosen. Volume discounts available even for a small number of seats. Royalty licensing with significant discounts can enable a DMS-based tool to be redistributed. Large discount for non-commericial research groups such as Universities. Puchase order required. Request quote from sales@semdesigns.com. Be sure to specify which language modules are desired.

PARLANSE (A PARallel LANguage for Symbolic Expression)

Licensed per development seat. Request quote from sales@semdesigns.com.

Services:

Contact sales@semdesigns.com for information.

Software Migration, Modernization or Reengineering

Custom services using highly automated tools, dependent on your circumstances and needs, due to the wide variation in languages, platforms and 3rd party packages usually involved. Call for a discussion of the issues and possible approaches.

Clone Detection Analysis

Identify duplicate code in a software system. Pricing based on the number of source lines of code (SLOC) analyzed (minimum charges apply). Specify languages to be analyzed and approximate total SLOC when inquiring about the service. - Enterprise licensing also available.

Transformation Systems Tutorial

A full-day course on the basic technology behind transformation systems, and how they can be usefully applied to large-scale software analysis and reengineering tasks. Minimum class size of 5.

DMS Training

A two week class, half lecture, half exercises, at your site or ours. 10 students per class, maximum.

Short-term Consulting

Time/material/travel consulting by senior staff for very short projects (software project assessments and planning, tough technology implementation, custom tool configuration) can be done at our site or yours.

Long-term Software Engineering Contracts

Contracted software engineering tasks are typically done at our site. Short term consulting is typically used to establish requirements, schedules and resource demands. Contracts can be either fixed bid or effort-based. Contact sales@semdesigns.com for quotes.

See other customers