SIGAda

Keyphrases

Publications

2011

Jean-Pierre Rosen
Designing and checking coding standards for ada. SIGAda (2011)
Ian Broster, Andrew Coombes
How to measure and optimize reliable embedded software. SIGAda (2011)
Dan Eilers, Tero Koskinen
Making the non-executable ACATS tests executable. SIGAda (2011)
Michael Feldman
Introduction to Ada. SIGAda (2011)
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. SIGAda (2011)
Martin C. Carlisle
Why i came back to Ada. SIGAda (2011)
Jay Abraham, Jeff Chapple, Cyril Preve
Improving quality of Ada software with range analysis. SIGAda (2011)
Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka
Software vulnerabilities precluded by spark. SIGAda (2011)
Bradley J. Moore
Stack safe parallel recursion with paraffin. SIGAda (2011)
James S. Rogers
Language choice for safety critical applications. SIGAda (2011)
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011 SIGAda (2011)
John W. McCormick, Frank Singhoff
Building embedded real-time applications. SIGAda (2011)
Grady Booch
Everything i know i learned from ada. SIGAda (2011)
Jean-Pierre Rosen, Brad Moore, S. Tucker Taft
How to make ada go 'viral'. SIGAda (2011)
Hazem Ismail Ali, Luís Miguel Pinho
A parallel programming model for ada. SIGAda (2011)
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
Enhancing spark's contract checking facilities using symbolic execution. SIGAda (2011)
S. Tucker Taft
Experimenting with parasail: parallel specification and implementation language. SIGAda (2011)
Benjamin M. Brosgol
Do-178c: the next avionics safety standard. SIGAda (2011)
Jay Abraham, Jeff Chapple, Cyril Preve
Improving quality of Ada software with range analysis. SIGAda (2011)
Ricky E. Sward, Jeff Boleng
Service-oriented architecture (SOA)concepts and implementations. SIGAda (2011)

2010