SIGAda 2011: Denver, Colorado, USA

Ricky E. Sward, Michael Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng (Eds.): Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011. ACM 2011, ISBN 978-1-4503-1028-4

Pre-conference tutorials

Ian Broster, Andrew Coombes:
How to measure and optimize reliable embedded software. 1-2
Ricky E. Sward, Jeff Boleng:
Service-oriented architecture (SOA)concepts and implementations. 3-4
Benjamin M. Brosgol:
Do-178c: the next avionics safety standard. 5-6
Jay Abraham, Jeff Chapple, Cyril Preve:
Improving quality of Ada software with range analysis. 7-8
Michael Feldman:
Introduction to Ada. 9-10
S. Tucker Taft:
Experimenting with parasail: parallel specification and implementation language. 11-12
Jean-Pierre Rosen:
Designing and checking coding standards for ada. 13-14
John W. McCormick, Frank Singhoff:
Building embedded real-time applications. 15-16

Hazem Ismail Ali, Luís Miguel Pinho:
A parallel programming model for ada. 19-26
Bradley J. Moore:
Stack safe parallel recursion with paraffin. 27-34
Jean-Pierre Rosen, Brad Moore, Tucker Taft:
How to make ada go 'viral'. 35-36

Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka:
Software vulnerabilities precluded by spark. 39-46
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng:
Enhancing spark's contract checking facilities using symbolic execution. 47-60

Vincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, Jérôme Legrand:
An Ada design pattern recognition tool for AADL performance analysis. 61-68
Jay Abraham, Jeff Chapple, Cyril Preve:
Improving quality of Ada software with range analysis. 69-74
Dan Eilers, Tero Koskinen:
Making the non-executable ACATS tests executable. 75-80

Last update Fri May 25 08:37:06 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page