Email:
Password: [?] 
  Register with the DACS
Site Search: Advanced Search
Search: Bibliographic Database(SEBD)     Lifecycle Database(SLED)    DoD Acronyms 
DACS Home DACS Services Publications Training About Us DACS Store Suggest A Link
Rate this page's content:
  poor
excellent


Organizations and corporations offering Software Reliability products and services.
  • AdaRose - AdaRose Inc. is a Systems Integrator and Software Development firm. They have expereince in Software Development, Software Maintenance, Systems Engineering and Systems Integration. They focus on adapting current technology to build or re-host complex systems, while providing user-friendly interfaces.

  • Galorath Incorporated - Galorath provides a comprehensive set of decision-support and production optimization tools. Consulting and support services are available for these tools. The tools help manage product design and manufacturing operations, driving out costs and building in quality. The tools derive cost, schedule, labor and materials estimates by assessing the interaction and impact of product, organizational and even operational variables.

  • IPL- Software Testing Resources - From the company we site:

    "IPL delivers software development, systems integration and consultancy services to customers who demand the highest standards of quality and dependability. We also develop leading edge testing tools that are used by software developers around the world.

    Founded in 1979 and based in our wholly owned premises in the World Heritage City of Bath, UK, IPL now employs around 240 staff."

  • Item Software - Item Software provides training and consulting services, as well as complete software solutions and customization for the Reliability, Availability, Maintainability, Safety, and Quality Assurance engineering fields. The site includes downloadable evaluation copies of their software.

  • PolySpace Embedded Software Verification - PolySpace™ products verify C, C++, and Ada code for embedded applications by detecting run-time errors before code is compiled and executed. This advanced verification technology uses formal methods not only to detect errors, but to prove mathematically that certain classes of run-time errors do not exist.

    You can use these tools on hand-written code, or code generated automatically from Model-Based Design tools. For automatically generated code, PolySpace Link products trace results back to models to help you correct design errors.

  • PRICE Systems LLC - PRICE® Systems enables organizations to successfully estimate and analyze the effort, schedule and cost of the projects. PRICE develops and supports cost estimating, analysis, and knowledge capture tools to help customers manage cost and schedule throughout a project's lifecycle. Combined with our expert mentoring in cost estimating, project control methods, and best practices, these tools enable a standard, repeatable cost estimating discipline.

    PRICE® Systems markets the True S model for software estimation. This model is a successor to the PRICE-S model they have marketed.

  • Quantitative Software Management (QSM) - QSM offers their clients the Software Lifecycle Management (SLIM) processes and tools for software cost estimating, reliability modeling, schedule estimating, planning, tracking, and benchmarking. They also offer consulting services in these areas.

  • ReliaSoft Corporation - Reliability Software, Training, Consulting & Related Services from ReliaSoft Corporation - ReliaSoft Corporation provides reliability software, reliability training, consulting and services for reliability engineering and related fields.

  • RTTS - RTTS is a professional services organization that specializes in the testing of IT applications and architecture.

  • Satisfice, Inc. - Satisfice is a software test consulting, outsourcing, and training company founded by James Bach. Satisfice performs software quality assurance and testing for companies that set a high quality standard yet must work under conditions of time pressure using a techniques called Rapid Testing. Rapid Testing is tester-centric (as opposed to technique-centric) and is a blend of heuristic testing, risk-based testing, and exploratory testing.

  • SoftRel - Software Reliability Prediction - SoftRel develops predictive models. Namely numerical and classification models via data mining, knowledge discovery, and knowledge extraction.

  • Software Process and Reliability Engineering (SPRE) - SPRE is a consulting firm focusing on integrating SRE into software
    development processes. Highlights of services include:
    project jump starts, tailoring of SRE tools, operational profiles, and
    training in SRE.

  • Software Reliability Research - From the company web site:

    "We conduct upfront research and consultation with sophisticated software tools and methodologies for companies and organizations that seek state-of-the-art reliability analysis of their products or services. We support Next Generation Networks (NGN), Voice over IP (VoIP), Wireless and other emerging technologies that require software reliability assessment."

  • SoHaR Incorporated - SoHaR's organizational mission is the research
    and development of dependable computing for critical applications.

  • SPRE Inc. - SPRE Inc. is a Software Process and Software Reliability Engineering Firm that provides consulting services to the business and technical communities.

  • STSC's Software Reliability Service - This service is intended for personnel interested in advanced uses of
    software quality measurements to improve the development process.
    This service is offered by the U.S. Air Force Software Technology Support Center (STSC).

  • VT Enterprise Software Validation - Experts in outsourcing services for software maintenance, software testing and quality assurance services, and technical documentation.

Suggest Supporting Web Sites
Related pages:
sidebar
sidebar
sidebar

s

s

s

s


SISOS cover
DACS Latest Technical Report


TEMS Logo
Visit the DTIC TEMS Initiative

   DACS Gold Practice Initiative ROI Dashboard
 
Acquisition Process Improvement
Architecture-First Approach
Assess Reuse Risks and Costs
Binary Quality Gates at the Inch-Pebble Level
Capture artifacts in rigorous, model-based notation
Commercial Specifications and Standards/Open Systems
Defect Tracking Against Quality Targets
Develop and Maintain a Life-cycle Business Case
Ensure Interoperability
Formal Inspections
Formal Risk Management
Goal-Question-Metric Approach
Integrated Product and Process Development
Manage Requirements
Metrics-based Scheduling
Model Based Testing
Plan for Technology Insertion
Requirements Trade-Off/Negotiation
Statistical Process Control
Track Earned Value
  Access benefit data from software technical and management improvements including SEI CMMI, PSP/TSP, Cleanroom, Inspections, and Agile Development.

View the ROI Dashboard
Copyright © 2010, ITT Corporation    Privacy Policy
webmaster@thedacs.com
775 Daedalian Drive Rome, NY 13441
(800) 214-7921 Fax: 315-838-7130
This site is best viewed in Firefox 1.0+ or IE 6.0+
XHTML