AdaSTAT

AdaSTAT analyzes Ada 95 source code for safety critical restrictions and assesses both functional and object-oriented metrics. It is compatible with all ...

Welcome to AdaSTAT - Product Information

AdaSTAT is an innovative static analysis tool designed to analyze and improve the quality of your Ada95 source code. It enforces safety critical guidelines ...

[PDF] A Static Analysis Tool for High-Integrity Systems: Phase 1 Final ...

File Format: PDF/Adobe Acrobat - June 30, 1998. A Static Analysis Tool for High-Integrity Systems:. Phase 1 Final Report. Prepared By:. William Pritchett. DCS Corporation ...

[PDF] Applying Object-Oriented Metrics to Ada 95

File Format: PDF/Adobe Acrobat - Applying Object-Oriented Metrics to Ada 95. :LOOLDP : 3ULWFKHWW ,9. &$&, ,QF )('(5$/. 3HQGHU 'ULYH. )DLUID[ 9D . ESULWFKHWW#VWG FDFL FRP ...

Welcome to AdaSTAT - Product Info

Improves Quality, Reliability, and Safety of Systems Written in Ada95 AdaSTATª is a platform and compiler independent application that: ...

[PDF] Technical Summary

File Format: PDF/Adobe Acrobat - AdaStat..TechSum.V1.3. Copyright © 1999 DCS IP, LLC. Page 2. September 28, 1999. INTRODUCTION. Computer software increasingly plays a significant role in ...

[PDF] User Guide

File Format: PDF/Adobe Acrobat - C. OPYRIGHT. 2000-2003 DCS C. ORPORATION . A. LL. R. IGHTS. R. ESERVED. -. II. -. The information in this guide is subject to change without notice. ...

[PDF] An ASIS-Based Static Analysis Tool for High- Integrity Systems

File Format: PDF/Adobe Acrobat - Pritchett, William and Riley, John D., “An ASIS-based Static Analysis Tool for High Integrity Systems,” © 1997 ACM. Reprinted with ...

Welcome to AdaSTAT - Who We Are

DCS IP, LLC. Combining Management Experience with Expertise in Safety Critical and Real Time Embedded Software Development ...

Welcome to AdaSTAT - Product Info: Whitepapers

White Papers. A Static Analysis Tool for High-Integrity Systems: Phase 1 Final Report Author: WW Pritchett, John Riley. Abstract ...