Volume 31; Issue 3

ACM SIGAda Ada Letters

Volume 31; Issue 3
1

Improving quality of Ada software with range analysis

Abraham, Jay, Chapple, Jeff, Preve, Cyril
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 371 KB
english, 2011
2

Designing and checking coding standards for ada

Rosen, Jean-Pierre
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 347 KB
english, 2011
3

Building embedded real-time applications

McCormick, John W., Singhoff, Frank
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 364 KB
english, 2011
4

Why i came back to Ada

Carlisle, Martin C.
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 350 KB
english, 2011
5

Software vulnerabilities precluded by spark

Tokar PhD, Joyce L., Jones, F. David, Black PhD, Paul E., Dupilka, Chris E.
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 467 KB
english, 2011
7

Improving quality of Ada software with range analysis

Abraham, Jay, Chapple, Jeff, Preve, Cyril
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 1.02 MB
english, 2011
8

Experimenting with parasail

Taft, S. Tucker
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 374 KB
english, 2011
9

Everything i know i learned from ada

Booch, Grady
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 339 KB
english, 2011
10

Stack safe parallel recursion with paraffin

Moore, Bradley J.
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 513 KB
english, 2011
12

How to measure and optimize reliable embedded software

Broster, Ian, Coombes, Andrew
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 399 KB
english, 2011
13

Introduction to Ada

Feldman, Michael
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 367 KB
english, 2011
14

Making the non-executable ACATS tests executable

Eilers, Dan R., Koskinen, Tero
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 407 KB
english, 2011
15

How to make ada go 'viral'

Rosen, Jean-Pierre, Moore, Brad, Taft, Tucker
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 281 KB
english, 2011
16

Language choice for safety critical applications

Rogers, James S.
Journal:
ACM SIGAda Ada Letters
Year:
2011
Language:
english
File:
PDF, 530 KB
english, 2011