Home Submit URL Add to Favorite Contact
           19 April, 2024
 
    

Static Analysis

Go to 1 2 3 Next >> page 
Cleanscape Software International (Popularity: )
http://www.cleanscape.net
Software development automation tools for Windows, UNIX, C, C++, Fortran, ada, MIL-STD-1750A. Services include building management systems, coverage analysis, automatic test generation, static source code analyzers, and debugger.
Category:   Computers - Software - Testing Services

Beam!2D (Popularity: )
http://www.beam2d.com
A freeware tool for the linear static analysis of plane frames with a fully graphical user interface.
Category:   Science - Technology - Software for Engineering - Civil Engineering

CAST (Popularity: )
http://www.castsoftware.com/
Software for source code parsing, debugging, impact analysis, real time map building and evolution management for all client/server SQL based applications.
Category:   Computers - Software - Databases - SQL Databases

PMD (Popularity: )
http://pmd.sourceforge.net/
A utility for finding problems in Java code. PMD does this using static analysis; that is, analyzing the source code without actually running the program.
Category:   Computers - Programming - Languages - Java

Gimpel Software (Popularity: )
http://www.gimpel.com/
Makers of PCLint software for checking C/C++ for many correctness rules - especially involving inter-module consistency and headers.
Category:   Computers - Programming - Languages - C++

Related: Static-x Cd - Static X - X-static - Static-x - Static


Polyspace - Automatic Run-Time Error Detection (Popularity: )
http://www.polyspace.com/
Polyspace Technologies develops and markets verification and validation tools for real-time, distributed, embedded and mission critical software, taking advantage of abstract interpretation technics and static analysis of source program approach.
Category:   Computers - Programming - Software Testing - Tools

McCabe and Associates (Popularity: )
http://www.mccabe.com/
Software quality evaluation tools that objectively evaluate the thoroughness of testing software changes, provide metrics
Category:   Computers - Programming - Software Testing - Tools

Testwell (Popularity: )
http://www.testwell.fi/
Testing tools for C, C++ and Java languages applicable in code-level unit testing (test harnessing, test coverage), systems testing (test coverage) and static analysis (code metrics) sub-phases of testing.
Category:   Computers - Programming - Software Testing - Tools

LDRA Ltd. (Popularity: )
http://www.ldra.com
Software testing consultants. Suppliers of the LDRA Testbed and LDRA TBRun software testing toolkits
Category:   Computers - Software - Testing Services

QA Systems (Popularity: )
http://www.qa-systems.com/
Helping to measure, to improve and to control the quality and performance of web, application and system -software products and processes, to produce secure and error-free business applications in a shorter time-to-market timeframe.
Category:   Computers - Software - Testing Services

GT STRUDL Structural Design & Analysis Software (Popularity: )
http://www.gtstrudl.gatech.edu/
Integrates graphical modeling, static/dynamic/nonlinear/ push-over analyses, steel & reinforced concrete design, finite element analysis, and database management into a single system for MS/Windows.
Category:   Science - Technology - Software for Engineering - Civil Engineering

AxisVM Structural Analysis Software (Popularity: )
http://www.axisvm.com/
Finite element analysis software for structural civil engineers offering linear, nonlinear and buckling analysis.
Category:   Science - Technology - Software for Engineering - Civil Engineering

M&D Professional Services, Inc. (Popularity: )
http://www.mdpsi.com
specializes in engineering consulting and analysis, including structural, traffic accident reconstruction, thermal, dynamic, static, & non-linear analyses.
Category:   Business - Industrial Goods and Services - Engineering - Mechanical

AbsInt (Popularity: )
http://www.absint.com/
Provides software products and services in the areas of compiler technology, static program analysis, worst case execution time prediction, timing validation, and software visualization.
Category:   Computers - Companies - Software Development - Embedded Systems

Mechanical Solutions, Inc., Engineering Analysis, Test, & Technology (Popularity: )
http://www.mechsol.com
Performs testing and finite element analysis of vibration, stress, fatigue, and flow, providing case histories related to turbomachinery / rotating machinery (turbines, compressors, pumps, fans), electric motors, & reciprocating machines.
Category:   Science - Technology - Acoustics, Ultrasound and Vibration - Vibration

Commtest, Affordable Machine Vibration Analysis & Data logging (Popularity: )
http://www.avt-sa.com/
Machine Vibration Analysis and Data logging devices form Commtest Instruments. A range of products including the VB Series and Ascent PC Software
Category:   Science - Technology - Acoustics, Ultrasound and Vibration - Vibration

Modal Analysis and Structural Fatigue (Popularity: )
http://www.modalanalysis.com
Solutions using computer modelling Modal Analysis and fatigue analysis to determine the vibration modes and impact on a building, equipment or mechancial component when exposed to a vibration source.
Category:   Science - Technology - Acoustics, Ultrasound and Vibration - Resources

Linseis Thermal Analysis (Popularity: )
http://www.linseis.com
Manufacturer of dilatometers, and thermal analysis instruments.
Category:   Science - Technology - Materials - Testing

Pipe Stress Analysis (Popularity: )
http://www.PipeStress.com
Piping stress analysis software and technical information. SIMFLEX series of pipe stress computer program.
Category:   Science - Technology - Mechanical Engineering - Software

Structural Analysis Reference Library (Popularity: )
http://euler9.tripod.com/
Links to material properties, stress analysis information and design reference data.
Category:   Science - Technology - Mechanical Engineering - Design
Go to 1 2 3 Next >> page