Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGAda 2011: Denver, Colorado, USA
- Ricky E. Sward, Michael B. Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng:
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 B. 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
Keynote address
- Grady Booch:
Everything i know i learned from ada. 17-18
Ada in parallel
- 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, S. Tucker Taft:
How to make ada go 'viral'. 35-36
Keynote address 2
- Martin C. Carlisle:
Why i came back to Ada. 37-38
SPARK Ada
- 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 S. Hardin, Xianghua Deng:
Enhancing spark's contract checking facilities using symbolic execution. 47-60
Quality and performance
- 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
Invited talk
- James S. Rogers:
Language choice for safety critical applications. 81-90
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
