Get started
Source

ACM SIGAda Ada Letters

ISSNs: 1094-3641, 1557-9476
Source type: journal
Alternate names: ACM SIGAda Ada letters, Association for Computing Machinery Ada letters, ACM Ada letters, SIGAda letters, ACM SIGAda letters
Fully OA: No
DOAJ: No
OpenAlex ID: S4210201815
The rust language
2014 · Nicholas D. Matsakis, Felix S. Klock · ACM SIGAda Ada Letters · 268
Guide for the use of the Ada Ravenscar Profile in high integrity systems
2004 · Alan Burns, Brian Dobbing, et al. · ACM SIGAda Ada Letters · 202
Object-oriented design
1982 · Grady Booch · ACM SIGAda Ada Letters · 186
Cheddar
2004 · F. Singhoff, J. Legrand, et al. · ACM SIGAda Ada Letters · 114
The Ravenscar Profile
1999 · Alan Burns · ACM SIGAda Ada Letters · 111
Toward a general object-oriented software development methodology
1987 · Ed Seidewitz, Mike Stark · ACM SIGAda Ada Letters · 61
Teaching computer science with robotics using Ada/Mindstorms 2.0
2001 · Barry S. Fagin, Laurence D. Merkle, et al. · ACM SIGAda Ada Letters · 56
Saving traces for Ada debugging
1985 · Carol H. LeDoux, D. Stott Parker · ACM SIGAda Ada Letters · 55
PDF
Review of "The Ada programming language by Ian C. Pyle", Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981.
1982 · P. Hilfinger · ACM SIGAda Ada Letters · 54
Towards a Catalog of Prompt Patterns to Enhance the Discipline of Prompt Engineering
2024 · Douglas C. Schmidt, Jesse Spencer-Smith, et al. · ACM SIGAda Ada Letters · 52
PDF
Common weakness enumeration (CWE) status update
2008 · Robert A. Martin, Sean Barnum · ACM SIGAda Ada Letters · 46
Guidance for the use of the Ada programming language in high integrity systems
1998 · B. A. Wichmann · ACM SIGAda Ada Letters · 41
PDF
Life cycle support in the Ada environment
1983 · John McDermid, Knut Ripken · ACM SIGAda Ada Letters · 41
Scheduling and memory requirements analysis with AADL
2005 · F. Singhoff, J. Legrand, et al. · ACM SIGAda Ada Letters · 37
A survivable distributed computing system for embedded application programs written in Ada
1983 · Dennis Cornhill · ACM SIGAda Ada Letters · 34
Limitations of Ada for real-time scheduling
1987 · Dennis Cornhilll, Lui Sha, et al. · ACM SIGAda Ada Letters · 33
Priority inversion in Ada
1987 · Dennis Cornhill, Lui Sha · ACM SIGAda Ada Letters · 31
PDF
Industrial experience with SPARK
2000 · Roderick Chapman · ACM SIGAda Ada Letters · 30
PDF
Priority inversion and its control: An experimental investigation
1988 · D. Locke, L. Sha, et al. · ACM SIGAda Ada Letters · 29
PDF
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
1988 · J. B. Goodenough, L. Sha · ACM SIGAda Ada Letters · 29
PDF
TSL
1985 · David Helmbold, David Luckham · ACM SIGAda Ada Letters · 29
PDF
Timing studies using a synthetic Whetstone benchmark
1984 · Sam Harbaugh, John A. Forakis · ACM SIGAda Ada Letters · 28
Resolute
2014 · Andrew Gacek, John Backes, et al. · ACM SIGAda Ada Letters · 27
A survey of issues to be considered in the development of an object-oriented development methodology for Ada
1989 · R. Ladden · ACM SIGAda Ada Letters · 26
Restricted tasking models
1997 · A. Burns, A. J. Wellings · ACM SIGAda Ada Letters · 25
PDF
Works count: 1,926
Citation count: 5,138
H-index: 25
I10-index: 110
2yr mean citedness: 1.037
Year
Topic
Type