|
Programming Languages
|
| 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 ... |
Copyright © 2002-2006, websy.net All Rights Reserved.