Ada Letters--April 2008

Volume XXVIII       Number 1     April 2008

Table of Contents

Newsletter Information

From the Editor's Desk 3

Editorial Policy 4

Key Contacts 6

Chairman's Message - A Special Report by SIGAda Chair - John W. McCormick 9

Tribute to Honor Jim Gray 13

Call for Technical Contributions to SIGAda 2008 International Conference in Portland, OR (Oct. 26-30) 14

Glimpses of the Year 2007 SIGAda International Conference in Fairfax, Virginia USA 16

2007 SIGAda Awards presented at SIGAda International Conference in Fairfax, Virginia USA 18

Hibachi Workshop Report on the Eclipse Ada Development Toolset held at SIGAda 2007 Conference 22

Assessment of String Tests Strategy for an En Route Air Traffic Control System

By Jeff O'Leary, Fredrick Woodard, Alok Srivastava and Denise Beidleman 24

AdaCore's "Ada Gems" on Ada 2005 31

Ada Software Reuse

Ada Reusable Software Components - Trudy Levine 59

Proceedings of Static Analysis Summit II held at 2007 SIGAda International Conference in Fairfax, Virginia USA

Paul E. Black (Workshop Chair) and Elizabeth Fong (Editor) 71

Discussion and Panel Notes 73

Static Analysis Tools for Security Checking in Code at Motorola

R Krishnan, Margaret Nadworny and Nishil Bharill 76

Evaluation of Static Source Code Analyzers for Avionics Software Development

Redge Bartholomew 83

Common Weakness Enumeration (CWE) Status Update

Robert A. Martin and Sean Barnum 88

A Practical Approach to Formal Software Verification by Static Analysis

Arnaud Venet 92

Logical Foundation for Static Analysis: Application to binary static analysis for Security

Hassen Saidi 96

Ada Europe Conference 2008 103

A Quarterly Publication of SIGAda,
the ACM Special Interest Group on Ada

Last Update 5 August 2008