default search action

combined dblp search
author search
venue search
publication search

ask others

SIGAda 2011: Denver, Colorado, USA

> Home > Conferences and Workshops > SIGAda

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/2011
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

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BrosterC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BrosterC11
Ian Broster, Andrew Coombes:
How to measure and optimize reliable embedded software. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/SwardB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/SwardB11
Ricky E. Sward, Jeff Boleng:
Service-oriented architecture (SOA)concepts and implementations. 3-4
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Brosgol11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Brosgol11
Benjamin M. Brosgol:
Do-178c: the next avionics safety standard. 5-6
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AbrahamCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AbrahamCP11
Jay Abraham, Jeff Chapple, Cyril Preve:
Improving quality of Ada software with range analysis. 7-8
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Feldman11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Feldman11
Michael B. Feldman:
Introduction to Ada. 9-10
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Taft11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Taft11
S. Tucker Taft:
Experimenting with parasail: parallel specification and implementation language. 11-12
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Rosen11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Rosen11
Jean-Pierre Rosen:
Designing and checking coding standards for ada. 13-14
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/McCormickS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/McCormickS11
John W. McCormick, Frank Singhoff:
Building embedded real-time applications. 15-16

Keynote address

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Booch11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Booch11
Grady Booch:
Everything i know i learned from ada. 17-18

Ada in parallel

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AliP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AliP11
Hazem Ismail Ali, Luís Miguel Pinho:
A parallel programming model for ada. 19-26
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Moore11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Moore11
Bradley J. Moore:
Stack safe parallel recursion with paraffin. 27-34
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/RosenMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/RosenMT11
Jean-Pierre Rosen, Brad Moore, S. Tucker Taft:
How to make ada go 'viral'. 35-36

Keynote address 2

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Carlisle11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Carlisle11
Martin C. Carlisle:
Why i came back to Ada. 37-38

SPARK Ada

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/PhDJPD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/PhDJPD11
Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka:
Software vulnerabilities precluded by spark. 39-46
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BeltHRCHD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BeltHRCHD11
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

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/GaudelSPRDL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/GaudelSPRDL11
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
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AbrahamCP11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AbrahamCP11a
Jay Abraham, Jeff Chapple, Cyril Preve:
Improving quality of Ada software with range analysis. 69-74
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/EilersK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/EilersK11
Dan Eilers, Tero Koskinen:
Making the non-executable ACATS tests executable. 75-80

Invited talk

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Rogers11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Rogers11
James S. Rogers:
Language choice for safety critical applications. 81-90

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.