Table of contents for issues of ACM SIGADA Ada Letters

Last update: Thu Aug 29 09:49:16 MDT 2024                Valid HTML 3.2!

Volume 1, Number 1, July / August, 1981
Volume 1, Number 2, September, 1982
Volume 1, Number 3, March / April, 1982
Volume 1, Number 4, May / June, 1982
Volume 2, Number 1, July / August, 1982
Volume 2, Number 2, September / October, 1982
Volume 2, Number 3, November / December, 1982
Volume 2, Number 4, January / February, 1983
Volume 2, Number 5, March / April, 1983
Volume 2, Number 6, May / June, 1983
Volume 3, Number 1, July / August, 1983
Volume 3, Number 2, September / October, 1983
Volume 3, Number 3, November / December, 1983
Volume 3, Number 4, January / February, 1984
Volume 3, Number 5, March / April, 1984
Volume 3, Number 6, May / June, 1984
Volume 4, Number 1, July / August, 1984
Volume 4, Number 2, September / October, 1984
Volume 4, Number 3, November / December, 1984
Volume 4, Number 4, January / February, 1985
Volume 4, Number 5, March / April, 1985
Volume 4, Number 6, May / June, 1985
Volume 5, Number 1, July / August, 1985
Volume 5, Number 2, September / October, 1985
Volume 5, Number 3--6, November / December, 1985
Volume 6, Number 1, January / February, 1986
Volume 6, Number 2, March / April, 1986
Volume 6, Number 3, May / June, 1986
Volume 6, Number 4, July / August, 1986
Volume 6, Number 5, September / October, 1986
Volume 6, Number 6, November / December, 1986
Volume 7, Number 1, January / February, 1987
Volume 7, Number 2, March / April, 1987
Volume 7, Number 3, May / June, 1987
Volume 7, Number 4, July / August, 1987
Volume 7, Number 5, September / October, 1987
Volume 7, Number 6, Fall, 1987
Volume 7, Number 7, November / December, 1987
Volume 8, Number 1, January / February, 1988
Volume 8, Number 2, March / April, 1988
Volume 8, Number 3, May / June, 1988
Volume 8, Number 4, July / August, 1988
Volume 8, Number 5, September / October, 1988
Volume 8, Number 6, November / December, 1988
Volume 8, Number 7, Fall, 1988
Volume 8, Number 3, May / June, 1989
Volume 9, Number 1, January / February, 1989
Volume 9, Number 2, March / April, 1989
Volume 9, Number 3, Spring, 1989
Volume 9, Number 4, May / June, 1989
Volume 9, Number 5, July / August, 1989
Volume 9, Number 6, September / October, 1989
Volume 9, Number 7, November / December, 1989
Volume 10, Number 1, January / February, 1990
Volume 10, Number 2, March / April, 1990
Volume 10, Number 3, Winter, 1990
Volume 10, Number 4, Spring, 1990
Volume 10, Number 5, May / June, 1990
Volume 10, Number 6, July / August, 1990
Volume 10, Number 7, September / October, 1990
Volume 10, Number 8, November / December, 1990
Volume 10, Number 9, Fall, 1990
Volume 11, Number 1, January / February, 1991
Volume 11, Number 2, March / April, 1991
Volume 11, Number 3, Spring, 1991
Volume 11, Number 4, May / June, 1991
Volume 11, Number 5, July / August, 1991
Volume 11, Number 6, September / October, 1991
Volume 11, Number 7, Fall, 1991
Volume 11, Number 8, Fall, 1991
Volume 11, Number 9, November / December, 1991
Volume 12, Number 1, January / February, 1992
Volume 12, Number 2, March / April, 1992
Volume 12, Number 3, May / June, 1992
Volume 12, Number 4, July / August, 1992
Volume 12, Number 5, September / October, 1992
Volume 12, Number 6, November / December, 1992
Volume 13, Number 1, January 1, 1993
Volume 13, Number 2, March / April, 1993
Volume 13, Number 3, May / June, 1993
Volume 13, Number 4, July / August, 1993
Volume 13, Number 5, September / October, 1993
Volume 13, Number 6, November / December, 1993
Volume 14, Number Special Issue, Fall, 1994
Volume 14, Number 1, January / February, 1994
Volume 14, Number 2, March / April, 1994
Volume 14, Number 3, May / June, 1994
Volume 14, Number 4, July / August, 1994
Volume 14, Number 5, September / October, 1994
Volume 14, Number 6, November 1, 1994
Volume 15, Number 1, January 1, 1995
Volume 15, Number 2, March / April, 1995
Volume 15, Number 3, May / June 1, 1995
Volume 15, Number 4, July / August 1, 1995
Volume 15, Number 5, September 1, 1995
Volume 15, Number 6, November 1, 1995
Volume 16, Number 1, January 1, 1996
Volume 16, Number 2, March / April, 1996
Volume 16, Number 3, May / June, 1996
Volume 16, Number 4, July / August, 1996
Volume 16, Number 5, September / October, 1996
Volume 16, Number 6, November / December, 1996
Volume 17, Number 1, January / February, 1997
Volume 17, Number 2, March / April, 1997
Volume 17, Number 3, May / June, 1997
Volume 17, Number 4, July / August, 1997
Volume 17, Number 5, September / October, 1997
Volume 17, Number 6, November / December, 1997
Volume 18, Number 1, January / February, 1998
Volume 18, Number 2, March, 1998
Volume 18, Number 3, May, 1998
Volume 18, Number 4, July, 1998
Volume 18, Number 5, September / October, 1998
Volume 18, Number 6, November / December, 1998
Volume 19, Number 1, March, 1999
Volume 19, Number 2, June, 1999
Volume 19, Number 3, September, 1999
Volume 19, Number 4, December, 1999
Volume 20, Number 1, March, 2000
Volume 20, Number 2, June, 2000
Volume 20, Number 3, September, 2000
Volume 20, Number 4, December, 2000
Volume 21, Number 1, March, 2001
Volume 21, Number 2, June, 2001
Volume 21, Number 3, September, 2001
Volume 21, Number 4, December, 2001
Volume 22, Number 1, March, 2002
Volume 22, Number 2, June, 2002
Volume 22, Number 3, September, 2002
Volume 22, Number 4, December, 2002
Volume 23, Number 1, March, 2003
Volume 23, Number 2, June, 2003
Volume 23, Number 3, September, 2003
Volume 23, Number 4, December, 2003
Volume 24, Number 1, March, 2004
Volume 24, Number 2, June, 2004
Volume 24, Number 3, September, 2004
Volume 24, Number 4, December, 2004
Volume 25, Number 1, March, 2005
Volume 25, Number 2, June, 2005
Volume 25, Number 3, September, 2005
Volume 25, Number 4, December, 2005
Volume 26, Number 1, April, 2006
Volume 26, Number 2, August, 2006
Volume 26, Number 3, December, 2006
Volume 27, Number 1, April, 2007
Volume 27, Number 2, August, 2007
Volume 27, Number 3, December, 2007
Volume 28, Number 1, April, 2008
Volume 29, Number 1, April, 2009
Volume 29, Number 2, August, 2009
Volume 29, Number 3, December, 2009
Volume 30, Number 1, April, 2010
Volume 30, Number 2, August, 2010
Volume 30, Number 3, December, 2010
Volume 31, Number 1, April, 2011
Volume 31, Number 2, August, 2011
Volume 31, Number 3, December, 2011
Volume 32, Number 1, April, 2012
Volume 32, Number 2, August, 2012
Volume 32, Number 3, December, 2012
Volume 33, Number 1, April, 2013
Volume 33, Number 2, August, 2013
Volume 33, Number 3, December, 2013
Volume 34, Number 3, December, 2014
Volume 35, Number 1, April, 2015
Volume 35, Number 2, August, 2015
Volume 36, Number 1, June, 2016
Volume 36, Number 2, December, 2016
Volume 37, Number 1, June, 2017
Volume 37, Number 2, December, 2017
Volume 38, Number 1, June, 2018
Volume 38, Number 2, December, 2019
Volume 39, Number 1, January, 2020
Volume 39, Number 2, April, 2020
Volume 40, Number 1, October, 2020
Volume 40, Number 2, April, 2021
Volume 41, Number 1, June, 2021
Volume 41, Number 2, December, 2021
Volume 42, Number 1, June, 2022
Volume 42, Number 2, December, 2022
Volume 43, Number 1, June, 2023


ACM SIGADA Ada Letters
Volume 1, Number 1, July / August, 1981

             John N. Buxton and   
           Larry E. Druffel and   
             Thomas A. Standish   Reflections on the History of Ada
                                  Environments . . . . . . . . . . . . . . 16--21
                  Paul M. Cohen   From HOLWG to AJPO --- Ada in Transition 22--25
     Lt Col William A. Whitaker   FORTRAN-like Formatted Output with Ada   26--28
          Robert J. Knapper and   
               Robert F. Mathis   Roberts Corporation  . . . . . . . . . . 29--30
             Herman Haertig and   
          Andreas Pfitzmann and   
                      Leo Treff   Task State Transitions in Ada  . . . . . 31--41

ACM SIGADA Ada Letters
Volume 1, Number 2, September, 1982

                     Mark Davis   Classical Optimizations in Ada . . . . . 11--14
              Brian A. Wichmann   Tutorial material on the Real Data-Types
                                  in Ada . . . . . . . . . . . . . . . . . 15--33

ACM SIGADA Ada Letters
Volume 1, Number 3, March / April, 1982

               Benjamin Brosgol   Summary of Ada Language Changes  . . . . 34--43
            J. C. D. Nissen and   
                  P. Wallis and   
                 B. A. Wichmann   Ada-Europe Guidelines for the
                                  Portability of Ada Programs  . . . . . . 44--61
                 Arnold J. Levy   Motivation Behind the Design of the Ada
                                  Atom System Environment  . . . . . . . . 62--63
                    Grady Booch   Object Oriented Design . . . . . . . . . 64--76
              Eric W. Olsen and   
           Stephen B. Whitehill   Ada Technology Development at Irvine
                                  Computer Sciences Corporation  . . . . . 77--85

ACM SIGADA Ada Letters
Volume 1, Number 4, May / June, 1982

           David A. Bennett and   
           Brent D. Kornman and   
                James R. Wilson   Hidden Costs in Ada  . . . . . . . . . . 9--20
               Larry E. Druffel   THe Need for a Programming Discipline to
                                  Support the APSE: Where Does the APSE
                                  Path Lead? . . . . . . . . . . . . . . . 21--23
                      E. Farkas   Annoying Bagatelles in Ada . . . . . . . 24--26
                 Frank G. Pagan   Taming Ada for Introductory Teaching
                                  Purposes --- An Approximation  . . . . . 27--31
                    Edward Huff   FIFO Queues in Ada: An Exercise  . . . . 32--33
                 Arnold J. Levy   The Ada Atom System Environment  . . . . 34--45
                Ralph E. Crafts   Commercial Applications Software in Ada:
                                  a Reality  . . . . . . . . . . . . . . . 46--54
               John M. Chambers   Extending Ada legally via Pre-Processors 55--58


ACM SIGADA Ada Letters
Volume 2, Number 1, July / August, 1982

                      Gary Bray   AIE Support for Management of Embedded
                                  Computer Projects  . . . . . . . . . . . 33--49
                       Hal Hart   Ada for Design: An Approach for
                                  Transitioning Industry Software
                                  Developers . . . . . . . . . . . . . . . 50--57
              Victor Basili and   
                John Gannon and   
             Elizabeth Katz and   
           Marvin Zelkowitz and   
                John Bailey and   
           Elizabeth Kruesi and   
                Sylvia Sheppard   Monitoring an Ada Software Development
                                  Project  . . . . . . . . . . . . . . . . 58--61

ACM SIGADA Ada Letters
Volume 2, Number 2, September / October, 1982

                 Pekka Lahtinen   A Machine Architecture for Ada . . . . . 28--33
           Philippe Charles and   
                  Gerald Fisher   A LALR(1) Grammar for '82 Ada  . . . . . 34--45
                 Amiram Yehudai   Data Abstraction: Types vs. Objects  . . 46--48
                  Judith Kerner   Should PDL/Ada Be Compilable?  . . . . . 49--50
                   Peter Wegner   Ada Education and Technology Transfer
                                  Activities . . . . . . . . . . . . . . . 51--60
                Norman H. Cohen   Parallel Quicksort: An Exploitation of
                                  Concurrent Programming in Ada  . . . . . 61--68

ACM SIGADA Ada Letters
Volume 2, Number 3, November / December, 1982

             Jean E. Sammet and   
           Douglas W. Waugh and   
          Robert W. Reiter, Jr.   PDL/Ada --- a Design Language Based on
                                  Ada  . . . . . . . . . . . . . . . . . . 19--31
            Lawrence M. Lindley   Ada Program Design Language Survey . . . 32--33
              Mordechai Ben-Ari   The Case for Full Ada  . . . . . . . . . 34--37
                      Ivan Bach   On the Type Concept of Ada . . . . . . . 38--50
              Anna I. Chase and   
               Mark S. Gerhardt   The Case for Full Ada as a Design
                                  Language . . . . . . . . . . . . . . . . 51--59

ACM SIGADA Ada Letters
Volume 2, Number 4, January / February, 1983

                    Ben Brosgol   Ada Implementation Notes: Constraint
                                  Check Elimination  . . . . . . . . . . . 54--57
            Lawrence M. Lindley   Ada Program Design Language Survey
                                  Update . . . . . . . . . . . . . . . . . 61--63
                   Eran Grabber   The Middle Way Approach for Ada Based
                                  PDL Syntax . . . . . . . . . . . . . . . 64--67
         Michael W. Masters and   
           Michael J. Kuchinski   Software Design Prototyping Using Ada    68--75
                 Michael Gordon   The Byron Program Design Language -1-    76--83
                    David Emery   The Department of Defense Software
                                  Initiative, a Summary  . . . . . . . . . 84--87
             Patrick A. V. Hall   Adding Database Management to Ada  . . . 88--91
                  M. Faasch and   
                V. Haarslev and   
                    H.-H. Nagel   Ada on a Minicomputer-Network for Image
                                  Sequence Analysis: An Investigative
                                  Implementation . . . . . . . . . . . . . 92--96
                 Jon K. Elliott   The ROLM Ada Work Center . . . . . . . . 97--100A
                      X. Debest   A User-Friendly I/O System for Ada . . . 101--112

ACM SIGADA Ada Letters
Volume 2, Number 5, March / April, 1983

               Douglas W. Waugh   An Ada Language Programming Course . . . 34--41
             Christine L. Braun   Ada Training Considerations  . . . . . . 42--55
             Michael R. Gardner   Using Ada for Commercial Software  . . . 56--59
               Bruce L. Rudolph   An Overview of the Design of an Ada
                                  Ballistics System  . . . . . . . . . . . 60--61
                    Nico Lomuto   Self-Reproducing Ada Tasks . . . . . . . 62--75
          John D. Fernandez and   
             Homer Carlisle and   
                Sallie Sheppard   Experience with Matrix Multiplication
                                  Using Ada Tasks  . . . . . . . . . . . . 76--84
                   Robert Fritz   The Ada User and the DoD Software
                                  Initiative . . . . . . . . . . . . . . . 85--88

ACM SIGADA Ada Letters
Volume 2, Number 6, May / June, 1983

                 Herman Fischer   Software Technology Initiative Raleigh
                                  Workshop: An Editorial Report  . . . . . 45--50
                James P. Alstad   Problems with Ada as a Program Design
                                  Language: a Position Paper . . . . . . . 51--52
                   A. Bossi and   
                   N. Cocco and   
                       S. Dulli   Modular Decomposition of Ada into a
                                  Hierarchy of Sublanguages  . . . . . . . 53--58
                     Paul Dobbs   Ada Experience on the Ada Capability
                                  Study  . . . . . . . . . . . . . . . . . 59--62
         Stephen F. Zeigler and   
             Reinhold P. Weiker   Ada Language Statistics for the iMAX 432
                                  Operating System . . . . . . . . . . . . 63--67


ACM SIGADA Ada Letters
Volume 3, Number 1, July / August, 1983

             Thomas A. Standish   Interactive Ada in the Arcturus
                                  Environment  . . . . . . . . . . . . . . 23--36
                   Ron Tischler   Note on Scanning Ada . . . . . . . . . . 36
            J. C. D. Nissen and   
                 B. A. Wichmann   Ada-Europe Guidelines for Ada Compiler
                                  Specification and Selection  . . . . . . 37--50
     Steven D. Litvintchouk and   
                A. S. Matsumoto   An Algebraic Approach to Reusable Ada
                                  Components . . . . . . . . . . . . . . . 51--54
          Charles Wetherell and   
                    M. E. Quinn   An Ada Language Type Checking Problem
                                  and Two Morals . . . . . . . . . . . . . 55--56
              John McDermid and   
                    Knut Ripken   Life Cycle Support in the Ada
                                  Environment  . . . . . . . . . . . . . . 57--62
               Guido Persch and   
           Manfred Dausmann and   
                   Gerhard Goos   Early Experience with the Programming
                                  Language Ada . . . . . . . . . . . . . . 63--70

ACM SIGADA Ada Letters
Volume 3, Number 2, September / October, 1983

         Berndt Krieg-Brueckner   Consistency Checking in Ada and Anna: a
                                  Transformational Approach  . . . . . . . 46--54
               P. Inverardi and   
                    G. Levi and   
               U. Montanari and   
                 G. N. Vallario   A Distributed KAPSE Architecture . . . . 55--61
                      Gary Bray   Implementation Implications of Ada
                                  Generics . . . . . . . . . . . . . . . . 62--71
                    Rolf Molich   Ada Compiler Quality Assurance . . . . . 72--75
              Wolf-Dieter Heker   Some Comments on ``Experiences with
                                  Matrix Multiplication Using Ada Tasks''  76
              William L. Wilder   Minimal Host for the KAPSE . . . . . . . 77--88
     Steven D. Litvintchouk and   
                A. S. Matsumoto   An Algebraic Approach to Reusable Ada
                                  Components . . . . . . . . . . . . . . . 89--92
                  Lee A. Becker   Ada --- Extended Structure Charts  . . . 93--97

ACM SIGADA Ada Letters
Volume 3, Number 3, November / December, 1983

               Edward V. Berard   Engineering Ada  . . . . . . . . . . . . 33--44
        Walter Kirchgassner and   
                 Jurgen Uhl and   
                Guido Perch and   
           Manfred Dausmann and   
        Sophia Drossopoulou and   
       Hans-Stephan Jansohn and   
               Rudolph Landwehr   Optimization in Ada  . . . . . . . . . . 45--57
              J. Michael Kamrad   Runtime Organization for the Ada
                                  Language System Programs . . . . . . . . 58--68
            Raymond C. Houghton   A taxonomy of Tool Features for the Ada
                                  Programming Support Environment (APSE)   63--78
                Dennis Cornhill   A Survivable Distributed Computing
                                  System for Embedded Applications
                                  Programs Writtein in Ada . . . . . . . . 79--87

ACM SIGADA Ada Letters
Volume 3, Number 4, January / February, 1984

                   Gerry Fisher   A LALR(1) Grammar for ANSI Ada . . . . . 37--50
              Thomas J. Wheeler   A Command Interpreter for Ada  . . . . . 51--61
                    Edward Bein   Ada Design, Jovial Implementation  . . . 62--69
Mícheál Mac an Airchinnign   Ada Packages and the User's Conceptual
                                  Model  . . . . . . . . . . . . . . . . . 70--77
               Erik Meiling and   
                  Steen U. Palm   A Comparative Study of CHILL and Ada on
                                  the Basis of Denotational Descriptions   78--91
             Erhard Ploedereder   Project SPERBER  . . . . . . . . . . . . 92--99
        Stephen P. Phillips and   
             Peter R. Stevenson   The Role of Ada in Real Time Embedded
                                  Applications . . . . . . . . . . . . . . 99--111
             A. J. Wellings and   
                  D. Keeffe and   
                G. M. Tomlinson   A Problem with Ada and Resource
                                  Allocation . . . . . . . . . . . . . . . 112--124

ACM SIGADA Ada Letters
Volume 3, Number 5, March / April, 1984

            J. C. D. Nissen and   
             P. A. Wichmann and   
                         others   Ada-Europe Guidelines for Ada Compiler
                                  Specification and Selection  . . . . . . 50--62
                     I. C. Pyle   A Package for Specifying Ada Programs    63--68
                Anders Ardo and   
                 Lars Philipson   A Simple Ada Compiler Invalidation Test  69--74
                   G. G. Bengel   Peculiarities of Ada . . . . . . . . . . 75--81

ACM SIGADA Ada Letters
Volume 3, Number 6, May / June, 1984

                   Gerry Fisher   Universal Arithmetic Packages  . . . . . 30--47
               J. F. H. Winkler   More on Block Structure: Using Ada . . . 48--56
                   A. Dapra and   
                   S. Gatti and   
         S. Crespi-Reghizzi and   
                 F. Maderna and   
                D. Belcredi and   
                  A. Natali and   
             R. A. Stammers and   
                     M. D. Tedd   Using Ada and APSE to Support
                                  Distributed Multimicroprocessor Targets  57--65
             Michael R. Gardner   When to Use Private Types  . . . . . . . 66--78
            Paulan D. Daily and   
                John T. Foreman   Ada Programming Standards and Guidelines 79--94


ACM SIGADA Ada Letters
Volume 4, Number 1, July / August, 1984

           Victor R. Basili and   
                 Shih Chang and   
                John Gannon and   
             Elizabeth Katz and   
      N. Monina Panlilo-Yap and   
       Connie Loggia Ramsey and   
           Marvin Zelkowitz and   
                John Bailey and   
           Elizabeth Kruesi and   
                Sylvia Sheppard   Monitoring an Ada Software Development   32--39
           David Alan Wolverton   A Perfect Hash Function for Ada Reserved
                                  Words  . . . . . . . . . . . . . . . . . 40--44
               Edward V. Berard   Ada Education is a Moving Target . . . . 45--49
             Albert Llamosi and   
               Pere Botella and   
                Fernando Orejas   On Unlimited types and Reliability of
                                  Ada Programs . . . . . . . . . . . . . . 50--60
                 David A. Smith   ANSI Standard Ada --- Quick Reference
                                  Sheet  . . . . . . . . . . . . . . . . . 61--66
                 Rodney M. Bond   Ada as a Program Description Language
                                  (PDL)  . . . . . . . . . . . . . . . . . 67--73
              J. A. Kirkham and   
                   A. Burns and   
                   R. J. Thomas   The Use of Structured Systems Analysis
                                  in the Rapid Creation of Information
                                  Management Systems Prototypes Written in
                                  Ada  . . . . . . . . . . . . . . . . . . 74--87

ACM SIGADA Ada Letters
Volume 4, Number 2, September / October, 1984

               Sam Harbaugh and   
                John A. Forakis   Timing Studies Using a Synthetic
                                  Whetstone Benchmark  . . . . . . . . . . 23--35
                    A. Fantechi   Interfacing with Real Environments from
                                  Ada Programs . . . . . . . . . . . . . . 35--43
           Peter van der Linden   Writing Diagnostic Software in Ada . . . 44--53
                Kathleen Gilroy   Experience with Ada for the Graphical
                                  Kernal System  . . . . . . . . . . . . . 54--64
             Robert B. K. Dewar   Ada Language Maintenance, a Look at What
                                  is Going On  . . . . . . . . . . . . . . 65--76

ACM SIGADA Ada Letters
Volume 4, Number 3, November / December, 1984

                     Mark Temte   Object-Oriented Design and Ballistics
                                  Software . . . . . . . . . . . . . . . . 25--36
                      Ivan Bach   Unorthogonalities in the Identification
                                  Rules in Ada . . . . . . . . . . . . . . 37--43
                     J. Kok and   
                     G. T. Symm   A Proposal for Standard Basic Functions
                                  in Ada . . . . . . . . . . . . . . . . . 44--52
             John C. Knight and   
            John I. A. Urquhart   On the Implementation and Use of Ada on
                                  Fault-Tolerant Distributed Systems . . . 53--64

ACM SIGADA Ada Letters
Volume 4, Number 4, January / February, 1985

             John B. Goodenough   On Defining ``='' in Ada . . . . . . . . 27--31
          James W. Armitage and   
               James V. Chelini   Ada Software on Distributed Targets: a
                                  Survey of Approaches . . . . . . . . . . 32--37
                John Schill and   
              Roger Smeaton and   
                Richard Jackman   The Conversion of Command & Control
                                  Software to Ada: Experiences and Lessons
                                  Learned  . . . . . . . . . . . . . . . . 38--48

ACM SIGADA Ada Letters
Volume 4, Number 5, March / April, 1985

                   J. N. Buxton   Future Ada environment workshop: keynote
                                  address  . . . . . . . . . . . . . . . . 40--44
                 John N. Buxton   Keynote Address, Future APSE Workshop    40--44
                      Gil Myers   Software Engineering Automation for
                                  Tactical Embedded Systems (SEATECS)  . . 45--48
              R. J. A. Buhr and   
                    G. M. Karam   An Informal Overview of CADA: a Design
                                  Environment for Ada  . . . . . . . . . . 49--58
                  Arthur Pyster   Experience with Existing Environments    59--64
            P. A. Oberndorf and   
                   M. H. Penedo   Project databases  . . . . . . . . . . . 65--78
     Patricia A. Orberndorf and   
                Maria H. Penedo   Project Database Working Group . . . . . 65--78
         Ann Marmor-Squires and   
                   Jack Wileden   Methodology and Environment
                                  Relationships  . . . . . . . . . . . . . 79--83
                 Vic Berecz and   
                Jack Kramer and   
                   Carol LeDoux   Distributed Environments . . . . . . . . 84--89
      ACM Adatec Future Ada and   
       Environment Workshop and   
               Working Group 6.   User interfaces  . . . . . . . . . . . . 90--96
             Carl Braesicke and   
                  Jeff Dean and   
                Dave Fisher and   
                 Jim Holder and   
              Rand McKinney and   
          Panna Nagarsenker and   
              Dewayne Perry and   
            Phil Rossomando and   
               Tim Standish and   
                  Dick Wisehart   Future Ada Environments Workshop: User
                                  Interfaces . . . . . . . . . . . . . . . 90--96
                 Bill Jones and   
         Steve Litvintchouk and   
               Jerry Mungle and   
               Herb Krasner and   
                 John Melby and   
                   Herb Willman   Issues in Software Reusability . . . . . 97--99
                    Sam Redwine   Environment Architectures  . . . . . . . 100--104
            Roberta G. Wagreich   Methodologies and Environments for
                                  Embedded Systems Lifecycle Support . . . 105--110

ACM SIGADA Ada Letters
Volume 4, Number 6, May / June, 1985

                   Sam Harbaugh   XAda --- An Executable Ada Design
                                  Language Methodology . . . . . . . . . . 27--31
                    Jan Walasek   Source Listing with Combs  . . . . . . . 32--34
                   T. Oberndorf   Second CAIS review meeting . . . . . . . 35--43
                  T. Orberndorf   The Second CAIS Review Meeting . . . . . 35--43
                 G. Falquet and   
                   J. Guyot and   
                      L. Nerima   Simple Tools to Learn Ada  . . . . . . . 44--48
            Charles Hammons and   
                     Paul Dobbs   Coupling, cohesion, and package unity in
                                  Ada  . . . . . . . . . . . . . . . . . . 49--59
                 D. Helbold and   
                  D. C. Luckham   Runtime Detection and Description of
                                  Deadness Errors in Ada Tasking . . . . . 60--72
                D. Helmbold and   
                  D. C. Luckham   Runtime detection and description of
                                  deadness in Ada tasking  . . . . . . . . 60--72


ACM SIGADA Ada Letters
Volume 5, Number 1, July / August, 1985

                    P. H. Welch   Structured Tasking in Ada? . . . . . . . 17--31
               Melody Moore and   
               John Foreman and   
                   Paulan Daily   Planning an AdaTEC/AdaJUG meeting  . . . 32--41
                 Jonas Agerberg   The Simplest? Ada Solution to the Dining
                                  Philosophers Problem . . . . . . . . . . 42--48
           Peter van der Linden   Looking Forward with Ada . . . . . . . . 49--54
                       A. Burns   Efficient Initialisation Routines for
                                  Multiprocessor Systems Programmed in Ada 55--60
              William L. Wilder   KAPSE Implementation Strategies  . . . . 61--70
             Nancy Linden Yavne   A simple approach to a relaxed syntax
                                  for an Ada PDL . . . . . . . . . . . . . 71--78
               Bonnie Burkhardt   First Use of XAda Methodology  . . . . . 79--88

ACM SIGADA Ada Letters
Volume 5, Number 2, September / October, 1985

                 Mike W. Rogers   IT Companies' Acceptance of and
                                  Attitudes towards Ada  . . . . . . . . . 1--13
             Olavi Poutanen and   
         Kari-Matti Varanki and   
       Tapio Välimäki   Notes on Building a Relational Database
                                  Management System in Ada . . . . . . . . 14--24
        Kjell-Hakan Narfelt and   
                Dick Schefstrom   Extending the Scope of the Program
                                  Library  . . . . . . . . . . . . . . . . 25--40
                Stephen Fox and   
                  Anil Nori and   
              John M. Smith and   
                Arvola Chan and   
                     Sy Danberg   Atool kit for database programming in
                                  Ada  . . . . . . . . . . . . . . . . . . 41--57
              John M. Smith and   
                Arvola Chan and   
                 Sy Danberg and   
                Stephen Fox and   
                      Anil Nori   A Tool Kit for Database Programming in
                                  Ada  . . . . . . . . . . . . . . . . . . 41--57
            Edith Schonberg and   
               Edmond Schonberg   Highly Parallel Ada --- Ada on an
                                  Ultracomputer  . . . . . . . . . . . . . 58--71
            Richard A. Volz and   
            Trevor N. Mudge and   
             Arch W. Naylor and   
                  John H. Mayer   Some Problems in Distributing Real-Time
                                  Ada Programs across Machines . . . . . . 72--84
               P. Inverardi and   
                F. Mazzanti and   
                  C. Montangero   The use of Ada in the design of
                                  distributed systems  . . . . . . . . . . 85--96
            Carol H. LeDoux and   
           D. Stott Parker, Jr.   Saving Traces for Ada Debugging  . . . . 97--108
                 A. Di Maio and   
                    S. Ceri and   
             S. Crespi Reghizzi   Execution monitoring and debugging tool
                                  for Ada using relational algebra . . . . 109--123
              Claude Mauger and   
                  Kevin Pammett   An Event-Driven Debugger for Ada . . . . 124--135
              Thomas M. Leonard   Ada and the Graphical Kernel System  . . 136--150
        Mitchell J. Bassman and   
      Gerald A. Fisher, Jr. and   
                Anthony Gargaro   An Approach for Evaluating the
                                  Performance Efficiency of Ada Compilers  151--163
                Rajiv Gupta and   
                 Mary Lou Soffa   The Efficiency of Storage Management
                                  Schemes for Ada Programs . . . . . . . . 164--172
              R. J. A. Buhr and   
                G. M. Karam and   
                 C. M. Woodside   An Overview and Example of Application
                                  of CAEDE: a New, Experimental Design
                                  Environment for Ada  . . . . . . . . . . 173--184
     Friedrich W. von Henke and   
              David Luckham and   
      Bernd Krieg-Brueckner and   
                       Olaf Owe   Semantic Specification of Ada Packages   185--196
                     O. Roubine   Programming Large and Flexible Systems
                                  in Ada . . . . . . . . . . . . . . . . . 197--209
                  R. J. A. Buhr   Lessons from practical experience
                                  teaching hands-on, real-time, embedded
                                  system programming with Ada  . . . . . . 210--216
            Bryce M. Bardin and   
                 Marion F. Moon   In Search of ``Real'' Ada: a Software
                                  Saga with a Moral or Two . . . . . . . . 217--228
                Rene Beretz and   
            Benjamin M. Brosgol   Developing an automated Ada training
                                  product  . . . . . . . . . . . . . . . . 229--240
                  Rob Strom and   
              Shaula Yemini and   
                   Peter Wegner   Viewing Ada from a Process Model
                                  Perspective  . . . . . . . . . . . . . . 241--254
             David Helmbold and   
               David C. Luckham   TSL: Task Sequencing Language  . . . . . 255--274
                P. J. L. Wallis   Automatic language conversion and its
                                  place in the transition to Ada . . . . . 275--284
              Sriram Sankar and   
            David Rosenblum and   
                   Randall Neff   An implementation of Anna  . . . . . . . 285--296
           V. Donzeau-Gouge and   
                    B. Lang and   
                    B. Me'le'se   A Tool for Ada Program Manipulations:
                                  Mentor-Ada . . . . . . . . . . . . . . . 297--308
                   R. H. Pierce   Ada in the ECLIPSE Project Support
                                  Environment  . . . . . . . . . . . . . . 309--320
                   J. Bundgaard   The Development of an Ada Front End for
                                  Small Computers  . . . . . . . . . . . . 321--328
             G. A. Riccardi and   
                    T. P. Baker   A Runtime Supervisor to Support Ada
                                  Tasking: Rendezvous and Delays . . . . . 329--342
             M. R. Barbacci and   
               W. H. Maddox and   
               T. D. Newton and   
                 R. G. Stockton   The Ada+ Front End and Code Generator    343--354
                D. A. Taffs and   
                M. W. Taffs and   
               J. C. Rienzo and   
                  T. R. Hampson   The ALS Ada Compiler Global Optimizer    355--366

ACM SIGADA Ada Letters
Volume 5, Number 3--6, November / December, 1985

                  John R. White   Extended terms for SIG officers  . . . . 6--10
             John I. Moore, Jr.   Report on the 1985 Washington Ada
                                  Symposium  . . . . . . . . . . . . . . . 16--18
                Norman H. Cohen   Tasks as Abstraction Mechanisms  . . . . 30--44
                Bryce M. Bardin   A ``To Be Determined'' Package for Ada
                                  Development  . . . . . . . . . . . . . . 45--56
                Bryce M. Bardin   Report from the SIGAda Users' Committee
                                  chairperson  . . . . . . . . . . . . . . 61--62
                Mike Kamrad and   
            Kathleen Gilroy and   
              Daryl Winters and   
                 Dock Allen and   
                  Charles Mckay   Ada run-time environments working group
                                  (ARTEWG) report  . . . . . . . . . . . . 63--63
                      Ann Reedy   Ada contracts list . . . . . . . . . . . 64--66
                       J. Wolfe   Artificial intelligence and the CAIS . . 76--83
                     C. Brandon   Turtle graphics for teaching Ada as a
                                  first language . . . . . . . . . . . . . 100--100


ACM SIGADA Ada Letters
Volume 6, Number 1, January / February, 1986

                 K. E. Hoffmann   Appropriate Data-Types in Ada
                                  (Apparently not a simple subject)  . . . 20--21
           Geert. B. Clemmensen   Retargeting and rehosting the DDC Ada
                                  compiler system: a case study --- the
                                  Honeywell DPS 6  . . . . . . . . . . . . 22--28
               Edward V. Berard   Towards a Software Profession  . . . . . 29--40
               Karl F. VanNeste   Ada Coding Standards and Conventions . . 41--48
                   Tom Spurrier   Biography of an Ada Project  . . . . . . 49--54
                 Ellis S. Cohen   Updating Elements of a Collection in
                                  Place  . . . . . . . . . . . . . . . . . 55--62
                  Douglas Arndt   Character Building Experiences . . . . . 63--71
               Donald G. Martin   Non-Ada to Ada Conversion  . . . . . . . 72--81
            Daniel M. Berry and   
                Nancy Yavne and   
                    Moshe Yavne   On the Requirements For and the Use of a
                                  Program Design Language:
                                  Parameterization, Abstract Data Typing,
                                  Strong Typing  . . . . . . . . . . . . . 82--89
                   Vinod Grover   On Expressing Module Interconnections in
                                  Ada  . . . . . . . . . . . . . . . . . . 90--93
                  Kuo-Chung Tai   A Graphical Notation for Describing
                                  Executions of Concurrent Ada Programs    94--103

ACM SIGADA Ada Letters
Volume 6, Number 2, March / April, 1986

          Keith Patrick DeWeese   Ada: a life and legacy: Dorothy Stein
                                  book review  . . . . . . . . . . . . . . 13--14
                Karl Kurbel and   
                Wolfram Pietsch   A portable Ada implementation of index
                                  sequential input-output, Part 1  . . . . 29--40
              R. St. Dennis and   
                P. Stachour and   
              E. Frankowski and   
                     E. Onuegbe   Measurable Characteristics of Reusable
                                  Ada Software . . . . . . . . . . . . . . 41--50
                 Richard Platek   Chairperson's letter: Formal methods
                                  committee  . . . . . . . . . . . . . . . 51--52
          Alton L. Brintzenhoff   Chairperson's letter . . . . . . . . . . 53--56
                    Judy Kerner   Ada DL developers matrix update  . . . . 57--58
            Donald G. Firesmith   SDSAWG chairperson's letter  . . . . . . 59--59
                Teri Payton and   
                      Ann Reedy   Chairperson's letter . . . . . . . . . . 73--74
                   Chuck Howell   Minutes of CAIS implementor's group
                                  meeting  . . . . . . . . . . . . . . . . 75--76
                  Mark C. Paulk   Minutes of the DAWG  . . . . . . . . . . 76--76
                     Clyde Roby   CAIS/CASWG/SEI workshop summary  . . . . 77--78
                     Stowe Boyd   APSE builders' working group report  . . 79--82
                Peter H. Feller   The SEI environment  . . . . . . . . . . 83--83
                 Dave Emery and   
                    Steve Rosen   Two UNIX tools supporting a common style 84--84
                 Stewart French   AIM project introduction . . . . . . . . 85--86
             Jerry Baskette and   
                   John Foreman   Life cycle analysis of the AIM project   86--90
                 Stewart French   Transporting an Ada software tool: a
                                  case study . . . . . . . . . . . . . . . 90--91
                     Jon Squire   PIWG chairperson's letter  . . . . . . . 93--93
                      Ann Reedy   Ada contracts list update  . . . . . . . 94--94
                Putnam P. Texel   Chairperson's letter . . . . . . . . . . 96--99
              Peter Hibbard and   
                Andy Hisgen and   
         Jonathan Rosenberg and   
                  Mary Shaw and   
                   Mark Sherman   Studies in Ada style . . . . . . . . . . 103--103
               Helen Romanowsky   Ada publications . . . . . . . . . . . . 109--110

ACM SIGADA Ada Letters
Volume 6, Number 3, May / June, 1986

                  K. Kurbel and   
                     W. Pietsch   A portable Ada implementation of index
                                  sequential input-output, part 2  . . . . 31--42
               W. G. Piotrowski   Ada information hiding --- a design goal
                                  missing? . . . . . . . . . . . . . . . . 43--55
                     L. Bernard   Dereference the reference manual . . . . 56--60
             E. R. Matthews and   
                      W. Lively   The ATMAda environment: an enhanced APSE 61--64
                 B. A. Wichmann   Ackermann's function in Ada  . . . . . . 65--70
                B. Burkhard and   
                         M. Lee   Drawing Ada structure charts . . . . . . 71--80

ACM SIGADA Ada Letters
Volume 6, Number 4, July / August, 1986

         George C. Harrison and   
                   Dar-Biau Liu   Generic Implementations Via Analogies in
                                  the Ada Programming Language . . . . . . 34--43
               Kjell W. Nielsen   Task Coupling and Cohesion in Ada  . . . 44--52
                 Donald L. Ross   Classifying Ada Packages . . . . . . . . 53--65
                  Paul L. Baker   Transformation of Structured Data
                                  Schemata into Ada Language Statements    66--74

ACM SIGADA Ada Letters
Volume 6, Number 5, September / October, 1986

        Donald G. Firesmith and   
               Colin B. Gilyeat   Resolution of Ada-related concerns in
                                  DoD-STD-2167, revision A . . . . . . . . 29--33
                    Steve Roski   DoD-STD-2167A Coding Standard (Draft)    34--44
                       S. Roski   DoD-STD-2167 default Ada design and
                                  coding standard  . . . . . . . . . . . . 34--44
          M. Mac an Airchinnigh   The real issues in Ada
                                  education/training . . . . . . . . . . . 86--93

ACM SIGADA Ada Letters
Volume 6, Number 6, November / December, 1986

                 Judy M. Bishop   A Complete Notation for Ada Charts . . . 49--53
                Thomas J. Fleck   A Specification for Ada Machine Code
                                  Insertions . . . . . . . . . . . . . . . 54--60
              Thomas J. Wheeler   An Example of the Developer's
                                  Documentation for an Embedded Computer
                                  System Written in Ada, Part 1  . . . . . 61--71


ACM SIGADA Ada Letters
Volume 7, Number 1, January / February, 1987

              Thomas J. Wheeler   An Example of the Developer's
                                  Documentation for an Embedded Computer
                                  System Written in Ada, Part 2  . . . . . 40--48
          Thomas. M. Burger and   
               Kjell W. Nielsen   An Assessment of the Overhead Associated
                                  with Tasking facilities and Task
                                  Paradigms in Ada . . . . . . . . . . . . 49--58
                Michael Woodger   Origins of Ada Features  . . . . . . . . 59--70
                 Terry Froggatt   Fixed-point conversion, multiplication,
                                  and division in Ada  . . . . . . . . . . 71--81
             Kirk P. Arnett and   
              Charles M. Butler   Ada Language Training with a COBOL
                                  Translation Model  . . . . . . . . . . . 82--88
              Donald R. Clarson   Ada Information Hiding --- Additional
                                  Notes  . . . . . . . . . . . . . . . . . 89--93
           George W. Macpherson   We're Using the Wrong Name . . . . . . . 94--96
                       A. Burns   Using Large families for Handling
                                  Priority Requests  . . . . . . . . . . . 97--104

ACM SIGADA Ada Letters
Volume 7, Number 2, March / April, 1987

       Ada Joint Program Office   Ada Compiler Validation Procedures and
                                  Guidelines, Version 1.1  . . . . . . . . 28--57
                    P. Carr and   
               R. Stevenson and   
                    J. Alea and   
                J. Berthold and   
                G. Groucher and   
                   M. Davis and   
                 G. Dobbins and   
                     D. Law and   
                  V. Szarek and   
                     W. Webster   Implementation of a Prototype CAIS
                                  Environment  . . . . . . . . . . . . . . 58--72
               J. Kaye Grau and   
             Kathleen A. Gilroy   Compliant mappings of Ada programs to
                                  the DoD-STD-2167 static structure  . . . 73--84
             David S. Rosenblum   An Efficient Communication Kernel for
                                  Distributed Ada Runtime Tasking
                                  Supervisors  . . . . . . . . . . . . . . 102--117
              Joseph Harkleroad   Analyzing Ada Concurrent Algorithms  . . 118--134

ACM SIGADA Ada Letters
Volume 7, Number 3, May / June, 1987

              Mark McNickle and   
                      Ann Reedy   Experiences in Using Ada with DBMS
                                  Applications . . . . . . . . . . . . . . 40--49
                 L. Scott McCoy   Interfacing Ada and Relational Databases 50--59
          Jane E. D. Donaho and   
                Genell K. Davis   Ada-embedded SQL: the options  . . . . . 60--72
                    Karl Rehmer   Development and Implementation of the
                                  Magnavox Generic Ada Basic Mathematics
                                  Package  . . . . . . . . . . . . . . . . 73--83
              G. Vittorio Frigo   Evaluation of the VAX\TM Ada\reg
                                  compiler and APSE by Means of a Real
                                  Program  . . . . . . . . . . . . . . . . 84--93
           David C. Luckham and   
               Randall Neff and   
             David S. Rosenblum   An Environment for Ada Software
                                  Development Based on Formal
                                  Specification  . . . . . . . . . . . . . 94--106

ACM SIGADA Ada Letters
Volume 7, Number 4, July / August, 1987

                      U. S. DoD   DoD Directive 3405.1: Computer
                                  Programming Languages Policy . . . . . . 42--44
                      U. S. DoD   DoD Directive 3405.2: Use of Ada in
                                  Weapon Systems . . . . . . . . . . . . . 45--53
               Ed Seidewitz and   
                     Mike Stark   Towards a General Object-Oriented
                                  Software Development Methodology . . . . 54--67
                     Stowe Boyd   Object-Oriented Design and Pamela: a
                                  Comparison of Two Design Methods for Ada 68--78
                   S. E. Watson   Ada Modules  . . . . . . . . . . . . . . 79--84
                 I. C. Wand and   
                J. R. Firth and   
              C. H. Forsyth and   
                    L. Tsao and   
                   K. S. Walker   Facts and Figures About the York Ada
                                  Compiler . . . . . . . . . . . . . . . . 85--87
             Souripriya Das and   
              Stephen R. Schach   An Ada-LISP Interface Generator  . . . . 88--97
                 Karl A. Nyberg   Using Representation Clauses as an
                                  Operating System Interface . . . . . . . 98--101

ACM SIGADA Ada Letters
Volume 7, Number 5, September / October, 1987

                  R. W. Sebesta   Yet Another Survey of Ada Usage and Ada
                                  Training . . . . . . . . . . . . . . . . 34--39
                Ronald J. Leach   Experiences Teaching Concurrency in Ada  40--41
             R. D. Huijsman and   
             J. van Katwijk and   
                   C. Pronk and   
                 W. J. Toetenel   Translating Algol 60 Programs into Ada:
                                  Report on a Feasability Study  . . . . . 42--50
                A. Tetewsky and   
                      R. Racine   Ada Compiler Selection for Embedded
                                  Targets  . . . . . . . . . . . . . . . . 51--62
                 Randal Leavitt   Adjustable Precision Floating Point
                                  Arithmetic in Ada  . . . . . . . . . . . 63--78
                Steven M. Rosen   Controlling Dynamic Ada Objects in Large
                                  Ada Systems  . . . . . . . . . . . . . . 79--92
                Steven M. Rosen   Controlling dynamic objects in large Ada
                                  systems  . . . . . . . . . . . . . . . . 79--92
              David A. Cook and   
               Dean W. Gonzalez   Notes on Ada Abstraction . . . . . . . . 93--95
              David A. Cook and   
               Dean W. Gonzalez   Notes on data abstraction  . . . . . . . 93--95
              Donald R. Clarson   Proposal for Adding Discriminants for
                                  Ada Task Types . . . . . . . . . . . . . 96--99
             Edmund R. Matthews   Observations on the Portability of Ada
                                  I/O  . . . . . . . . . . . . . . . . . . 100--103
            Donald G. Firesmith   Two Impediments to the proper use of Ada 104--104
                    R. W. Shore   Discrete-Event Simulation in Ada:
                                  Concepts . . . . . . . . . . . . . . . . 105--112
                      Anonymous   The challenge of Ada runtime
                                  environments (ARTEWG)  . . . . . . . . . 113--127
              ACM SIGAda ARTEWG   The Challenge of Ada Runtime
                                  Environments . . . . . . . . . . . . . . 113--127

ACM SIGADA Ada Letters
Volume 7, Number 6, Fall, 1987

                     Dock Allen   Tailored Run-Time Environments for
                                  Real-Time Applications . . . . . . . . . 13--14
            L. R. Collingbourne   A Practical Approach to Developing
                                  Real-Time Ada Programs for Embedded
                                  Systems  . . . . . . . . . . . . . . . . 15--17
                   R. O. Domitz   Real-Time Ada Debugging  . . . . . . . . 18--20
                     Greg Burns   Cross-Debugging Real-Time Ada Programs   21--23
                   Robert Firth   A Pragmatic Approach to Ada Insertion    24--26
            Dennis Cornhill and   
                    Lui Sha and   
           John P. Lehoczky and   
        Ragunathan Rajkumar and   
                    Hide Tokuda   Limitations of Ada for Real-Time
                                  Scheduling . . . . . . . . . . . . . . . 33--39
                    Anders Ardo   Real-Time Efficiency of Ada in a
                                  Multiprocessor Environment . . . . . . . 40--42
                   A. Burns and   
                 A. J. Wellings   Real-Time Ada Issues . . . . . . . . . . 43--46
                   Gary Frankel   Improving Ada Tasking Performance  . . . 47--48
                Frank McCormick   Scheduling Difficulties of Ada in the
                                  Hard Real-Time Environment . . . . . . . 49--50
          C. Douglass Locke and   
                 David R. Vogel   Problems in Ada Runtime Task Scheduling  51--53
                 John C. Knight   Ada on Fault-Tolerant Distributed
                                  Systems  . . . . . . . . . . . . . . . . 61--63
                   Trevor Mudge   Units of Distribution for Distributed
                                  Ada  . . . . . . . . . . . . . . . . . . 64--66
         S. Crespi Reghizzi and   
                 A. Di Maio and   
                     F. Maderna   Distributable Ada Programs . . . . . . . 67--69
                Richard A. Volz   Distributed Ada Execution: a
                                  Definitional Void  . . . . . . . . . . . 70--72
             A. D. Hutcheon and   
              D. S. Snowden and   
                 A. J. Wellings   Programming and Debugging Distributed
                                  Real-Time Applications in Ada  . . . . . 73--76
                  Mark C. Paulk   Real-Time Performance of Distributed Ada
                                  Programs . . . . . . . . . . . . . . . . 77--78
                      Ted Baker   Ada Runtime Support Environments to
                                  Better Support Real-Time Systems . . . . 85--87
               J. P. Sarkar and   
                     T. T. Wong   Impacts of Ada Features on Real-Time
                                  Performance  . . . . . . . . . . . . . . 88--92
            Rudolf Landwehr and   
               Peter Hensel and   
                 Rami Bayan and   
                   Antonio Kung   A model for a portable Ada run-time
                                  library  . . . . . . . . . . . . . . . . 93--96
                  Angel Alvarez   Real-Time Programming and Priority
                                  Interrupt Systems  . . . . . . . . . . . 97--100
                Robert G. Clark   Designing Concurrent Objects . . . . . . 107--109
                 Ralph Back and   
             Reino Kurki-Suonio   A New Paradigm for the Design of
                                  Concurrent Systems . . . . . . . . . . . 110--112
                Mike Kamrad and   
                 Rakesh Jha and   
            Greg Eisenhauer and   
                Dennis Cornhill   Distributed Ada  . . . . . . . . . . . . 113--115
     Elisabeth Broe Christensen   Ada Features and Real-Time Embedded
                                  Applications . . . . . . . . . . . . . . 116--118
    Elisabeth Broe Christiansen   Ada features and real-time embedded
                                  applications . . . . . . . . . . . . . . 116--118
             Patrick de Bondeli   Real-Time Ada Systems: Development
                                  Methodology and Real-Time Performance    119--120
                   R. H. Pierce   On the Use of Passive Tasks in Ada . . . 121--123
                     Ian Mearns   Developing Real-Time Ada Systems . . . . 124--126
            Anthony Gargaro and   
               Benjamin Brosgol   International Workshop on Real-Time Ada
                                  Issues . . . . . . . . . . . . . . . . . ??

ACM SIGADA Ada Letters
Volume 7, Number 7, November / December, 1987

            Dennis Cornhill and   
                        Lui Sha   Priority Inversion in Ada --- or ---
                                  What Should be the Priority of an Ada
                                  Server Task? . . . . . . . . . . . . . . 30--32
                    Ken Shumate   An Example Case Study on Ada Tasking . . 33--54
                     Ken Sumate   An example case study on Ada tasking . . 33--54
                Susan Flynn and   
            Edith Schonberg and   
               Edmond Schonberg   The efficient termination of Ada tasks
                                  in a multi-processor environment . . . . 55--76
                    J. P. Rosen   In Defense of the ``use'' clause . . . . 77--81


ACM SIGADA Ada Letters
Volume 8, Number 1, January / February, 1988

               Bill Brykczynski   Methods of Binding Ada to SQL: a General
                                  Discussion . . . . . . . . . . . . . . . 38--51
                   Geoff Mendal   Three Reasons to Avoid the Use Clause    52--57
               Bryce Bardin and   
           Christopher Thompson   Composable Ada Software Components and
                                  the Re-Export Paradigm . . . . . . . . . 58--79
                        D. Wood   The Algorithm Capture Approach to Ada
                                  Transition . . . . . . . . . . . . . . . 80--90
               Benjamin Brosgol   International workshop on real-time Ada
                                  issues: summary report . . . . . . . . . 91--107

ACM SIGADA Ada Letters
Volume 8, Number 2, March / April, 1988

                      Ann Reedy   CAIS Comments and Responses  . . . . . . 28--38
            Bryce M. Bardin and   
        Christopher J. Thompson   Using the Re-Export Paradigm to Build
                                  Composable Ada Software Components . . . 39--54
                Ken Shumate and   
                  Kjell Nielsen   A Taxonomy of Ada Packages . . . . . . . 55--76
                 Ken Sumate and   
                  Kjell Nielsen   A taxonomy of Ada packages . . . . . . . 55--76
                Norman H. Cohen   Dependence on Ada Task Scheduling is Not
                                  ``Erroneous''  . . . . . . . . . . . . . 77--83
               James J. Maloney   Using the VAX/VMS Lock Manager with Ada
                                  Tasks  . . . . . . . . . . . . . . . . . 84--95
                  David P. Wood   The Algorithm Capture Approach to Ada
                                  Transition . . . . . . . . . . . . . . . 96--106
                   Sam Harbaugh   Comments and Recommendation on MOSI from
                                  an Ada Point of View . . . . . . . . . . 107--109
           Marion G. Harmon and   
                   Ted P. Baker   An Ada Implementation of Marsaglia's
                                  ``Universal'' Random Number Generator    110--112

ACM SIGADA Ada Letters
Volume 8, Number 3, May / June, 1988

                      Anonymous   Ada runtime environment working group
                                  --- a framework for describing Ada
                                  runtime environment  . . . . . . . . . . 51--68
                      J. Kerner   Development methodology committee ---
                                  ADL developers matrix  . . . . . . . . . 69--80
                  H. Romanowsky   Educational products working group Ada
                                  publications list  . . . . . . . . . . . 81--83
                Chuck Roark and   
                     Ron McAfee   The applicability of Ada to
                                  MIL-STD-1750A  . . . . . . . . . . . . . 84--86
                       C. Roast   The applicability of Ada (R) to
                                  MIL-STD-1750A  . . . . . . . . . . . . . 84--86
              David P. Wood and   
                  David Turcaso   Implementing a faster string search
                                  algorithm in Ada . . . . . . . . . . . . 87--97
                  N. Altman and   
                   N. Weiderman   Timing variation in dual loop benchmarks 98--106
                   J. R. Carter   MMAIM: a software development method for
                                  Ada. I. Description  . . . . . . . . . . 107--114
                    C. McDonald   The Ada ASEET team . . . . . . . . . . . 115--122
                 C. W. McDonald   The Ada Software Engineering Education
                                  and Training (ASEET) team  . . . . . . . 115--122
                      R. Racine   Why the use clause is beneficial (Ada)   123--127

ACM SIGADA Ada Letters
Volume 8, Number 4, July / August, 1988

Office of the Under Secretary of Defense for Acquisition   Excerpts from Fall 1987 report of the
                                  Defense Science Board Task Force on
                                  military software  . . . . . . . . . . . 35--46
Office of the Under Secretary of Defense for Acquisition   Report of the Defense Science Board Task
                                  Force on military software: September
                                  1987 . . . . . . . . . . . . . . . . . . 35--46
Task Force on Military Software Defense Science Board   Report of the Defense Science Board Task
                                  Force on Military Software . . . . . . . 35--46
                      Ada Board   Response to the Defense Science Board
                                  Task Force on Military Software  . . . . 47--68
Office of the Under Secretary of Defense for Acquisition   Ada Board response to the Report of the
                                  Defense Science Board Task Force on
                                  Military Software  . . . . . . . . . . . 47--68
               Scott A. DeLoach   An Interface-Based Ada Programming
                                  Support Environment  . . . . . . . . . . 70--82
               Scott A. DeLoach   An interface-based Ada programming
                                  support environment  . . . . . . . . . . 70--82
                   Rose Hoskins   The design and implementation of a Karel
                                  compiler and interpreter . . . . . . . . 83--96
                 Richard F. Puk   Report on the Meeting of ISO/IEC
                                  JTC1/SC24/WG4 Computer Graphics Language
                                  Bindings held in Tokyo, Japan, April
                                  12--20, 1988 . . . . . . . . . . . . . . 97--103
                      SPS, Inc.   Naval Avionics Center Ada-Based Design
                                  Languages Workshop Summary of Events . . 103--118
Software Productivity Solutions, Inc.   Naval Avionics Center Ada-Based Design
                                  Languages Workshop summary of events . . 104--118

ACM SIGADA Ada Letters
Volume 8, Number 5, September / October, 1988

                       E. Perez   Simulating Inheritance with Ada  . . . . 37--46
                   J. R. Carter   MMAIM: a software development method for
                                  Ada, part II --- Example . . . . . . . . 47--60
                   J. Cheng and   
                   K. Araki and   
                    K. Ushijima   Tasking Communication Deadlocks in
                                  Concurrent Ada Programs  . . . . . . . . 61--70
                 G. E. Anderson   An Ada multitasking solution for the
                                  Sieve of Eratosthenes  . . . . . . . . . 71--74
                 C. S. Herr and   
            D. G. McNicholl and   
                    S. G. Cohen   Compiler validation and reusable Ada
                                  parts for real-time, embedded
                                  applications . . . . . . . . . . . . . . 75--86
                 D. W. Gonzalez   An Ada Tasking Demo  . . . . . . . . . . 87--91
                      P. Rogers   Dimensional Analysis in Ada  . . . . . . 92--100
             Avram Tetewsky and   
                 Ann Clough and   
               Roger Racine and   
                  R. Whittredge   Mapping Ada onto Embedded Systems:
                                  Memory Constraints . . . . . . . . . . . 101--109
            Donald G. Firesmith   Mixing Apples and Oranges: or What is an
                                  Ada Line of Code Anyway? . . . . . . . . 110--112

ACM SIGADA Ada Letters
Volume 8, Number 6, November / December, 1988

                      J. Kerner   Ada design language developers matrix    35--48
                Gertrude Levine   The Control of Priority Inversion in Ada 53--56
            Mahmoud Parsian and   
             Brayan Basdell and   
               Yusuf Bhayat and   
               Ian Caldwell and   
               Neva Garland and   
           Bruce Jubanowsky and   
               Jeanne Robinette   Ada Translation Tools Development:
                                  Automatic Translation of FORTRAN to Ada  57--71
           Philippe Collard and   
                  Andre Goforth   Knowledge Based Systems and Ada: An
                                  Overview of the Issues . . . . . . . . . 72--81
             Guo-Guang Xing and   
                    Hui Rao and   
                    Bin Liu and   
                   Jun Shen and   
                  Ming-Yuan Zhu   An Integrated Ada Programming
                                  Environment: AWA . . . . . . . . . . . . 82--91

ACM SIGADA Ada Letters
Volume 8, Number 7, Fall, 1988

                Mark Borger and   
                 Mark Klein and   
           Nelson Weiderman and   
                        Lui Sha   A Testbed for Investigating Real-Time
                                  Ada Issues . . . . . . . . . . . . . . . 7--11
                   Tzilla Elrad   Comprehensive Scheduling Controls for
                                  Ada Tasking  . . . . . . . . . . . . . . 12--19
         John B. Goodenough and   
                        Lui Sha   The Priority Ceiling Protocol: a Method
                                  for Minimizing the Blocking of High
                                  Priority Ada Tasks . . . . . . . . . . . 20--31
             Jane W. S. Liu and   
                Kwei-Jay J. Lin   On Means to Provide Flexibility in
                                  Scheduling . . . . . . . . . . . . . . . 32--34
                C. D. Locke and   
               J. B. Goodenough   A practical application of the ceiling
                                  protocol in a real-time system . . . . . 35--38
             Douglass Locke and   
                    Lui Sha and   
        Ragunathan Rajkumar and   
              John Lehoczky and   
                     Greg Burns   Priority inversion and its control: An
                                  experimental investigation . . . . . . . 39--42
                      Ted Baker   Improving Immediacy in Ada . . . . . . . 50--56
             Patrick de Bondeli   Asynchronous Transfer of Control and
                                  Scheduling Problems  . . . . . . . . . . 57--60
                     J. R. Hunt   Interrupts and Ada . . . . . . . . . . . 61--64
             W. J. Toetenel and   
                 J. van Katwijk   Asynchronous Transfer of Control in Ada  65--79
                C. Atkinson and   
                 S. J. Goldsack   Communication Between Ada Programs in
                                  DIADEM . . . . . . . . . . . . . . . . . 86--96
                 Judy M. Bishop   Three steps to distribution:
                                  partitioning, configuring, and adapting  97--100
           Hans-Stephan Jansohn   Ada for Distributed Systems  . . . . . . 101--103
                P. Krishnam and   
                 R. A. Volz and   
                R. J. Theriault   Implementation of Task Types in
                                  Distributed Ada  . . . . . . . . . . . . 104--107
                P. Krishnan and   
                 R. A. Volz and   
                R. J. Theriault   Implementation of task types in
                                  distributed Ada  . . . . . . . . . . . . 104--107
              A. D. Hucheon and   
                 A. J. Wellings   Supporting Ada in a Distributed
                                  Environment  . . . . . . . . . . . . . . 113--117
             A. D. Hutcheon and   
                 A. J. Wellings   Supporting Ada in a distributed
                                  environment  . . . . . . . . . . . . . . 113--117
             Sergio Arevalo and   
                  Angel Alvarez   Fault Tolerant Distributed Ada . . . . . 118--122
             John C. Knight and   
                Marc E. Rouleau   A New Approach to Fault Tolerance in
                                  Distributed Ada Programs . . . . . . . . 123--126
                      Anonymous   Second International Workshop on
                                  Real-Time ADA Issues . . . . . . . . . . ??
                    John Barnes   Second International Workshop on
                                  Real-Time Ada Issues . . . . . . . . . . ??

ACM SIGADA Ada Letters
Volume 8, Number 3, May / June, 1989

                       C. Roast   The Applicability of Ada to
                                  Mil-Std-1750A  . . . . . . . . . . . . . 84--86
                    P. Wood and   
                     D. Turcaso   Implementing a Faster String Search
                                  Algorithm in Ada . . . . . . . . . . . . 87--97
                  N. Altman and   
               Nelson Weiderman   Timing Variations in Dual Loop
                                  Benchmarks . . . . . . . . . . . . . . . 98--106
                      J. Carter   MMAIM: a Software Development Method for
                                  Ada  . . . . . . . . . . . . . . . . . . 107--114
                    C. McDonald   The Ada ASEET Team . . . . . . . . . . . 115--122
                   Roger Racine   Why the Use Clause is Beneficial . . . . 123--127


ACM SIGADA Ada Letters
Volume 9, Number 1, January / February, 1989

                  B. Bardin and   
                  C. Colket and   
                       D. Smith   Implementation of unsigned integers in
                                  Ada  . . . . . . . . . . . . . . . . . . 47--70
                      Anonymous   A model runtime system interface for Ada
                                  Version 2.3  . . . . . . . . . . . . . . 84--132
              ACM SIGAda ARTEWG   A Model Runtime System Interface for
                                  Ada, Version 2.3 . . . . . . . . . . . . 84--132
                 Rakesh Jha and   
            Greg Eisenhauer and   
      J. Michael Kamrad, II and   
                Dennis Cornhill   An Implementation Supporting Distributed
                                  Execution of Partitioned Ada Programs    147--160

ACM SIGADA Ada Letters
Volume 9, Number 2, March / April, 1989

            Greg Eisenhauer and   
                 Rakesh Jha and   
          J. Michael Kamrad, II   Targeting a Traditional Compiler to a
                                  Distributed Environment  . . . . . . . . 45--51
               Jingde Cheng and   
                 Kazuo Ushijima   Naming Ada Tasks at Run-Time . . . . . . 52--61
               C. Genillard and   
                    N. Ebel and   
                  A. Strohmeier   Rationale for the Design of Reusable
                                  Abstract Data Types Implemented in Ada   62--71
                       K. Dritc   Plugging the holes in the Sieve of
                                  Eratosthenes . . . . . . . . . . . . . . 72--77
               Kenneth W. Dritz   Plugging the holes in the Sieve of
                                  Eratosthenes . . . . . . . . . . . . . . 72--77
              Richard M. Ladden   A Survey of Issues to be Considered in
                                  the Development of an Object-Oriented
                                  Development Methodology for Ada  . . . . 78--89
                   Steve Vestal   Mixing Coroutines and Processes in an
                                  Ada Tasking Implementation . . . . . . . 90--101
                 Donald L. Ross   The Form of a Passive Iterator . . . . . 102--105
             Frederick A. Hosch   Message Passing and Administrators in
                                  Ada  . . . . . . . . . . . . . . . . . . 106--117
           Russell M. Clapp and   
                   Trevor Mudge   Ada on a Hypercube . . . . . . . . . . . 118--128

ACM SIGADA Ada Letters
Volume 9, Number 3, Spring, 1989

                      Anonymous   Approved Ada language commentaries . . . 1--341

ACM SIGADA Ada Letters
Volume 9, Number 4, May / June, 1989

                      J. Kerner   Ada design language developers matrix    30--42
               Arthur E. Salwin   The Variabilities are Variable . . . . . 84--86
                Gertrude Levine   Controlling Deadlock in Ada  . . . . . . 87--91
                     Will Tracz   Parameterization: a Case Study . . . . . 92--102
              Jeffrey R. Carter   Variable-Length String Input in Ada  . . 103--104
                   Tzilla Elrad   The issue of mutual control:
                                  synchronization and decision making
                                  control for Ada  . . . . . . . . . . . . 105--112

ACM SIGADA Ada Letters
Volume 9, Number 5, July / August, 1989

             Sergio Arevalo and   
                  Angel Alvarez   Fault Tolerant Distributed Ada . . . . . 54--59
            Reinhold P. Weicker   Dhrystone Benchmark (Ada Version 2):
                                  Rationale and Measurement Rules  . . . . 60--82
              Wolf-Dieter Heker   Sieve of Eratosthenes revisited  . . . . 83--83
                   Y. C. Wu and   
                   Ted P. Baker   A Source Code Documentation System for
                                  Ada  . . . . . . . . . . . . . . . . . . 84--88
              Mats Carlsson and   
                   Lars Asplund   A Data Acquisition and Information
                                  Handling System in Ada for Electron
                                  Spectroscopy . . . . . . . . . . . . . . 89--100
                      Eric Kiem   The KEYSTONE System Design Methodology   101--108
                        E. Klem   The KEYSTONE system design methodology   101--108
                Franco Mazzanti   The AIDA Experiment  . . . . . . . . . . 109--114
                     Stowe Boyd   The Role of Ada in Contemporary
                                  Interface Technology . . . . . . . . . . 115--122
              Andre Schiper and   
                   Roland Simon   Traps using the COUNT Attribute in the
                                  Readers-Writers Problem  . . . . . . . . 123--128

ACM SIGADA Ada Letters
Volume 9, Number 6, September / October, 1989

                      Anonymous   Ada and software management in NASA:
                                  assessment and recommendations . . . . . 53--66
                   A. Burns and   
                 A. J. Wellings   Programming Atomic Actions in Ada  . . . 67--79
             Krzysztof M. Sacha   Ada: Adding Reliability and Efficiency
                                  to Task Communication in Programming
                                  Distributed Control Systems  . . . . . . 80--89
                Franco Mazzanti   Reducing Unpredictability in Ada
                                  Executions . . . . . . . . . . . . . . . 90--96
          Joanne Goldenberg and   
                Gertrude Levine   Ada's abort statement: license to kill   97--103
                    David Papay   Forcing the Completion of Abnormal Tasks 104--107
                  D. Sterne and   
              A. Glendening and   
               B. Jachowski and   
                      G. Pretti   A Simplified Graphic Notation for Ada
                                  Programs . . . . . . . . . . . . . . . . 108--118
                     P. Collard   Object-Oriented Programming Techniques
                                  With Ada --- An Example  . . . . . . . . 119--126

ACM SIGADA Ada Letters
Volume 9, Number 7, November / December, 1989

               Jerzy Mysior and   
               Andrzej Paprocki   An Eight-Bit Character Set in Ada
                                  Programs . . . . . . . . . . . . . . . . 85--90
             Roger Van Scoy and   
             Judy Bamberger and   
                   Robert Firth   An Overview of DARK  . . . . . . . . . . 91--101
                 L. Asplund and   
                M. Carlsson and   
                D. Wengelin and   
                        G. Bray   Real-Time Ada Compilers for the 68020    102--113
                  Sriram Sankar   APE --- a set of \TeX macros to format
                                  Ada programs . . . . . . . . . . . . . . 114--128


ACM SIGADA Ada Letters
Volume 10, Number 1, January / February, 1990

                  Paul L. Baker   Ada as a Preprocessor Language . . . . . 83--91
               Dean W. Gonzalez   Multitasking Software Components . . . . 92--96
            Daniel Wengelin and   
   Mats Carlsson Göthe and   
                   Lars Asplund   Anonymous (No title) [A portable Ada
                                  solution to the problem of suspending a
                                  caller on one node during a call to a
                                  remote node] . . . . . . . . . . . . . . 97--99
            Daniel Wengelin and   
       Mats Carlsson Goethe and   
                   Lars Asplund   Anonymous (special topic)  . . . . . . . 97--99
                     M. Ben-Ari   Signaling from within Interrupt Handlers 100--103
             Marin David Condic   Junk Facts and the SlowSort  . . . . . . 104--110
                Y. E. Gail Wang   UNIVERSAL\_FILE\_NAMES For Ada . . . . . 111--117
              Jeffrey R. Carter   The Form of Reusable Ada Components for
                                  Concurrent Use . . . . . . . . . . . . . 118--121
             Frederick A. Hosch   Generic Instantiations as Closures . . . 122--130
                   Steven Haden   LEXICAL\_ANALYZER\_G: a Multi-Language
                                  Lexical Analysis Package . . . . . . . . 131--139
                  Ming-Yuan Zhu   Design of a Text Formatter with AUTO
                                  STAR . . . . . . . . . . . . . . . . . . 140--159

ACM SIGADA Ada Letters
Volume 10, Number 2, March / April, 1990

                  Henry Weidman   A Method for Converting Abstract Objects
                                  to Discrete Objects  . . . . . . . . . . 52--63
            Dieter Bär and   
                  Klaus Sum and   
              Léon Treff   SQL\_ArmAda: An Ada-Appropriate
                                  Interface to SQL . . . . . . . . . . . . 64--83
                        Sy Wong   Considerations of Ada in Chinese . . . . 84--88
          Juergen F. H. Winkler   A Definition of Lines of Code for Ada    89--94

ACM SIGADA Ada Letters
Volume 10, Number 3, Winter, 1990

                 John C. Knight   On the Assessment of Ada Performance . . 1--6
           Russell M. Clapp and   
                   Trevor Mudge   A rationale for the design and
                                  implementation of Ada benchmark programs 8--13
           Russell M. Clapp and   
                   Trevor Mudge   Introduction to the Special Issue on Ada
                                  Performance Issues . . . . . . . . . . . 10--13
           Russell M. Clapp and   
                   Trevor Mudge   Taxonomy of Benchmarks . . . . . . . . . 14--19
           Russell M. Clapp and   
                   Trevor Mudge   The Time Problem . . . . . . . . . . . . 20--28
           Russell M. Clapp and   
                   Trevor Mudge   The Space Problem  . . . . . . . . . . . 29--32
           Russell M. Clapp and   
                   Trevor Mudge   Parallel and Distributed Issues  . . . . 33--37
              Andre Goforth and   
           Philippe Collard and   
              Matthew Marquardt   Performance Measurement of Parallel Ada:
                                  An Applications Based Approach . . . . . 38--58
           Russell M. Clapp and   
                   Trevor Mudge   Optimization . . . . . . . . . . . . . . 59--59
            David Rosenfeld and   
                      Mike Ryer   Issues in Optimizing Ada Code  . . . . . 60--71
                     Daniel Roy   PIWG Measurement Methodology . . . . . . 72--90
          Robert H. Pollack and   
              David J. Campbell   Clock Resolution and the PIWG Benchmark
                                  Suite  . . . . . . . . . . . . . . . . . 91--97
           Russell M. Clapp and   
               Trevor Mudge and   
                     Daniel Roy   Recommendations and Future Trends  . . . 98--100
                      Anonymous   Ada Compiler Evaluation Capability
                                  (ACEC): An Overview  . . . . . . . . . . 101--110
                         Boeing   The Ada Compiler Evaluation Capability
                                  (ACEC) . . . . . . . . . . . . . . . . . 101
                      Anonymous   Ada Compiler Evaluation Capability
                                  (ACEC) Data Analysis: An Overview  . . . 111--125
      Air Force Systems Command   Ada Compiler Evaluation Capability
                                  (ACEC) data analysis: an overview  . . . 111--125
               Nelson Weiderman   Hartstone: Synthetic Benchmark
                                  Requirements for Hard Real-Time
                                  Applications . . . . . . . . . . . . . . 126--136
                  Daniel M. Roy   Results introduction . . . . . . . . . . 138--138
               Dan J. Byrne and   
                 Richard C. Ham   Ada Versus FORTRAN: Performance Analysis
                                  Using the ACPS . . . . . . . . . . . . . 139--145
                    Dale Gaumer   PIWG Test Results  . . . . . . . . . . . 146--210
                    Dale Gaumer   Reporting PIWG Test Results  . . . . . . 211--216
                Dale Gaumer and   
                     Daniel Roy   Reporting Test Results . . . . . . . . . 211--216
                 Daniel Roy and   
                  Lakshmi Gupta   PIWG Analysis Methodology  . . . . . . . 217--229

ACM SIGADA Ada Letters
Volume 10, Number 4, Spring, 1990

                    A. Bums and   
                 A. J. Wellings   Real-time Ada: outstanding problem areas 5--14
                   A. Burns and   
                 A. J. Wellings   Real-Time Ada: Outstanding Problem Areas 5--14
              Thomas J. Quiggle   Asynchronous transfer of control working
                                  group  . . . . . . . . . . . . . . . . . 15--24
              Thomas J. Quiggle   Ramifications of Re-introducing
                                  Asynchronous Exceptions to the Ada
                                  Language . . . . . . . . . . . . . . . . 25--31
                John Goodenough   Real-time tasking semantics working
                                  group  . . . . . . . . . . . . . . . . . 32--48
                    A. Bums and   
                 A. J. Wellings   Usability of the Ada tasking-model . . . 49--56
                   A. Burns and   
                 A. J. Wellings   Usability of the Ada Tasking Model . . . 49--56
                  Kenneth Elsom   Asynchronous Communication in Ada  . . . 57--65
                Anthony Gargaro   Virtual nodes/distributed systems
                                  working group  . . . . . . . . . . . . . 66--77
             S. J. Goldsack and   
                    C. Atkinson   An Object Oriented Approach to Virtual
                                  Nodes: Are Package Types an Answer?  . . 78--84
                Richard A. Volz   Virtual Nodes and Units of Distribution
                                  for Distributed Ada  . . . . . . . . . . 85--96
                 Roger Van Scoy   Communication issues working group . . . 97--113
          Richard D. Powers and   
                    Chuck Roark   Ada Support for Real-Time Systems  . . . 114--118
                      Ted Baker   Time issues working group  . . . . . . . 119--135
                      Ted Baker   Fixing Some Time-Related Problems in Ada 136--143
                Joseph K. Cross   Other compiler support working group . . 144--158
                     M. Ben-Ari   Ada Requirements for Small Real-Time
                                  Systems  . . . . . . . . . . . . . . . . 159--165
                      Anonymous   Third International Workshop on
                                  Real-Time Ada Issues . . . . . . . . . . ??

ACM SIGADA Ada Letters
Volume 10, Number 5, May / June, 1990

              John Matthews and   
              Jeffrey R. Carter   Letters to the editor  . . . . . . . . . 9--14
                     Doug Bryan   Dear Ada . . . . . . . . . . . . . . . . 41--47
                    Judy Kerner   Ada design language developers matrix    48--61
                   Trudy Levine   Reusable software components . . . . . . 62--65
                     Greg Gicca   A Simple Standardized Ada Command Line
                                  Interface  . . . . . . . . . . . . . . . 88--100
                     Geir Green   Access Values Pointing to Any Object . . 101--109
                   Jingde Cheng   A Classification of Tasking Deadlocks    110--127

ACM SIGADA Ada Letters
Volume 10, Number 6, July / August, 1990

                 Edward Colbert   SigAda . . . . . . . . . . . . . . . . . 5--5
                     Mats Weker   Comments on the paper
                                  ``Parameterization: a case study, by
                                  Will Tracz'' . . . . . . . . . . . . . . 16--17
          Alfred Strohmeier and   
        Christian Genillard and   
                     Mats Weber   Implementation of $8$-bit coded
                                  character sets in ADA  . . . . . . . . . 47--60
                   A. Burns and   
                  T. J. Quiggle   Effective Use of Abort in Programming
                                  Mode Changes . . . . . . . . . . . . . . 61--67
             Roger Van Scoy and   
             Judy Bamberger and   
                   Robert Firth   A Detailed view of DARK  . . . . . . . . 68--83
           James V. Chelini and   
            Donna D. Hughes and   
         Leonard J. Hoffman and   
             Denise M. Brunelle   An Example of Event-Driven Asynchronous
                                  Scheduling with Ada  . . . . . . . . . . 84--96
       Maria Manuel Freitas and   
                Ana Moreira and   
                Pedro Guerreiro   Object Oriented Requirements Analysis in
                                  an Ada Project . . . . . . . . . . . . . 97--109
            Ronald J. Theriault   A Scheme for the Translation of the
                                  Tucker Taft Select-And Statement into
                                  Standard ANSI Ada  . . . . . . . . . . . 110--113
                D. G. Firesmith   OOD and Ada Bibliography . . . . . . . . 114--128

ACM SIGADA Ada Letters
Volume 10, Number 7, September / October, 1990

                    Ken Tindell   Dynamic Code Replacement and Ada . . . . 47--54
           Leslie C. Lander and   
              Sandeep Mitra and   
           Thomas F. Piatkowski   Deterministic Priority Inversion in Ada
                                  Selective Waits  . . . . . . . . . . . . 55--62
                  Tom Pierpoint   Making Music with Ada  . . . . . . . . . 63--69
          Alfred Strohmeier and   
        Christian Genillard and   
                     Mats Weber   Ordering of Characters and Strings . . . 70--84
                   A. G. Murray   Ada Tasking as a Tool for Ecological
                                  Modelling  . . . . . . . . . . . . . . . 85--90
              Philippe Kruchten   Error Handling in Large, Object-Based
                                  Ada Systems  . . . . . . . . . . . . . . 91--103

ACM SIGADA Ada Letters
Volume 10, Number 8, November / December, 1990

              Cameron Donaldson   Letter from the editor . . . . . . . . . 12--12
                     Doug Bryan   Dear Ada . . . . . . . . . . . . . . . . 24--33
                    Judy Kerner   Ada Design Language Developers Matrixr   34--34
           James V. Chelini and   
            Donna D. Hughes and   
         Leonard J. Hoffman and   
             Denise M. Brunelle   An Example of Event-Driven Asynchronous
                                  Scheduling with Ada  . . . . . . . . . . 130--144
                   Steve Vestal   Linear Benchmarks  . . . . . . . . . . . 145--155
                 L. Scott McCoy   Bindings and Ada . . . . . . . . . . . . 156--160

ACM SIGADA Ada Letters
Volume 10, Number 9, Fall, 1990

               Andy J. Wellings   Real-time Requirements . . . . . . . . . 1--16
                      Ted Baker   Protected records, time management, and
                                  distribution . . . . . . . . . . . . . . 17--28
                   Ken C. Elsom   Shared Variables . . . . . . . . . . . . 29--30
                 Richard Powers   Asynchronous and Stand-alone Entries . . 31--34
                 Colin Atkinson   Object-Oriented Mechanisms . . . . . . . 35--38
        Fred A. Maymir-Ducharme   Dynamic Priorities, Priority Scheduling
                                  and Priority Inheritance . . . . . . . . 39--45
              Thomas J. Quiggle   Asynchronous Transfer of Control and
                                  Interrupt Handling . . . . . . . . . . . 46--49
                C. Atkinson and   
             Andrea di Maio and   
                       R. Bayan   Dragoon: an object-oriented notation
                                  supporting the reuse and distribution of
                                  Ada software . . . . . . . . . . . . . . 50--59
                       T. Baker   Opening up Ada Tasking . . . . . . . . . 60--64
               M. W. Borger and   
               J. B. Goodenough   Ada Usage/Performance Specification  . . 65--69
                       A. Burns   A performance standard for Ada 9X  . . . 70--74
                   A. Burns and   
             A. J. Wellings and   
                   G. L. Davies   Asynchronous transfer of control in Ada
                                  9X . . . . . . . . . . . . . . . . . . . 75--84
                  Joe Cross and   
                Mike Kamrad and   
            Sylvester Fernandez   Distributed Communications . . . . . . . 85--93
                  M. Kamrad and   
                       J. Cross   Distributed communications . . . . . . . 85--93
                     B. Dobbing   Distributed Ada: a Suggested Solution
                                  for Ada 9X . . . . . . . . . . . . . . . 94--102
                    K. C. Elsom   Prioritized asynchronism in Ada 9X . . . 103--110
              A. B. Gargaro and   
             S. J. Goldsack and   
                R. K. Power and   
                 R. A. Volz and   
                 A. J. Wellings   Adapting Ada for Distribution and Fault
                                  Tolerance  . . . . . . . . . . . . . . . 111--117
                C. D. Locke and   
                D. R. Vogel and   
                   T. J. Mesler   Predictable real-time avionics design
                                  using Ada tasks and rendezvous: a case
                                  study  . . . . . . . . . . . . . . . . . 118--125
                     Rakesh Jha   Parallel Ada: Issues in Programming and
                                  Implementation . . . . . . . . . . . . . 126--132
                  D. Hughes and   
                 L. Hoffman and   
               D. Brundelle and   
                     J. Chelini   An example of event-driven asynchronous
                                  scheduling with Ada  . . . . . . . . . . 130--144
                     Offer Pazy   Problems with Pthreads and Ada . . . . . 133--140
              Thomas J. Quiggle   Efficient Periodic Execution of Ada
                                  Tasks  . . . . . . . . . . . . . . . . . 141--146
                   Steve Vestal   Linear benchmarks  . . . . . . . . . . . 145--155
                 L. Scott McCoy   Bindings and Ada . . . . . . . . . . . . 156--160
                      Anonymous   Fourth International Workshop on
                                  Real-Time Ada Issues . . . . . . . . . . ??


ACM SIGADA Ada Letters
Volume 11, Number 1, January / February, 1991

            Christian Genillard   SYNTAX\_ANALYSER\_G: a Multi-Language
                                  Syntax Analysis Package  . . . . . . . . 57--70
                     Greg Gicca   Reuse\_System: software repository tool
                                  concepts . . . . . . . . . . . . . . . . 70--81
                   Jingde Cheng   A Survey of Tasking Deadlock Detection
                                  Methods  . . . . . . . . . . . . . . . . 82--91
                 Kiyoshi Tanaka   Using Ada at NTT . . . . . . . . . . . . 92--95
              Jeffrey R. Carter   Concurrent Reusable Abstract Data Types  96--101
                  P. Delrio and   
                    F. Mazzanti   The Risk of Destructive Run-time Errors  102--113
              P. D. Kenward and   
                 B. A. Wichmann   Approved Uniformity Issues . . . . . . . 114--120
                      J. Bishop   Distributed Ada: Developments and
                                  Experiences  . . . . . . . . . . . . . . 121

ACM SIGADA Ada Letters
Volume 11, Number 2, March / April, 1991

                      G. Levine   Signaling from within interrupt Handlers
                                  Reconsidered . . . . . . . . . . . . . . 53--55
               Dean W. Gonzalez   ``='' Considered Harmful . . . . . . . . 56--59
                 D. W. Gonzalez   Considered harmful (Ada private types)   56--59
          Betty Alexandra Toole   Ada, an analyst and a metaphysician  . . 60--71
                Pen-Nan Lee and   
               Chi-Hua Chin and   
                      W. Nehman   A Reselect Alternative for Ada's
                                  Selective Wait Statement . . . . . . . . 72--85
                   Ed Seidewitz   Object-oriented programming through type
                                  extension in Ada 9X  . . . . . . . . . . 86--97
                     M. Mattini   HP/Telegen2 Encapsulation: an
                                  integration project of the Telesoft Ada
                                  environment with HP CASE and OSF/Motif   98--106
                  Marco Falcone   Ada Compiler Evaluation on the Columbus
                                  Software Development Environment Project 107--114
            Swathi C. Solsi and   
                Edward L. Jones   Simple Yet Complete Heuristics for
                                  Transforming Data Flow Diagrams into
                                  Booch Style Diagrams . . . . . . . . . . 115--127

ACM SIGADA Ada Letters
Volume 11, Number 3, Spring, 1991

              James Solderitsch   Working group report library and
                                  representation subgroup of methods and
                                  tools for design, specification, and
                                  reuse  . . . . . . . . . . . . . . . . . 3--7
              James Solderitsch   Library and Representation Subgroup  . . 3
               Larry Latour and   
                Tom Wheeler and   
                    Bill Frakes   Descriptive and Predictive Aspects of
                                  the 3Cs Model, SETA1 Working Group
                                  Summary  . . . . . . . . . . . . . . . . 9--17
                    Tucker Taft   SETA1 working group on building,
                                  debugging and testing real-time and
                                  distributed systems  . . . . . . . . . . 19--27
                    Tucker Taft   Building, Debugging and Testing
                                  Real-Time and Distributed Systems  . . . 19
         Josephine Micallef and   
             Gail E. Kaiser and   
               Dewayne E. Perry   SETA1 working group on Ada libraries,
                                  configuration management, and version
                                  control  . . . . . . . . . . . . . . . . 29--31
         Josephine Micallef and   
             Gail E. Kaiser and   
               Dewayne E. Perry   Ada Libraries, Configuration Management,
                                  and Version Control  . . . . . . . . . . 29
                   David Mundie   Report of the integration mechanisms
                                  working group  . . . . . . . . . . . . . 33--35
                   David Mundie   Integration Mechanism Subgroup . . . . . 33
                Maria H. Penedo   SEE reference model working group ---
                                  summary  . . . . . . . . . . . . . . . . 37--46
         Josephine Micallef and   
                 Gail E. Kaiser   Extending the MERCURY System to Support
                                  Teams of Ada programmers . . . . . . . . 49--60
                Ed Matthews and   
                     Greg Burns   VADS APSE: An Integrated Ada Programming
                                  Support Environment  . . . . . . . . . . 61--72
                   Ray Ford and   
                      Hong Chew   AWING: a general purpose command
                                  interface generator (and an exercise in
                                  software reuse)  . . . . . . . . . . . . 73--82
            David A. Mundie and   
                David A. Fisher   Optimized Overload Resolution and Type
                                  Matching for Ada . . . . . . . . . . . . 83--90
              R. J. A. Buhr and   
                G. M. Karam and   
                   R. Casselman   Support for Specifying Temporal Behavior
                                  in Ada Designs . . . . . . . . . . . . . 91--101
                   Larry Latour   A Methodology for the Design of Reuse
                                  Engineered Ada Components  . . . . . . . 103--113
                    John Favaro   What price reusability? A case study . . 115--124
             C. M. Woodside and   
                E. M. Hagos and   
                   E. Neron and   
                  R. J. A. Buhr   The CAEDE Performance Analysis Tool  . . 125--136
            Deborah Rennels and   
               Edmond Schonberg   A Program Analysis Tool for Evaluating
                                  the Ada Compiler Validation Suite  . . . 137--146
                      Anonymous   1st International Symposium on
                                  Environments and Tools for Ada . . . . . ??
                      Anonymous   Preface  . . . . . . . . . . . . . . . . iii--iii

ACM SIGADA Ada Letters
Volume 11, Number 4, May / June, 1991

                    Ken Shumate   Structured Analysis and Object-Oriented
                                  Design are Compatible  . . . . . . . . . 78--90
                Lynn Purser and   
                   Robin Graham   Analysis of Ada-LINPACK Benchmark
                                  Results  . . . . . . . . . . . . . . . . 91--98
                      Anonymous   Ada Follies Songbook . . . . . . . . . . 99

ACM SIGADA Ada Letters
Volume 11, Number 5, July / August, 1991

               George W. Cherry   Stimulus-Response Machines: An Ada-Based
                                  Graphic Notation for Specifying,
                                  Designing, and Implementing Reactive or
                                  Interactive Systems  . . . . . . . . . . 30--46
                 James W. Moore   The ANSI Binding of SQL to Ada . . . . . 47--61
                Neal L. Walters   An Ada Object-Based Analysis and Design
                                  Approach . . . . . . . . . . . . . . . . 62--78
                 Henry G. Baker   Structured Programming with Limited
                                  Private Types in Ada: Nesting is for the
                                  Soaring Eagles . . . . . . . . . . . . . 79--90

ACM SIGADA Ada Letters
Volume 11, Number 6, September / October, 1991

                    Mike Kamrad   Protected records in Ada 9X  . . . . . . 49--53
                      Ted Baker   Time-related issues in Ada 9X  . . . . . 54--60
                 A. J. Wellings   Support for distributed systems in Ada
                                  9X . . . . . . . . . . . . . . . . . . . 61--63
                       K. Elsom   Object oriented programming facilities
                                  in Ada 9X  . . . . . . . . . . . . . . . 64--65
                 Alan Burns and   
               William Eventoff   Asynchronism in Ada 9X . . . . . . . . . 66--68
              C. Douglass Locke   Scheduling issues in Ada 9X  . . . . . . 69--74
                   K. Fussichen   Ada in information systems . . . . . . . 77--79
                      Anonymous   Fifth International Workshop on
                                  Real-Time Ada Issues . . . . . . . . . . ??

ACM SIGADA Ada Letters
Volume 11, Number 7, Fall, 1991

               Kenneth W. Dritz   Introduction to the proposed standard
                                  for the elementary functions in Ada  . . 3--8
                    K. W. Dritz   Proposed standard for a generic package
                                  of elementary functions for Ada  . . . . 9--46
                    ISO-IEC and   
                       JTC1 and   
                       SC22 and   
WG9 (Ada) Numerics Rapporteur Group   Proposed standard for a generic package
                                  of elementary functions for Ada  . . . . 9--46
               Kenneth W. Dritz   Rationale for the proposed standard for
                                  a generic package of elementary
                                  functions for Ada  . . . . . . . . . . . 47--65
                    K. W. Dritz   Proposed standard for a generic package
                                  of primitive functions for Ada . . . . . 66--82
                    ISO-IEC and   
                       JTC1 and   
                       SC22 and   
WG9 (Ada) Numerics Rapporteur Group   Proposed standard for a generic package
                                  of primitive functions for Ada . . . . . 66--82
               Kenneth W. Dritz   Rationale for the proposed standard for
                                  a generic package of primitive functions
                                  for Ada  . . . . . . . . . . . . . . . . 83--90
              Graham S. Hodgson   Proposed standard for packages of real
                                  and complex type declarations and basic
                                  operations for Ada (including vector and
                                  matrix types)  . . . . . . . . . . . . . 91--130
              Graham S. Hodgson   Rationale for the proposed standard for
                                  packages of real and complex type
                                  declarations and basic operations for
                                  Ada (including vector and matrix types)  131--139
                  Jon S. Squire   Proposed standard for a generic package
                                  of complex elementary functions (Ada)    140--165
                  Jon S. Squire   Rationale for the proposed standard for
                                  a generic package of complex elementary
                                  functions (Ada)  . . . . . . . . . . . . 166--179
            Ping Tak Peter Tang   A portable generic elementary function
                                  package in Ada and an accurate test
                                  suite  . . . . . . . . . . . . . . . . . 180--216
                  Jon S. Squire   Towards validation of generic elementary
                                  functions and other standard Ada
                                  numerics packages  . . . . . . . . . . . 217--243
                  Dik T. Winter   Floating point attributes in Ada . . . . 244--273
         Donald A. Celarier and   
                Donald W. Sando   An Ada math library for real-time
                                  avionics . . . . . . . . . . . . . . . . 274--284

ACM SIGADA Ada Letters
Volume 11, Number 8, Fall, 1991

                   D. Allen and   
                  M. Kamrad and   
                   C. McKay and   
                  R. Powers and   
                      P. Rogers   Catalogue of Interface Features and
                                  Options for the Ada runtime environment  177

ACM SIGADA Ada Letters
Volume 11, Number 9, November / December, 1991

               Donald Firesmith   Structured analysis and object-oriented
                                  development are not compatible . . . . . 56--66
            Kelly L. Spicer and   
              David A. Umphress   A method for mapping an analysis to a
                                  reusable design  . . . . . . . . . . . . 67--82
                Pen-Nan Lee and   
                 William Nehman   An overview of real-time issues and Ada  83--95
                 David Brookman   SA/SD vs. OOD  . . . . . . . . . . . . . 96--99
               Donald Firesmith   Object-oriented graphics for
                                  requirements analysis and logical design 100--115
                 Henry G. Baker   Object-oriented programming in
                                  Ada83---genericity rehabilitated . . . . 116--127


ACM SIGADA Ada Letters
Volume 12, Number 1, January / February, 1992

               Gregory M. Bowen   An organized, devoted, project-wide
                                  reuse effort . . . . . . . . . . . . . . 43--52
                   A. Burns and   
                 A. J. Wellings   In support of the Ada 9X real-time
                                  facilities . . . . . . . . . . . . . . . 53--64
         V. Blázquez and   
                 L. Redondo and   
                 J. L. Freniche   Experiences with ``delay until'' for
                                  Avionics computers . . . . . . . . . . . 65--72
               Faisel Saeed and   
               K. M. George and   
               M. H. Samadzadeh   Implementation of classical mutual
                                  exclusion algorithms in Ada  . . . . . . 73--84

ACM SIGADA Ada Letters
Volume 12, Number 2, March / April, 1992

                      Anonymous   WADAS '92  . . . . . . . . . . . . . . . 25
                      Anonymous   7th Knowledge-Based Software Engineering
                                  Conference: Call for Papers  . . . . . . 28
                      Anonymous   Report from the Commercial Ada Users
                                  Working Group (CAUWG)  . . . . . . . . . 29
                 Lewis Gray and   
            David S. Maibor and   
                      Jim O'Day   Report from the SIGAda Software
                                  Development Standards and Ada Working
                                  Group (SDSAWG) . . . . . . . . . . . . . 31--32
                      Anonymous   Report from the SIGAda Software
                                  Development Standards and Ada Working
                                  Group (SDSAWG) . . . . . . . . . . . . . 31
                      Anonymous   Preliminary Summer '92 SIGAda Meeting    33
               Michael Hirasuna   Using inheritance and polymorphism with
                                  Ada in government sponsored contracts    43--56
                   John Beidler   Relaxing the constraints on Ada's
                                  limited private types through functional
                                  expressions  . . . . . . . . . . . . . . 57--61
                   Marvin Early   An Ada real-time executive rate
                                  scheduler  . . . . . . . . . . . . . . . 62--75
                   Ed Seidewitz   Object-oriented programming with mixins
                                  in Ada . . . . . . . . . . . . . . . . . 76--90
              Jeffrey R. Carter   Ada 9X reusable components . . . . . . . 91--96
           Anthony Sterrett and   
                   Marvin Minei   Performance measures of the Ada
                                  Rendezvous . . . . . . . . . . . . . . . 97--101
          Michael L. Nelson and   
               Gilberto F. Mota   Object-oriented programming in
                                  Classic-Ada  . . . . . . . . . . . . . . 102--110

ACM SIGADA Ada Letters
Volume 12, Number 3, May / June, 1992

                      Anonymous   WADAS '92  . . . . . . . . . . . . . . . 40
                      Anonymous   Sixth Annual Rational Users' Group
                                  Meeting  . . . . . . . . . . . . . . . . 42
                      Anonymous   5th Annual Workshop on Software Reuse    43
                      Anonymous   Activities of the Ada Runtime
                                  Environment Working Group (ARTEWG) . . . 50
                      Anonymous   Report from the Commercial Ada Users
                                  Working Group (CAUWG)  . . . . . . . . . 64
                      Anonymous   Education Committee News . . . . . . . . 65
                    Judy Kerner   Ada Design Language/CASE developers
                                  matrix . . . . . . . . . . . . . . . . . 67--83
                   Trudy Levine   Reusable software components . . . . . . 84--91
                  David M. Wade   Designing for reuse: a case study  . . . 92--98
                     Tom Burger   Optimization Issues Relating to Subunits 99--109
                   Jun Shen and   
              Gordon V. Cormack   On generic formal package parameters in
                                  Ada 9X . . . . . . . . . . . . . . . . . 110--116
               Arcady Popov and   
               Ilia Gindysh and   
                 Vadim Rupp and   
                 Vasily Ziabkin   Pallada System . . . . . . . . . . . . . 117--125

ACM SIGADA Ada Letters
Volume 12, Number 4, July / August, 1992

                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 12
                      Anonymous   TRI-Ada '92  . . . . . . . . . . . . . . 16
               John A. Campbell   Creating Structure from Linearity in
                                  Non-Ada Interfaces . . . . . . . . . . . 20--23
                   Jingde Cheng   The Task Dependence Net in Ada software
                                  development  . . . . . . . . . . . . . . 24--35
                  Steve Roberts   Difficulties in Developing Re-usable
                                  Software Components Arising From the
                                  Lack of User Redefinition of Standard
                                  Assignment . . . . . . . . . . . . . . . 36--41
                    M. Lederman   The Difference Engine Book Review  . . . 42

ACM SIGADA Ada Letters
Volume 12, Number 5, September / October, 1992

                      Anonymous   Software Repositories --- Survey . . . . 14
                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 15
                      Anonymous   Activities of the Ada Runtime
                                  Environment Working Group (ARTEWG) . . . 30
                      Anonymous   Report of the Object Oriented Working
                                  Group and Sample Problem for Tri-Ada 92
                                  Panel  . . . . . . . . . . . . . . . . . 37
                   Trudy Levine   Reusable Software Components . . . . . . 43
          Albert Llamosí   On Ada Packages, Types and Task Types    47--58
               Arthur E. Salwin   Using the Proposed Elementary Functions
                                  Standard to Build a Strongly Typed Trig
                                  Package  . . . . . . . . . . . . . . . . 59--63
      Arnold M. Voketaitis, Jr.   A portable and reusable RDBMS interface
                                  for Ada  . . . . . . . . . . . . . . . . 64--76
          Michael L. Nelson and   
           Gilberto F. Mota and   
          Vassilios Theologitis   Concurrent Object-oriented Programming
                                  in Classic Ada . . . . . . . . . . . . . 77--83
                      L. Briand   Time management for Ada real-time
                                  systems  . . . . . . . . . . . . . . . . 84--95
                 Lo\"\ic Briand   Time management for real-time systems    84--95

ACM SIGADA Ada Letters
Volume 12, Number 6, November / December, 1992

                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 16
                    Judy Kerner   Ada Design Language/CASE Developers
                                  Matrix . . . . . . . . . . . . . . . . . 29--45
                       P. Baker   Response Letter from the Technical
                                  Editor . . . . . . . . . . . . . . . . . 46
                   Jun Shen and   
          Gordon V. Cormack and   
                 Dominic Duggan   Local Package Instances Are Not
                                  Equivalent to Generic Formal package
                                  Parameters . . . . . . . . . . . . . . . 47--49
             Erhard Ploedereder   How to program in Ada 9X, using Ada 83   50--58
                   A. Burns and   
                   G. L. Davies   Ada 9X protected types in Pascal-FC  . . 59--74
            Ufuk Verün and   
                   Tzilla Elrad   A critique of the Ada 9X mutual control
                                  mechanism (requeue) and an alternative
                                  mapping (onlywhen) . . . . . . . . . . . 75--80
                    D. E. Wrege   Protected kernels and Ada 9X real-time
                                  facilities . . . . . . . . . . . . . . . 81--87


ACM SIGADA Ada Letters
Volume 13, Number 1, January 1, 1993

                      Anonymous   SIGAda Working Groups  . . . . . . . . . 4
                      Anonymous   Activities of the Ada Run Time
                                  Environment Interest Group for Ada
                                  (SIGAda) . . . . . . . . . . . . . . . . 30
                 Mike Brown and   
        Walter Heimerdinger and   
              Nancy Leveson and   
                John McHugh and   
              Arch McKinlay and   
                George Romanski   Ada Run-Time Environment Working Group:
                                  proceedings from the software safety
                                  symposium  . . . . . . . . . . . . . . . 35--59
                      Anonymous   1991 Annual Report for the ACM Special
                                  Group for Ada (SIGAda): Ada Run-Time
                                  Environment Working Group Proceedings
                                  form the Software Safety Symposium . . . 35
                   Trudy Levine   Reusable software components . . . . . . 60--62
                     Mats Weber   Elaboration order issues in Ada 9X . . . 63--75

ACM SIGADA Ada Letters
Volume 13, Number 2, March / April, 1993

                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 12
                      Anonymous   WadaS '93: Call for Papers . . . . . . . 15
                      Anonymous   Tri-Ada '93: Call for Participation  . . 17
                      Anonymous   Summary of the 6th International
                                  Workshop on Real-Time Ada Issues . . . . 20
                 Alan Burns and   
                  Andy Wellings   Summary of the 6th International
                                  Workshop on real-time Ada issues . . . . 21--36
       Charles J. Antonelli and   
                Richard A. Volz   An alternative to asynchronous transfer
                                  of control in Ada 9X . . . . . . . . . . 37--43
           Alejandro Alonso and   
           Juan A. de la Puente   Reusable real-time executive in Ada.
                                  Design issues  . . . . . . . . . . . . . 44--53
                   A. Burns and   
                 A. J. Wellings   Measuring, monitoring and enforcing CPU
                                  execution time usage . . . . . . . . . . 54--64
                  Brian Dobbing   Experiences with the partitions model    65--77
             S. J. Goldsack and   
    A. A. Holzbacher-Valero and   
                    R. Volz and   
                     R. Waldrop   Translating an AdaPT partition to Ada9X  78--90
          C. Douglass Locke and   
           Thomas J. Mesler and   
                 David R. Vogel   Replacing passive tasks with Ada 9X
                                  protected records  . . . . . . . . . . . 91--96
                      Anonymous   6th International Workshop on Real-Time
                                  Ada Issues . . . . . . . . . . . . . . . ??

ACM SIGADA Ada Letters
Volume 13, Number 3, May / June, 1993

                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 15
                      Anonymous   WadaS '93  . . . . . . . . . . . . . . . 18
                    Judy Kerner   Ada Design Language/CASE Developer
                                  Matrix . . . . . . . . . . . . . . . . . 21
                 Luba Vladavsky   Activities of the Ada Semantic Interface
                                  Specification (ASIS) Working Group
                                  (ASISWG) . . . . . . . . . . . . . . . . 39--41
                      Anonymous   PIWG: a Status Report  . . . . . . . . . 42
                   Trudy Levine   Reusable Software Components . . . . . . 62--73
                 Paul R. Pukite   Automated interface code generation from
                                  Ada specifications . . . . . . . . . . . 74--85
             Michael Paulkovich   Ada overhead reconsidered  . . . . . . . 86--87
                 B. A. Wichmann   Are Booleans safe? . . . . . . . . . . . 88--90
                 Henry G. Baker   How to Steal from a Limited Private
                                  Account --- Why Mode IN OUT Parameters
                                  for Limited Types Must be Passed by
                                  Reference  . . . . . . . . . . . . . . . 91--95

ACM SIGADA Ada Letters
Volume 13, Number 4, July / August, 1993

                      Anonymous   Report from the SIGAda Software
                                  Development Standards and Ada Working
                                  Group (SDSAWG) . . . . . . . . . . . . . 22
                   Trudy Levine   Reusable Software Components . . . . . . 23--28
                    J. W. Moore   The impact of Ada 9X incompatibilities
                                  on projects converting from Ada 83 . . . 29--36
                   Kwok-bun Yue   An Ada Solution to the General Mutual
                                  Exclusion Problem  . . . . . . . . . . . 37--43
               Henrik Johansson   Object oriented programming and virtual
                                  functions in conventional languages (an
                                  extended abstract) . . . . . . . . . . . 44--48
       Daniel F. Waterhouse and   
                 Daniel L. Dyke   Rehost of a real-time interrupt-driven
                                  simulation onto a DOS/PC/Ada environment
                                  using OOD  . . . . . . . . . . . . . . . 49--62
             Brandon Goldfedder   Counter-intuitive programming  . . . . . 63--70
         Vitali Sh. Kaufman and   
          Mikhail V. Pavlov and   
                Sergei I. Rybin   Testing of Ada compiler diagnostics  . . 71--76
           Dean W. Gonzalez and   
                      Tim Peart   Applying Dimensional Analysis  . . . . . 77--86

ACM SIGADA Ada Letters
Volume 13, Number 5, September / October, 1993

                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 12
                   Trudy Levine   Reusable software components . . . . . . 17--19
             Michael D. Shapiro   Another D\_\_\_1 acronym . . . . . . . . 20--21
               Zensho Nakao and   
               Masaya Kinjo and   
                Masahiro Nakama   Ada and C: differences as the language
                                  for system programming . . . . . . . . . 22--31
            Henry G. Baker, Jr.   Safe and leakproof resource management
                                  using Ada83 limited types  . . . . . . . 32--42
                 Henry G. Baker   Strategies for the lossless encoding of
                                  strings as Ada identifiers . . . . . . . 43--47

ACM SIGADA Ada Letters
Volume 13, Number 6, November / December, 1993

                      Anonymous   SIGAda Annual Report for FY93  . . . . . 13
                      Anonymous   Quality Assessment Tool for
                                  Implementations of Ada . . . . . . . . . 26
                      Anonymous   WAdaS '93 Debate Video . . . . . . . . . 27
                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 28
                      Anonymous   Seventh International Real-Time Ada
                                  Issues Workshop: Call for Papers . . . . 32
                      Anonymous   Tri-Ada '94: Call for Participation  . . 33
                    Judy Kerner   Ada Design Language/CASE Developers
                                  Matrix . . . . . . . . . . . . . . . . . 37--55
                   Trudy Levine   Reusable Software Components . . . . . . 56--60
                    John Barnes   Introducing Ada 9X . . . . . . . . . . . 61--132
                      Anonymous   Evolution of Ada 9X  . . . . . . . . . . 66--158
                    Ken Shumate   BATCES solution #1: an object-oriented
                                  design from functional requirements
                                  analysis . . . . . . . . . . . . . . . . 133--161


ACM SIGADA Ada Letters
Volume 14, Number Special Issue, Fall, 1994

              R. J. A. Buhr and   
                G. M. Karam and   
             C. M. Woodside and   
               R. Casselman and   
                  G. Franks and   
                   H. Scott and   
                      D. Bailey   TimeBench: a CAD tool for real-time
                                  system design  . . . . . . . . . . . . . 3--15
              Sungwoon Choi and   
                Toshimi Minoura   User interface system based on active
                                  objects  . . . . . . . . . . . . . . . . 16--25
             Brian M. Barry and   
              James McGugan and   
                    Mike Wilson   DIR/SEE: a Smalltalk environment for
                                  developing Ada applications and
                                  maintaining legacies . . . . . . . . . . 26--35
          Jeanette M. Bruno and   
          Daniel J. Rosenkrantz   Interactive control restructuring  . . . 36--53
         E. W. Giering, III and   
                    T. P. Baker   A tool for the deterministic scheduling
                                  of real-time programs implemented as
                                  periodic Ada tasks . . . . . . . . . . . 54--73
               David Leeson and   
              Glenn MacEwen and   
                  David Andrews   Interfacing Ada with verification
                                  languages  . . . . . . . . . . . . . . . 74--81
              Alan W. Brown and   
                Maria H. Penedo   ``Environment integration'' working
                                  group summary SETA2  . . . . . . . . . . 85--92
       Timothy E. Lindquist and   
                Robert G. Munck   How do you pronounce OO-ERA-RDBMS-OMS?   93--98
                Kurt C. Wallnau   Workshop summary: user interface . . . . 99--103
                    Mark Dowson   ``Process'' working group summary SETA2  104--108
       Fred Maymir-Ducharme and   
                Teri Payton and   
                    Judy Kerner   ``Reuse'' and ``hybrid systems'' working
                                  groups summary --- SETA2 working groups
                                  2 and 6  . . . . . . . . . . . . . . . . 109--112

ACM SIGADA Ada Letters
Volume 14, Number 1, January / February, 1994

                Norman H. Cohen   Endian-independent record representation
                                  clauses  . . . . . . . . . . . . . . . . 27--29
                 Paul R. Pukite   Ada for MS-Windows applications  . . . . 30--37
                   A. Burns and   
                 A. J. Wellings   Implementing analysable hard real-time
                                  sporadic tasks in Ada 9X . . . . . . . . 38--49
               Michael Hirasuna   An Ada 9X subset for inheritance-based
                                  reuse and its translation to Ada 83
                                  (Part 1) . . . . . . . . . . . . . . . . 50--60
            Michael J. Paul and   
             John E. Gochenouer   A high resolution event timer Ada
                                  package for DOS environments . . . . . . 61--67

ACM SIGADA Ada Letters
Volume 14, Number 2, March / April, 1994

                       Hal Hart   Letter From the Chair: Changes in the
                                  Ada World  . . . . . . . . . . . . . . . 13
                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 16
                      Anonymous   Ada in Europe: Call for Papers . . . . . 18
                      Anonymous   Tri-Ada '94: Call for Participation  . . 20
Fairleigh Dickinson University, Teaneck, NJ   Reusable software components . . . . . . 24--49
               Janet Faye Johns   Activities of the artificial
                                  intelligence working group . . . . . . . 50--53
                      Anonymous   Activities of the Artificial
                                  Intelligence Working Group . . . . . . . 50
                 Luba Vladavsky   Activities of the Ada Semantic Interface
                                  Specification (ASIS) Working Group
                                  (ASISWG) . . . . . . . . . . . . . . . . 54--57
                      Anonymous   Activities of the Ada Semantic Interface
                                  Specification Working Group (ASISWG) . . 54
               Michael Hirasuna   An Ada 9X subset for inheritance-based
                                  reuse and its translation to Ada 83
                                  (Part 2) . . . . . . . . . . . . . . . . 58--67
                  Phil Brashear   The Ada Compiler Evaluation System . . . 68--79
             S. J. Goldsack and   
    A. A. Holzbacher-Valero and   
                    R. Volz and   
                     R. Waldrop   AdaPT and Ada 9X . . . . . . . . . . . . 80--92

ACM SIGADA Ada Letters
Volume 14, Number 3, May / June, 1994

                       Hal Hart   Message From the Chair . . . . . . . . . 12
                      K. Gilroy   Rendezvous Summary . . . . . . . . . . . 14
                      Anonymous   SIGAda Artificial Intelligence WG
                                  Meeting  . . . . . . . . . . . . . . . . 16
                      Anonymous   Ada Run Time Environment Working Group
                                  (ARTEWG) Meeting . . . . . . . . . . . . 18
                    Judy Kerner   Ada design language/CASE developers
                                  matrix . . . . . . . . . . . . . . . . . 20--38
               Michael Hirasuna   BATCES Solution #2: a Simplified SA/OOD
                                  Approach . . . . . . . . . . . . . . . . 39--60
          Jeffrey R. Carter and   
                   Bo I. Sanden   Ada Design of a Neural Network . . . . . 61--73
                Sergei I. Rybin   Ada in Russia: an overview . . . . . . . 74--79
                 James W. Moore   A Structure for a Defense Software Reuse
                                  Marketplace  . . . . . . . . . . . . . . 80--90
      Jonathan L. Schilling and   
      Johan Olmütz Nielsen   Automatic Compiler Recognition of
                                  Monitor Tasks  . . . . . . . . . . . . . 91--104
                 Lo\"\ic Briand   Ada Real-Time Systems and Basic Priority
                                  Inheritance  . . . . . . . . . . . . . . 105--112

ACM SIGADA Ada Letters
Volume 14, Number 4, July / August, 1994

                       Hal Hart   SIGAda being a good citizen within ACM
                                  and helping Ada too! . . . . . . . . . . 12--15
                   Trudy Levine   Reusable software components . . . . . . 23--27
           Daniel H. Ehrenfried   Static analysis of Ada programs  . . . . 28--35
                  S. Ron Oliver   Of pyramids and igloos: a brief cultural
                                  perspective  . . . . . . . . . . . . . . 36--42
           Stef Van Vlierberghe   Memory management in Ada83 and Ada9X . . 43--57
                 Thomas S. Radi   Automating improvements to the quality
                                  of your code, software quality . . . . . 58--71
                 Richard Riehle   Ada in China . . . . . . . . . . . . . . 72--75
                     John Rymer   Evolving an Ada curriculum to 9X . . . . 76--80

ACM SIGADA Ada Letters
Volume 14, Number 5, September / October, 1994

                   Trudy Levine   Reusable Software Components . . . . . . 47--63
                   Brad Balfour   Ada 9X: Tips and Tidbits . . . . . . . . 65--70
                   Kwok-bun Yue   Semaphores in Ada-94 . . . . . . . . . . 71--79
         V. Blázquez and   
                  A. Correa and   
                 J. L. Freniche   Advancing Ada 9X solutions in real time
                                  avionics computers . . . . . . . . . . . 80--87
           Roderick Chapman and   
                 Alan Burns and   
                  Andy Wellings   Static worst-case timing analysis of Ada 88--91

ACM SIGADA Ada Letters
Volume 14, Number 6, November 1, 1994

                      Anonymous   SIGAda Extended Executive Committee  . . 3
                      Anonymous   SIGAda Working Groups  . . . . . . . . . 4
                    Judy Kerner   Ada design language/CASE developers
                                  matrix . . . . . . . . . . . . . . . . . 19--40
                   Trudy Levine   Reusable software components . . . . . . 41--52
          Liisa Räihä   Delegation with Ada 9x . . . . . . . . . 53--56
              Jeffrey R. Carter   Ada's design goals and object-oriented
                                  programming  . . . . . . . . . . . . . . 57--61
               Milton Smith and   
                      Jag Sodhi   Marching towards a Software Reuse Future 62--72
                  P. A. Bennett   Software development for the Channel
                                  Tunnel: a summary  . . . . . . . . . . . 73--76


ACM SIGADA Ada Letters
Volume 15, Number 1, January 1, 1995

                      Anonymous   SIGAda Extended Executive Committee  . . 3
                      Anonymous   SIGAda Working Groups  . . . . . . . . . 4
                   Trudy Levine   Reusable software components . . . . . . 24--27
               William Whitaker   Activities of the DoD High Order
                                  Language Working Group . . . . . . . . . 28--38
                    John Barnes   Accessibility rules OK! (Ada 9X) . . . . 39--49
                   Henri E. Bal   Comparing data synchronization in Ada 9X
                                  and Orca . . . . . . . . . . . . . . . . 50--63
                   Pascal Ledru   Translation of the protected type
                                  mechanism in Ada 83  . . . . . . . . . . 64--69
                Michel Gauthier   Exception Handling in Ada-94: Initial
                                  Users' Requests and Final Features . . . 70--82

ACM SIGADA Ada Letters
Volume 15, Number 2, March / April, 1995

              Alexy V. Khrabrov   An Ada-like separate compilation style
                                  in C . . . . . . . . . . . . . . . . . . 23--30
                   Wayne Pullan   A pragmatic Ada software
                                  design/development methodology . . . . . 31--39
                Kevin J. Cronin   Integrating rate monotonic analysis into
                                  the preliminary Ada design process . . . 40--45
                 Philippe Laval   Implementing self-reproducing artificial
                                  organisms with Ada . . . . . . . . . . . 46--53
                    J.-P. Rosen   A naming convention for classes in Ada
                                  9X . . . . . . . . . . . . . . . . . . . 54--58
                John R. Newport   A performance model for real-time
                                  systems  . . . . . . . . . . . . . . . . 59--73

ACM SIGADA Ada Letters
Volume 15, Number 3, May / June 1, 1995

                      Anonymous   SIGAda Executive Committee . . . . . . . 3
                      Anonymous   SIGAda Working Groups  . . . . . . . . . 4
                      Anonymous   SIGAda WWW Server  . . . . . . . . . . . 19
                      Anonymous   Summer '95 SIGAda Meeting  . . . . . . . 35
                      Anonymous   SIGAda Artificial Intelligence WG
                                  Meeting  . . . . . . . . . . . . . . . . 39
                      Anonymous   SIGAda Artificial Intelligence Working
                                  Group Charter  . . . . . . . . . . . . . 40
                   Trudy Levine   Reusable software components . . . . . . 50--70
                   Brad Balfour   Expressing design inheritance
                                  relationships in Ada 95  . . . . . . . . 71--75
                    Paul Slater   Output from generic packages . . . . . . 76--79

ACM SIGADA Ada Letters
Volume 15, Number 4, July / August 1, 1995

                      Anonymous   SIGAda at a Crossroads?  . . . . . . . . 12
        Marie-France Mignon and   
             Florence Lescroart   Ada used to develop a simulator run by
                                  robots . . . . . . . . . . . . . . . . . 15--16
        Marie-France Mignon and   
             Florence Lescroart   Ada used for on-board flight control . . 17--18
               Paul Botting and   
                 Eugene Clayton   Ada used to develop visual and sensor
                                  displays . . . . . . . . . . . . . . . . 19--21
                  Ann Trüb   Ada used to develop a global positioning
                                  system for future spacecraft . . . . . . 22--22
                   Brad Balfour   Inheritance and child library units  . . 29--35
               Bard S. Crawford   Proposed icons for Ada 95  . . . . . . . 36--45
                   Pascal Ledru   Protected types with entry barriers
                                  depending on parameters of the entries:
                                  some practical examples  . . . . . . . . 46--49
                  Currie Colket   Ada Semantic Interface Specification
                                  (ASIS): frequently asked questions . . . 50--63

ACM SIGADA Ada Letters
Volume 15, Number 5, September 1, 1995

             Michael D. Griffin   1995 ACM/SIGAda Awards Program . . . . . 16
                      Anonymous   SIGAda WWW Server  . . . . . . . . . . . 18
                   Trudy Levine   Reusable software components . . . . . . 26--31
                  Currie Colket   Highlights of the June 1995
                                  ASISWG/ASISRG meeting  . . . . . . . . . 32--33
                    Mike Kamrad   Summary of ARTEWG workshop on
                                  distributed systems  . . . . . . . . . . 34--45
                R. K. Allen and   
                   A. Burns and   
                 A. J. Wellings   Sporadic tasks in hard real-time systems 46--51
                 George Morrone   Did we ever really want to be liberated
                                  from the von Neumann architecture?: or,
                                  assignment statement considered a
                                  nuisance . . . . . . . . . . . . . . . . 52--53

ACM SIGADA Ada Letters
Volume 15, Number 6, November 1, 1995

                      Anonymous   SIGAda Executive Committee . . . . . . . 4
                      Anonymous   SIGAda Working Groups  . . . . . . . . . 5
                      Anonymous   Local SIGAda Chapters  . . . . . . . . . 7
                    Judy Kerner   Ada design language/CASE developers
                                  matrix . . . . . . . . . . . . . . . . . 22--43
                   Trudy Levine   Reusable software components . . . . . . 44--45
                    Jim Abu-Ras   Optimal Mutex policy in Ada 95 . . . . . 46--56
               David A. Wheeler   Lovelace: an Ada 95 tutorial . . . . . . 57--66
                    David Syiek   C vs. Ada: arguing performance religion  67--69
                 George Morrone   Recursion: beyond factorial  . . . . . . 70--72


ACM SIGADA Ada Letters
Volume 16, Number 1, January 1, 1996

        Charlene Roberts-Hayden   Letter from SIGAda Vice-Chair of
                                  Meetings . . . . . . . . . . . . . . . . 16
                      Bob Munck   Ada95 and Java: a Major Opportunity for
                                  the Ada Community  . . . . . . . . . . . 18--20
                   Trudy Levine   Reusable software components . . . . . . 25--35
            Benjamin M. Brosgol   Ada-COBOL working group liaison report   36--43
                 Robert C. Leif   Commercializing Ada  . . . . . . . . . . 44--45
          Philippe Kruchten and   
             Dan Ehrenfried and   
               Kim Thompson and   
                 Chris Thompson   Ada type interchange --- moving data
                                  between platforms  . . . . . . . . . . . 46--53
                     Jess Irwin   Choosing a language for maintainable
                                  software . . . . . . . . . . . . . . . . 54--57
                Raymond J. Toal   Using Ada and C++ in computer science
                                  education  . . . . . . . . . . . . . . . 58--69
                    J.-P. Rosen   All aboard Ada 95! . . . . . . . . . . . 70--70

ACM SIGADA Ada Letters
Volume 16, Number 2, March / April, 1996

                 James W. Moore   Future of IEEE standard for Ada PDL to
                                  be considered  . . . . . . . . . . . . . 35--38
               Sergey Rybin and   
          Alfred Strohmeier and   
                   Eugene Zueff   ASIS for GNAT: goals, problems and
                                  implementation strategy  . . . . . . . . 39--49
               J. S. Briggs and   
             S. D. Jamieson and   
              G. W. Randall and   
                     I. C. Wand   Task time lines as a debugging tool  . . 50--69
                 George Morrone   Dr. Ada 95 . . . . . . . . . . . . . . . 70--70

ACM SIGADA Ada Letters
Volume 16, Number 3, May / June, 1996

                    Judy Kerner   Ada design language/CASE developers
                                  matrix . . . . . . . . . . . . . . . . . 19--19
      G. Vincent Castellano and   
                Steven W. North   System Object Model (SOM) and Ada: an
                                  example of CORBA at work . . . . . . . . 39--51
              Jeffrey R. Carter   Breaking the Ada Privacy Act . . . . . . 52--55
           George W. Macpherson   A reusable Ada package for scientific
                                  dimensional integrity  . . . . . . . . . 56--69
                 George Morrone   Dr. Ada 95 . . . . . . . . . . . . . . . 70--71

ACM SIGADA Ada Letters
Volume 16, Number 4, July / August, 1996

                   Trudy Levine   Reusable software components . . . . . . 20--44
                Michel Gauthier   What's new for scanning with Ada-95? . . 57--72

ACM SIGADA Ada Letters
Volume 16, Number 5, September / October, 1996

                   H. J. Abbink   An Ada-based script language for
                                  simulation applications  . . . . . . . . 35--47
        William W. Pritchett IV   Applying object-oriented metrics to Ada
                                  95 . . . . . . . . . . . . . . . . . . . 48--58
                Victor Giddings   Distributed systems using CORBA and Ada  59--69

ACM SIGADA Ada Letters
Volume 16, Number 6, November / December, 1996

                    Judy Kerner   Ada design language/CASE matrix ---
                                  updates only . . . . . . . . . . . . . . 40--50
                  Robert Mathis   Commonly asked questions about Ada: the
                                  standardized development language  . . . 51--54
                  Jon Hagar and   
                James M. Bieman   Using formal specifications as test
                                  oracles for system-critical software . . 55--72


ACM SIGADA Ada Letters
Volume 17, Number 1, January / February, 1997

                   Ralph Crafts   Reaction to NRC recommendations  . . . . 18--20
                    Tucker Taft   Selected rationale for NRC
                                  recommendations  . . . . . . . . . . . . 21--24
                   Trucy Levine   Reusable software components . . . . . . 25--34
              Currie Colket and   
                Gary Barnes and   
                Steve Blake and   
                 Dan Cooper and   
    Jesper Jòrgensen and   
                 Clyde Roby and   
            Dan Rittersdorf and   
               Sergey Ryben and   
          Alfred Strohmeier and   
                    Bill Thomas   Architecture of ASIS: a tool to support
                                  code analysis of complex systems . . . . 35--40
                Guido Duerinckx   Cyclic redundancy checks in Ada95  . . . 41--53
 Arthur Irving Littlefield, III   An object-oriented approach to automated
                                  generation of challenge examinations
                                  using Ada 95 . . . . . . . . . . . . . . 54--68

ACM SIGADA Ada Letters
Volume 17, Number 2, March / April, 1997

                     Clyde Roby   Minutes of 3 December 1996 ASISWG/ASISRG
                                  meeting with Tri-Ada'96  . . . . . . . . 18--25
              Currie Colket and   
                     Clyde Roby   Ada semantic interface specification
                                  (ASIS) frequently asked questions  . . . 26--28
       José L. Fernandez   A taxonomy of coordination mechanisms
                                  used by real-time processes  . . . . . . 29--54
           Marcin Paprzycki and   
                Janusz Zalewski   Parallel computing in Ada: an overview
                                  and critique . . . . . . . . . . . . . . 55--62
              Jeffrey R. Carter   OOP vs. readability  . . . . . . . . . . 63--66
           Marcin Paprzycki and   
                Janusz Zalewski   Ada in distributed systems: an overview  67--81
               Terry J. Westley   TASH: Tcl Ada SHell, an Ada/Tcl binding  82--91
                   T. J. Westly   TASH: Tcl Ada SHell, an Ada/Tcl binding  82--91

ACM SIGADA Ada Letters
Volume 17, Number 3, May / June, 1997

            Robert G. Munck and   
         Richard F. Hilliard II   Ada and Java on the WWW  . . . . . . . . 3--16
            Charles W. Kann and   
         Michael B. Feldman and   
                    John Sibert   Experience Programming Applets with
                                  Ada95  . . . . . . . . . . . . . . . . . 17--29
               D. Douglas Smith   WebAda . . . . . . . . . . . . . . . . . 30--35
                T. P. Baker and   
                 Dong-Ik Oh and   
                 Seung-Jin Moon   Low-Level Ada Tasking Support for GNAT
                                  --- Performance and Portability
                                  Improvements . . . . . . . . . . . . . . 36--44
                   Chad Bremmon   Writing an OLE automation controller in
                                  Ada95  . . . . . . . . . . . . . . . . . 45--56
                   Jack Beidler   Ada in concert . . . . . . . . . . . . . 57--66
            Sharon Waligora and   
                John Bailey and   
                     Mike Stark   The Impact of Ada and Object-Oriented
                                  Design in NASA Goddard's Flight Dynamics
                                  Division . . . . . . . . . . . . . . . . 67--86
         Kristina Lundqvist and   
                Göran Wall   A rendezvous with Linda  . . . . . . . . 87--96
                   David Clarke   The OMG, CORBA, Orbix and Ada  . . . . . 97--108

ACM SIGADA Ada Letters
Volume 17, Number 4, July / August, 1997

                   Richard Conn   What users should know about the Public
                                  Ada Library (PAL)  . . . . . . . . . . . 17--30
                   Richard Conn   Tour of Walnut Creek Ada CDROM . . . . . 31--58
                   Richard Conn   Defining and exploring an efficient
                                  distributed process for the reuse of Ada
                                  software components and tools in a
                                  global theater --- the Public Ada
                                  Library  . . . . . . . . . . . . . . . . 59--65
                   Trudy Levine   Reusable software components . . . . . . 66--73
                    Judy Kerner   Ada design language/CASE matrix ---
                                  updates only . . . . . . . . . . . . . . 74--87
               David A. Wheeler   Ada, C, C++, and Java vs. The Steelman   88--112

ACM SIGADA Ada Letters
Volume 17, Number 5, September / October, 1997

                 Alan Burns and   
                  Ted Baker and   
               Tullio Vardenaga   Tasking profiles (session summary) . . . 5--7
            Anthony Gargaro and   
             Douglass Locke and   
                   Richard Volz   Distributed and fault tolerant systems
                                  (session summary)  . . . . . . . . . . . 8--10
                 Offer Pazy and   
                    Mike Kamrad   Outstanding language (session summary)   11--15
              Andy Wellings and   
              Juan de la Puente   Object-oriented programming and
                                  real-time (session summary)  . . . . . . 16--17
           Alejandro Alonso and   
  Juan Antonio de la Puente and   
                    Ken Tindell   Components for the implementation of
                                  fixed priority real-time systems in Ada  18--23
                   A. Burns and   
                 A. J. Wellings   Feature interactions with dynamic
                                  priorities . . . . . . . . . . . . . . . 24--26
                   A. Burns and   
                 A. J. Wellings   Restricted tasking models  . . . . . . . 27--32
             Patrick de Bondeli   Developing reusable multi-tasking
                                  components using object-oriented
                                  techniques in Ada 95 . . . . . . . . . . 33--34
             Patrick de Bondeli   Annex: a fully reusable class of objects
                                  for synchronization and communication in
                                  Ada 95 . . . . . . . . . . . . . . . . . 35--39
             Pierre Dissaux and   
             Laurent Pautet and   
         Lars Björnfot and   
             Yvon Kermarrec and   
            Dominique LeCampion   Communication and distribution tools for
                                  embedded distributed applications: a
                                  case study with Ada 95 and its
                                  distributed systems annex  . . . . . . . 40--44
              Brian Dobbing and   
               Marc Richard-Foy   T-SMART --- task-safe, minimal Ada
                                  realtime toolset . . . . . . . . . . . . 45--50
            Anthony Gargaro and   
                 Gary Smith and   
        Ronald J. Theriault and   
            Richard A. Volz and   
                Raymond Waldrop   Future directions in Ada --- distributed
                                  execution and heterogeneous language
                                  interoperability toolsets  . . . . . . . 51--56
        M. Gonzalez Harbour and   
         J. M. Drake Moyano and   
             M. Aldea Rivas and   
            J. Garcia Fernandez   Implementing robot controllers under
                                  real-time POSIX and Ada  . . . . . . . . 57--64
 M. González Harbour and   
         J. M. Drake Moyano and   
             M. Aldea Rivas and   
J. García Fernández   Implementing robot controllers under
                                  real-time POSIX and Ada  . . . . . . . . 57--64
            Stephen Michell and   
                Dan Craigen and   
                  Mark Saaltink   Using analytical approaches for high
                                  integrity Ada95 systems  . . . . . . . . 65--70
             Scott Arthur Moody   Object-oriented real-time systems using
                                  a hybrid distributed model of Ada 95's
                                  built-in DSA capability (Distributed
                                  Systems Annex-E) and CORBA . . . . . . . 71--76
              Richard D. Powers   Implementing CIFO using Ada 95 and POSIX 77--82
                    D. J. Tombs   Using Compliance Notation to verify Ada
                                  tasking  . . . . . . . . . . . . . . . . 83--87
            Brian G. Ujvary and   
           Nick I. Kamenoff and   
          Jorge L. Diaz-Herrera   Benchmarking of hard real-time
                                  distributed systems with Ada 95  . . . . 88--92
               Steve Vestal and   
             Laurent Guerby and   
               Robert Dewar and   
            David McConnell and   
                    Bruce Lewis   Reimplementing a multiprocess
                                  distributed paradigm for real-time
                                  systems in Ada 95  . . . . . . . . . . . 93--99
             A. J. Wellings and   
                   A. Burns and   
                        O. Pazy   Task termination and Ada 95  . . . . . . 100--105
                    Thomas Wolf   Fault tolerance in distributed Ada 95    106--110
                      Anonymous   Eighth International Real-Time Ada
                                  Workshop . . . . . . . . . . . . . . . . ??

ACM SIGADA Ada Letters
Volume 17, Number 6, November / December, 1997

                Gertrude Levine   The Game of Life with Ada tasks  . . . . 19--31
                Lonnie R. Welch   COCOON: Creator Of Concurrent Object
                                  OrieNted Systems . . . . . . . . . . . . 32--38
                Lonnie R. Welch   PRISM: a reverse engineering toolset . . 39--46
                Hans Loeper and   
               Amro Khattab and   
                  Peter Neubert   Concurrent objects in Ada 95 . . . . . . 47--64
               C. Daniel Cooper   ASIS-based code analysis automation  . . 65--69
         Susan Fife Dorchak and   
               S. Rollins Guild   Protecting internal state variables from
                                  subclasses . . . . . . . . . . . . . . . 70--77
               David A. Workman   Understanding generics in Ada95  . . . . 78--90
                Hyoseob Kim and   
             Cornelia Boldyreff   Software reusability issues in code and
                                  design . . . . . . . . . . . . . . . . . 91--97
                Hyoseob Kim and   
             Cornelia Boldyreff   A case study on design pattern discovery
                                  in Ada . . . . . . . . . . . . . . . . . 98--107
                 Patrick Rogers   Book Review: Concurrency In Ada, by Alan
                                  Burns and Andy Wellings  . . . . . . . . 108--108


ACM SIGADA Ada Letters
Volume 18, Number 1, January / February, 1998

                   Trudy Levine   Reusable software components . . . . . . 33--39
                     John Rymer   Rethinking testing with Ada95  . . . . . 40--47
                     Huiming Yu   A course in software reuse with Ada 95   48--53
               Donald J. Bagert   Using Ada to teach programming language
                                  design concepts  . . . . . . . . . . . . 54--64
                   Richard Conn   The Reuse Tapestry Project . . . . . . . 65--69
            T. Dean Hendrix and   
         James H. Cross, II and   
          Larry A. Barowski and   
                Karl S. Mathias   GRASP: software engineering with Ada 95
                                  for Windows 95 and NT  . . . . . . . . . 70--77
            David Battaglia and   
               Austin Burke and   
                   John Beidler   An ADA reuse support system for Windows
                                  95/NT  . . . . . . . . . . . . . . . . . 78--85
              Joseph Monroe and   
                          H. Yu   A software engineering using Ada 95
                                  course . . . . . . . . . . . . . . . . . 86--91
                   Samuel Grier   Early projects using Ada at the United
                                  States Air Force Academy . . . . . . . . 92--109

ACM SIGADA Ada Letters
Volume 18, Number 2, March, 1998

                    John Barnes   Underneath the arch: a personal report
                                  of ARG meeting . . . . . . . . . . . . . 36--41
         Martin C. Carlisle and   
               A. T. Chamillard   AdaGIDE: a friendly introductory
                                  programming environment for a freshman
                                  computer science course  . . . . . . . . 42--52
                 Shan Kuang and   
               K. M. George and   
                         Lan Li   Implementation of event handling in
                                  GNA95GP  . . . . . . . . . . . . . . . . 53--66
                   Trudy Levine   Deadlock control with Ada95  . . . . . . 67--80
                John Petren and   
                   John Beidler   ReUse/Web: Web-based Ada reuse . . . . . 81--88
            John A. Reisner and   
        Steven A. Demurjian and   
                             Sr   Addressing security for object-oriented
                                  design and Ada 95 development  . . . . . 89--104

ACM SIGADA Ada Letters
Volume 18, Number 3, May, 1998

                  Phil Brashear   The Ada issues: a special section  . . . 17--17
                 James W. Moore   Overview of Ada standardization  . . . . 18--19
             Erhard Ploedereder   A readers' guide to the Ada issues . . . 20--112

ACM SIGADA Ada Letters
Volume 18, Number 4, July, 1998

                    Judy Kerner   Commercially available Ada design
                                  language/CASE products-updates only  . . 22--31
                   Trudy Levine   Reusable software components . . . . . . 32--46
                 B. A. Wichmann   Guidance for the use of the Ada
                                  programming language in high integrity
                                  systems  . . . . . . . . . . . . . . . . 47--94
         Rayford B. Vaughn, Jr.   The Ada recommendation --- a year later  95--100
              Mordechai Ben-Ari   Dispatching on the function result . . . 101--106
              W. Robert Collins   Tasking solutions to the Sieve of
                                  Eratosthenes . . . . . . . . . . . . . . 107--110
              Stephen Blake and   
         Clyde G. Roby, Jr. and   
          William Currie Colket   ASIS Report for WG9 Meeting on 12 June
                                  1998, Uppsala, Sweden  . . . . . . . . . 111--113

ACM SIGADA Ada Letters
Volume 18, Number 5, September / October, 1998

            Benjamin M. Brosgol   A Comparison of Ada and Java as a
                                  Foundation Teaching Language . . . . . . 12--38
         Blaine W. Heinfeld and   
                James L. Silver   A software engineering training program
                                  for non-software engineers . . . . . . . 39--46
             Martin C. Carlisle   Graphics for free  . . . . . . . . . . . 47--50
            T. Dean Hendrix and   
         James H. Cross, II and   
               Joe C. Teate and   
          Larry A. Barowski and   
                Karl S. Mathias   Assessing GRASP utilization through
                                  instrumentation  . . . . . . . . . . . . 51--56
             Fabrice Kordon and   
               Jean-Luc Mounier   FrameKit, an Ada framework for a fast
                                  implementation of CASE enviroments . . . 57--66
                 Richard Riehle   New ideas for generic components in Ada  67--86
             William Lupton and   
             Vojislav Stojkovic   Solving incomplete and incorrect
                                  information problems using conditional
                                  planning, execution monitoring, and
                                  situated planning agents . . . . . . . . 87--96
          Donald M. Needham and   
   Steven A. Demurjian, Sr. and   
            Margaret M. McMahon   Concurrency in object-oriented
                                  propagation modeling using Ada95 . . . . 97--103
            Noël Davis and   
            Scot Ransbottom and   
                  Drew Hamilton   Teaching computer networks through
                                  modeling . . . . . . . . . . . . . . . . 104--110
                   M. Shing and   
                 V. Berzins and   
                  M. Holden and   
                   C. Eagle and   
                           Luqi   Master of science in software
                                  engineering via distance learning  . . . 111--125

ACM SIGADA Ada Letters
Volume 18, Number 6, November / December, 1998

              Brian Dobbing and   
                     Alan Burns   The Ravenscar Tasking Profile for
                                  High-Integrity Real-Time Programs  . . . 1--6
            Stephen Michell and   
              Mark Saaltink and   
                 Brian Wichmann   Looking into Safety with the
                                  High-Integrity Rapporteur Group (HRG)    7--11
            Stephen Michell and   
              Mark Saaltink and   
                 Brian Wichmann   Looking into safety with the safety and
                                  security Rapporteur group  . . . . . . . 7--11
   William W. Pritchett, IV and   
                  John D. Riley   An ASIS-Based Static Analysis Tool for
                                  High-Integrity Systems . . . . . . . . . 12--17
                 Mike Mills and   
                  Greg Peterson   Hardware/Software Co-design: VHDL and
                                  Ada 95 Code Migration and Integrated
                                  Analysis . . . . . . . . . . . . . . . . 18--27
                    Sy Wong and   
                Gertrude Levine   Kernel Ada to Unify Hardware and
                                  Software Design  . . . . . . . . . . . . 28--38
                    Scott James   A Dataflow Model Using Protected Types
                                  in a Distributed System  . . . . . . . . 39--44
                    Scott James   The evolution of a distributed dataflow
                                  processing model using Ada . . . . . . . 39--44
             Samuel Tardieu and   
                 Laurent Pautet   Building fault tolerant distributed
                                  systems using IP multicast . . . . . . . 45--51
   Luís Miguel Pinho and   
              Francisco Vasques   Multi-$\mu$: an Ada 95 based
                                  architecture for fault tolerance support
                                  of real-time systems . . . . . . . . . . 52--60
           A. T. Chamillard and   
         Ronald J. Lisowski and   
               Richard R. Young   Using Ada in Non-CS Majors . . . . . . . 61--67
              Duane J. Jarc and   
             Michael B. Feldman   An empirical study of Web-based
                                  algorithm animation courseware in an Ada
                                  data structure course  . . . . . . . . . 68--74
              Duane J. Jarc and   
             Michael B. Feldman   A [sic] Empirical Study of Web-Based
                                  Algorithm Animation Courseware in an Ada
                                  Data Structure Course  . . . . . . . . . 68--74
          Jeanne L. Murtagh and   
          John A. Hamilton, Jr.   A Comparison of Ada and Pascal in an
                                  Introductory Computer Science Course . . 75--80
             Nathan Fleener and   
                Laura Moody and   
                   Mary Stewart   A Reusable Lightweight Executive for
                                  Command and Control Systems  . . . . . . 81--88
               Arthur G. Duncan   Reusable Ada Libraries Supporting
                                  Infinite Data Structures . . . . . . . . 89--103
            John A. Reisner and   
            Zeenat Lainwala and   
           Thomas J. Peters and   
          Steven Demurjian, Sr.   Implementing a Culling and
                                  Self-Intersection Algorithm for
                                  Stereo-lithography Files in Ada 95 . . . 104--113
             Robert C. Leif and   
                Suzanne B. Leif   Ada in Embedded Boards for Scientific
                                  and Medical Instruments  . . . . . . . . 114--120
           John P. Woodruff and   
            Paul J. Van Arsdall   A Large Distributed Control System Using
                                  Ada in Fusion Research . . . . . . . . . 121--131
        Victor D. Albertini and   
               Craig J. Berrett   Ada in an On-board Military
                                  Communication System . . . . . . . . . . 132--136
                 Jim Hopper and   
         Jennifer DeVilbiss and   
               Harry Heaton and   
                 Tom Haberlandt   Use of Ada 95 in Digital Radar Landmass
                                  Simulation (DRLMS) . . . . . . . . . . . 137--139
                    Bo Frisberg   Ada in the Gripen Flight Control System  140--141
                    Bo Frisberg   Usage of Ada in the Gripen flight
                                  control system . . . . . . . . . . . . . 140--141
            T. Dean Hendrix and   
         James H. Cross, II and   
          Larry A. Barowski and   
                Karl S. Mathias   Visual Support for Incremental
                                  Abstraction and Refinement in Ada 95 . . 142--147
             Shan Barkataki and   
                  Stu Harte and   
                      Tong Dinh   Reengineering a Legacy System Using
                                  Design Patterns and Ada 95
                                  Object-Oriented Features . . . . . . . . 148--151
         Martin C. Carlisle and   
                   Patrick Maes   RAPID: a Free, Portable GUI Design Tool  158--164
             Ross H. Wainwright   An Application Engineering Work-bench
                                  for Tailoring Ada Flight Components  . . 165--174
            Benjamin M. Brosgol   A Comparison of the Concurrency Features
                                  of Ada 95 and Java . . . . . . . . . . . 175--192
                   Shayne Flint   Using Java APIs with Native Ada
                                  Compilers  . . . . . . . . . . . . . . . 193--203
                Yoav Tzruya and   
              Mordechai Ben-Ari   A Portable Implementation of the
                                  Distributed Systems Annex in Java  . . . 204--211
       Patricia J. Dousette and   
                 Ari Danesh and   
                  Matthew Jones   Command and Control Using World Wide Web
                                  Technology . . . . . . . . . . . . . . . 212--214
                    Mike Kamrad   Ada experience report for BlazeNet, Inc. 215--216
               Bard S. Crawford   Algorithm Animation with Symbol
                                  Processing Robots  . . . . . . . . . . . 217--218
               David Silberberg   Applying the Personal Software Process
                                  (PSP)$^{\rm sm}$ with Ada  . . . . . . . 219--228
               O. P. Kiddle and   
                 A. J. Wellings   Extensible Protected Types . . . . . . . 229--239
                Bangqing Li and   
                  Baowen Xu and   
                     Huiming Yu   Transforming Ada Serving Tasks Into
                                  Protected Objects  . . . . . . . . . . . 240--245
         Stephen H. Kaisler and   
             Michael B. Feldman   Object-Oriented and Concurrent Program
                                  Design Issues in Ada 95  . . . . . . . . 246--254
             Daniel Hoffman and   
          Jayakrishnan Nair and   
                  Paul Strooper   Testing Generic Ada Packages with APE    255--262
               Janusz Laski and   
            William Stanley and   
                      Jim Hurst   Dependency Analysis of Ada Programs  . . 263--275
             Charles Plinta and   
         Richard D'Ippolito and   
                 Roger Van Scoy   A Specification and Code Generation Tool
                                  for Message Translation and Validation   276--286
               Dragan Macos and   
                  Frank Mueller   The Rendezvous is Dead --- Long Live the
                                  Protected Object . . . . . . . . . . . . 287--293


ACM SIGADA Ada Letters
Volume 19, Number 1, March, 1999

                    Ben Brosgol   Message from the Chair . . . . . . . . . 1
                      Anonymous   Editorial Policy . . . . . . . . . . . . 5
                      Anonymous   Key Contacts . . . . . . . . . . . . . . 6
                      Anonymous   SIGAda Working Groups  . . . . . . . . . 7
                      Anonymous   Local SIGAda Chapter . . . . . . . . . . 9
                      Anonymous   Ada Around the World . . . . . . . . . . 11
                      Anonymous   SIGAda '99 . . . . . . . . . . . . . . . 13
                      Anonymous   Reliable Software Technologies:
                                  Ada-Europe '99 . . . . . . . . . . . . . 15
                      Anonymous   International Journal of Computer
                                  Systems: Science and Engineering Call
                                  for Papers . . . . . . . . . . . . . . . 16
                      Anonymous   The 21$^{\rm st}$ International
                                  Conference on Software Engineering . . . 18
                       Hal Hart   1998 SIGAda Awards Winners and 1999
                                  Nominations  . . . . . . . . . . . . . . 19
                   Trudy Levine   Reusable Software Components . . . . . . 22--27
                 Robert C. Leif   SIGAda '98 Workshop: How do We Expedite
                                  the Commercial Use of Ada? . . . . . . . 28--39
                      Anonymous   ASIS Has Been Approved as ISO Standard   40--41
                      Anonymous   ASIS --- Where Do We Go From Here? . . . 42--47
                      Anonymous   Workshop Report: ASIS --- Where Do We Go
                                  From Here? 6--10 PM, Sunday, 8 November
                                  1998 SIGAda'98, Washington DC  . . . . . 42--47
                  Phil Brashear   Ada validation \tt := Ada conformity
                                  assessment . . . . . . . . . . . . . . . 48--51
           Randall Brukardt and   
              Steven Deller and   
                 Joyce L. Tokar   Ada 95 Conformity Assessment . . . . . . 52--57
                John R. Newport   A real-time, path guidance cue . . . . . 59--63
                     Pace Drury   Using ASIS for Data Base Insulation  . . 64--65
             Patrick de Bondeli   A Fully Reusable Class of Objects for
                                  Synchronization and Communication in Ada
                                  95 . . . . . . . . . . . . . . . . . . . 66--96
                 Robert C. Leif   Ada Developers Cooperative License:
                                  (Draft) Version 0.3  . . . . . . . . . . 97--107
                   David Botton   Dear Ada . . . . . . . . . . . . . . . . 108

ACM SIGADA Ada Letters
Volume 19, Number 2, June, 1999

                    Mike Kamrad   Fault tolerance (session summary)  . . . 10--11
                     Alan Burns   The Ravenscar Profile and implementation
                                  issues (session summary) . . . . . . . . 12--14
       Michael Gonzalez Harbour   Distributed Ada and real-time (session
                                  summary) . . . . . . . . . . . . . . . . 15--18
                  Andy Wellings   New language features and other language
                                  issues (session summary) . . . . . . . . 19--20
   Luís Miguel Pinho and   
              Francisco Vasques   Replica management in real-time Ada 95
                                  applications . . . . . . . . . . . . . . 21--27
              Brian Dobbing and   
                George Romanski   The Ravenscar Tasking Profile ---
                                  experience reporting . . . . . . . . . . 28--32
                    Thomas Wolf   Transparent replication for fault
                                  tolerance in distributed Ada 95  . . . . 33--40
                 Jorge Real and   
                  Andy Wellings   Dynamic ceiling priorities and Ada 95    41--48
              Jörg Kienzle   Combining tasking and transaction  . . . 49--53
            Stephen Michell and   
             Kristina Lundqvist   Extendable [sic], dispatchable task
                                  communication mechanisms . . . . . . . . 54--59
         Scott Arthur Moody and   
                Samuel Kwok and   
                      Dale Karr   SimpleGraphics: Tcl/Tk visualization of
                                  real-time multi-threaded and distributed
                                  applications . . . . . . . . . . . . . . 60--66
J. J. Gutiérrez García and   
     M. González Harbour   Prioritizing remote procedure calls in
                                  Ada distributed systems  . . . . . . . . 67--72
J. J. GutiérrezGarcía and   
      M. GonzálezHarbour   Prioritizing remote procedure calls in
                                  Ada distributed systems  . . . . . . . . 67--72
       Juan A. de la Puente and   
        José F. Ruiz and   
Jesús M. González-Barahona   Real-time programming with GNAT:
                                  specialised kernels versus POSIX threads 73--77
                   A. Burns and   
                 A. J. Wellings   How to verify concurrent Ada programs:
                                  the application of model checking  . . . 78--83
               W. M. Walker and   
              P. T. Woolley and   
                       A. Burns   An experimental testbed for embedded
                                  real time Ada 95 . . . . . . . . . . . . 84--89
              Gary W. Smith and   
                Richard A. Volz   Distributed programming with
                                  intermediate IDL . . . . . . . . . . . . 90--95
              Hongfeng Shen and   
              Theodore P. Baker   A Linux Kernel Module Implementation of
                                  Restricted Ada Tasking . . . . . . . . . 96--103

ACM SIGADA Ada Letters
Volume 19, Number 3, September, 1999

                    Brian Selic   Architectural patterns for complex
                                  real-time systems (keynote address)
                                  (abstract only)  . . . . . . . . . . . . 1--1
                    Scott James   Redistribution in distributed Ada  . . . 3--8
                   David Botton   Interfacing Ada 95 to Microsoft COM and
                                  DCOM technologies  . . . . . . . . . . . 9--14
         Kristina Lundqvist and   
                   Lars Asplund   A formal model of the Ada Ravenscar
                                  tasking profile; delay until . . . . . . 15--21
              Paul B. Carpenter   Verification of requirements for
                                  safety-critical software . . . . . . . . 23--29
             Laurent Pautet and   
              Thomas Quinot and   
                 Samuel Tardieu   CORBA and CORBA services for DSA . . . . 31--38
                 Yvon Kermarrec   CORBA vs. Ada 95 DSA: a programmer's
                                  view . . . . . . . . . . . . . . . . . . 39--46
             Martin C. Carlisle   A truly implementation independent GUI
                                  development tool . . . . . . . . . . . . 47--52
           Joseph R. Wisniewski   Transitioning an ASIS application:
                                  version 1 to Ada95 2.0 . . . . . . . . . 53--65
          William Currie Colket   Code analysis of safety-critical and
                                  real-time software using ASIS  . . . . . 67--76
             Laurent Pautet and   
                 Samuel Tardieu   What future for the distributed systems
                                  annex? . . . . . . . . . . . . . . . . . 77--82
        Gerhard Bühler and   
          Heinz Faßbender   Applying Ada, Java and CORBA for making
                                  a command and control information system
                                  platform independent . . . . . . . . . . 83--88
               Michael Tonndorf   Ada conformity assessments: a model for
                                  other programming languages? . . . . . . 89--99
            Christine Hulse and   
             Scott Edgerton and   
            Michael Ubnoske and   
                  Louis Vazquez   Reducing maintenance costs through the
                                  application of modern software
                                  architecture principles  . . . . . . . . 101--110
                 John McCormick   Ada, model railroading, and real-time
                                  software engineering education (keynote
                                  address) . . . . . . . . . . . . . . . . 111--112
Juan Carlos Díaz Martín and   
        Isidro Irala Veloso and   
José Manuel Rodríguez García   Building Tcl-Tk GUIs for HRT--HOOD
                                  systems  . . . . . . . . . . . . . . . . 113--123
                      Tony Lowe   Extending Ada to assist multiprocessor
                                  embedded development . . . . . . . . . . 125--132
                   Steven Doran   Interfacing low-level C device drivers
                                  with Ada 95  . . . . . . . . . . . . . . 133--143
              P. Ballbastre and   
                 S. Terrasa and   
                    J. Vila and   
                      A. Crespo   Experiences using Ada in a real-time and
                                  distributed laboratory . . . . . . . . . 145--155
                Arthur V. Lopes   Ada + SQL --- an overview  . . . . . . . 157--162
                      Ming Wang   Integrating a software engineering
                                  approach into an Ada closed laboratory   163--168
         Sheri J. Bernstein and   
                 Robert S. Duff   Optimizing Ada on the fly  . . . . . . . 169--179
             Henry A. Lortz and   
            Timothy A. Tibbetts   The role of distributed, real-time Ada &
                                  C++ on the Airborne Surveillance Testbed
                                  (AST) program  . . . . . . . . . . . . . 181--182
                      Tony Lowe   Pinching pennies while losing dollars    183--193
              Olga Rusanova and   
             Alexandr Korochkin   Scheduling problems for parallel and
                                  distributed systems  . . . . . . . . . . 195--201
          Donald M. Needham and   
   Steven A. Demurjian, Sr. and   
               Thomas J. Peters   Towards a distributed object-oriented
                                  propagation model using Ada95  . . . . . 203--210
             Ravi K. Gedela and   
               Sol M. Shatz and   
                     Haiping Xu   Formal modeling of synchronization
                                  methods for concurrent objects in Ada 95 211--220
                  Ian Gilchrist   Attitudes to Ada in the UK
                                  high-reliability software sector
                                  (plenary session)  . . . . . . . . . . . 221--221
                   Brad Balfour   The current state of CORBA (invited
                                  presentation)  . . . . . . . . . . . . . 223--223
                   Hal Hart and   
                Barry Boehm and   
             S. Tucker Taft and   
                 Tony Wasserman   What happened to integrated
                                  environments? (panel session)  . . . . . 225--226
                    Barry Boehm   Predicting the future of computer
                                  systems and software engineering
                                  (keynote address)  . . . . . . . . . . . 227--227
                  Ian Gilchrist   Attitudes to Ada --- a market survey . . 229--242

ACM SIGADA Ada Letters
Volume 19, Number 4, December, 1999

                   Trudy Levine   Reusable software components . . . . . . 11--12
                    Mike Mardis   Endian-safe record representation
                                  clauses for Ada programs . . . . . . . . 13--18
                    Oliver Cole   Converting an Ada 83 application to Ada
                                  95 . . . . . . . . . . . . . . . . . . . 19--21
                        Sy Wong   Ada as a teaching language . . . . . . . 22--23
                Christoph Grein   Add finalization . . . . . . . . . . . . 24--31
                      Dave Wood   Ada: a commercial flop and proud of it!
                                  -or- how to deal with Java envy  . . . . 32--36
   Luís Miguel Pinho and   
              Francisco Vasques   To Ada or not to Ada: Adaing vs. Javaing
                                  in real-time systems . . . . . . . . . . 37--43
                Christoph Grein   Safe pointers  . . . . . . . . . . . . . 44--48
                     Alan Burns   The Ravenscar Profile  . . . . . . . . . 49--52


ACM SIGADA Ada Letters
Volume 20, Number 1, March, 2000

                    Ben Brosgol   Message from the Chair . . . . . . . . . 1--2
                      Anonymous   Editorial Policy . . . . . . . . . . . . 3--4
                      Anonymous   Key Contacts . . . . . . . . . . . . . . 5--5
                      Anonymous   SIGAda Working Groups  . . . . . . . . . 6--7
                      Anonymous   Local SIGAda Chapters  . . . . . . . . . 8--9
                      Anonymous   Ada Around the World . . . . . . . . . . 10--11
                       Hal Hart   1999 SIGAda Awards Winners and 2000
                                  Nominations  . . . . . . . . . . . . . . 12--15
                      Anonymous   Ada Europe . . . . . . . . . . . . . . . 16--17
                      Anonymous   SIGAda 2000  . . . . . . . . . . . . . . 18--18
                      Anonymous   SIGAda '99 Workshop: ASIS --- Extensions
                                  for Higher Level Abstractions  . . . . . 19--24
           Alexander Romanovsky   Diversely Designed Classes for Use by
                                  Multiple Tasks . . . . . . . . . . . . . 25--37
                David S. Gibson   Two Approaches to Teaching Software
                                  Components Using Ada 95  . . . . . . . . 38--57
                 D. Needham and   
               S. Demurjian and   
                      T. Peters   An IDL to Ada95 Mapping to Support
                                  Propagation Modeling . . . . . . . . . . 58--66
   Férial Benachour Hait   Agent Oriented Programming with Ada 95:
                                  Application to financial markets . . . . 67--80

ACM SIGADA Ada Letters
Volume 20, Number 2, June, 2000

                    Ben Brosgol   Message from the Chair . . . . . . . . . 1--2
                      Anonymous   Newsletter Info: Editorial Policy  . . . 3--4
                      Anonymous   Newsletter Info: Key Contacts  . . . . . 5--5
                      Anonymous   Newsletter Info: SIGAda Working Groups   6--7
                      Anonymous   Newsletter Info: Local SIGAda Chapters   8--9
                      Anonymous   Newsletter Info: Ada Around the World    10--10
                      Anonymous   Meetings: SIGAda 2000  . . . . . . . . . 11--13
                      Anonymous   Meetings: $10^{\rm th}$ International
                                  Real-Time Ada Workshop . . . . . . . . . 14--14
                      Anonymous   Meetings: Ada Europe 2001  . . . . . . . 15--16
                      Anonymous   Announcements: Research in the History
                                  of Programming Languages and Software
                                  Engineering  . . . . . . . . . . . . . . 17--17
                      Anonymous   Announcements: John English Windows
                                  Library  . . . . . . . . . . . . . . . . 18--18
                 Robert C. Leif   SIGAda 99, workshop: how do we expedite
                                  the commercial use of Ada? . . . . . . . 19--26
                   Trudy Levine   Reusable Software Components . . . . . . 27--37
            Bo I. Sandén   Implementation of State Machines with
                                  Tasks and Protected Objects  . . . . . . 38--56
             Martin C. Carlisle   An Automatic Object-Oriented Parser
                                  Generator for Ada  . . . . . . . . . . . 57--63

ACM SIGADA Ada Letters
Volume 20, Number 3, September, 2000

                    Ben Brosgol   Message from the Chair . . . . . . . . . 1--2
                      Anonymous   Newsletter Info: Editorial Policy  . . . 3--4
                      Anonymous   Newsletter Info: Key Contacts  . . . . . 5--5
                      Anonymous   Newsletter Info: SIGAda Working Groups   6--7
                      Anonymous   Newsletter Info: Local SIGAda Chapters   8--9
                      Anonymous   Newsletter Info: Ada Around the World    10--11
   J. A. Drew Hamilton, Jr. and   
          Jeanne L. Murtagh and   
              Richard G. Zoller   Programming Language Impacts on Learning 12--19
                    Barry Fagin   An Ada Interface to Lego Mindstorms  . . 20--40
                    Barry Fagin   Ada/Mindstorms 1.0 User's Guide and
                                  Reference Manual . . . . . . . . . . . . 32--40
              John W. McCormick   Software Engineering Education: On the
                                  Right Track with Ada . . . . . . . . . . 41--49
                   David Botton   Ada on the NET!  . . . . . . . . . . . . 50--52
                   David Botton   Dear Ada . . . . . . . . . . . . . . . . 53--56

ACM SIGADA Ada Letters
Volume 20, Number 4, December, 2000

                    Ben Brosgol   Message from the Chair . . . . . . . . . 1--2
           Franco Gasperoni and   
                  Gary Dismukes   Multilanguage Programming on the JVM:
                                  The Ada 95 Benefits  . . . . . . . . . . 3--28
                  Brian Dobbing   Building partitioned architectures based
                                  on the Ravenscar profile . . . . . . . . 29--31
               Lars Asplund and   
             Kristina Lundqvist   Safety Critical Systems Based on Formal
                                  Models . . . . . . . . . . . . . . . . . 32--39
              Steven V. Hovater   Document Generation using ASIS Tools . . 40--49
                Kelly L. Spicer   A successful example of a
                                  layered-architecture based embedded
                                  development with Ada 83 for
                                  standard-missile control . . . . . . . . 50--63
               Roderick Chapman   Industrial Experience with SPARK . . . . 64--68
                    John Barnes   The SPARK Way to Correctness is Via
                                  Abstraction  . . . . . . . . . . . . . . 69--79
                      Anonymous   Key Contacts . . . . . . . . . . . . . . 80


ACM SIGADA Ada Letters
Volume 21, Number 1, March, 2001

                  Andy Wellings   Status and future of the Ravenscar
                                  profile session summary  . . . . . . . . 5--8
            Stephen Michell and   
                 Joyce L. Tokar   Tasking and object orientation . . . . . 9--10
                   Lars Asplund   Session: new scheduling/dispatching
                                  policies . . . . . . . . . . . . . . . . 11--13
Michael González Harbour and   
              Luis Miguel Pinho   Session summary: distribution and
                                  real-time  . . . . . . . . . . . . . . . 14--16
              Brian Dobbing and   
               Tullio Vardanega   Report of session: analysis of the J
                                  consortium real-time Java proposal . . . 17--18
                  Brian Dobbing   Overview of the Sun Java Community
                                  Process's Real-Time Expert Group
                                  specification of RT-Java: Session
                                  Summary  . . . . . . . . . . . . . . . . 18--19
          Mario Aldea Rivas and   
Michael González Harbour   Extending Ada's real-time systems annex
                                  with the POSIX scheduling services . . . 20--26
          Mario Aldea Rivas and   
Michael González Harbour   Extending Ada's real-time systems annex
                                  with the POSIX scheduling services . . . 20--26
           Alejandro Alonso and   
      Juan Antonio de la Puente   Implementation of mode changes with the
                                  Ravenscar profile  . . . . . . . . . . . 27--32
               Neil Audsley and   
                  Andy Wellings   Issues with using Ravenscar and the Ada
                                  distributed systems annex for
                                  high-integrity systems . . . . . . . . . 33--39
               Neil Audsley and   
                 Alan Burns and   
                  Andy Wellings   Implementing a high-integrity executive
                                  using Ravenscar  . . . . . . . . . . . . 40--45
                     Alan Burns   Non-preemptive dispatching and locking
                                  policies . . . . . . . . . . . . . . . . 46--47
                   A. Burns and   
             A. J. Wellings and   
             A. M. Koelmans and   
                  M. Koutny and   
              A. Romanovsky and   
                    A. Yakovlev   On developing and verifying design
                                  abstractions for reliable concurrent
                                  programming in Ada . . . . . . . . . . . 48--55
                  Brian Dobbing   The Ravenscar profile for high-integrity
                                  Java programs? . . . . . . . . . . . . . 56--61
José Javier Guitiérrez García and   
Michael González Harbour   Towards a real-time distributed systems
                                  annex in Ada . . . . . . . . . . . . . . 62--66
          Jörg Kienzle and   
           Alexander Romanovsky   Combining tasking and transactions, part
                                  II: open multithreaded transactions  . . 67--74
                Stephen Michell   Position paper: completing the Ravenscar
                                  profile  . . . . . . . . . . . . . . . . 75--78
   Luís Miguel Pinho and   
          Francisco Vasques and   
                  Luis Ferreira   Programming atomic multicast in CAN  . . 79--84
       Juan A. de la Puente and   
              Juan Zamorano and   
           José Ruiz and   
Ramón Fernández and   
          Rodrigo García   The design and implementation of the
                                  open Ravenscar kernel  . . . . . . . . . 85--90
                 Jorge Real and   
      Albert Llamosí and   
                  Alfons Crespo   A semantics for dynamic ceiling
                                  priorities in Ada  . . . . . . . . . . . 91--95
           Tullio Vardanega and   
                 Gert Caspersen   Using the Ravenscar profile for space
                                  applications: the OBOSS case . . . . . . 96--104
             A. J. Wellings and   
                 B. Johnson and   
                  B. Sanden and   
                 J. Kienzle and   
                    T. Wolf and   
                     S. Michell   Extensible protected types: proposal
                                  status . . . . . . . . . . . . . . . . . 105--110

ACM SIGADA Ada Letters
Volume 21, Number 2, June, 2001

                    Ben Brosgol   Message from the Chair . . . . . . . . . 1--2
                      Anonymous   Newsletter Information . . . . . . . . . 3--4
                      Anonymous   SIGAda 2001 Announcement . . . . . . . . 11--11
                 Clyde Roby and   
                  Currie Colket   SIGAda 2000 ASIS Workshop Report . . . . 12--16
                   Trudy Levine   Reusable Software Components . . . . . . 17--25
              Thomas Quinot and   
             Fabrice Kordon and   
                 Laurent Pautet   DROOPI: Towards a generic middleware . . 26--52
                 Marc A. Criley   A Socket-Based Manifestation of Streams  53--64
            Xianzhong Liang and   
                    Zhenyu Wang   Omega: a uniform object model easy to
                                  gain Ada's ends  . . . . . . . . . . . . 65--80
                Gertrude Levine   Conflict Resolution for Readers and
                                  Writers  . . . . . . . . . . . . . . . . 81--88
                       Hal Hart   SIGAda 2000 Awards and 2001 Nomination
                                  Information  . . . . . . . . . . . . . . 89--89

ACM SIGADA Ada Letters
Volume 21, Number 3, September, 2001

                  Currie Colket   Message from the Chair . . . . . . . . . 1--2
               William Bail and   
            Bo I. Sandén   Exception Propagation  . . . . . . . . . 8--10
            Bo I. Sandén   Exception propagation  . . . . . . . . . 8--10
               Tullio Vardanega   Object orientation and exception
                                  handling for Ada . . . . . . . . . . . . 11--12
                Thomas Wolf and   
               Tullio Vardanega   Object Orientation and Exception
                                  Handling for Ada . . . . . . . . . . . . 11--12
              Jörg Kienzle   Exceptions and concurrency . . . . . . . 13--15
       Alexander Romanovsky and   
              Jörg Kienzle   Exceptions and Concurrency . . . . . . . 13--15
                 Alan Burns and   
           Alexander Romanovsky   How to Evolve Exception Handling in Ada  16--18
           Alexander Romanovsky   How to evolve exception handling in Ada  16--18
       Alexander Romanovsky and   
               Bo Sandén   Except for exception handling \ldots . . 19--25
               Tullio Vardanega   A case for exceptions  . . . . . . . . . 26--30
                   T. Vardanego   A Case for Exceptions  . . . . . . . . . 26--30
                 S. Tucker Taft   Enhancing exception support in Ada 95: a
                                  workshop position paper  . . . . . . . . 31--32
                   Pascal Leroy   Exceptions as Types  . . . . . . . . . . 33--34
                    Thomas Wolf   On Exceptions as First-Class Objects in
                                  Ada 95 . . . . . . . . . . . . . . . . . 35--40
          Alfred Strohmeier and   
             Stanislav Chachkov   A side-by-side comparison of exception
                                  handling in Ada and Java . . . . . . . . 41--56
          Jörg Kienzle and   
           Alexander Romanovsky   Implementing exceptions in open
                                  multithreaded transactions based on Ada
                                  95 exceptions  . . . . . . . . . . . . . 57--63
M. Patiño-Martínez and   
    R. Jiménez-Peris and   
              S. Arévalo   Implementing transactions using Ada
                                  exceptions: which features are missing?  64--75
           José Ruiz and   
       Juan A. de la Puente and   
              Juan Zamorano and   
Ramón Fernández-Marina   Exception Support for the Ravenscar
                                  Profile  . . . . . . . . . . . . . . . . 76--79
             S. E. Mitchell and   
                   A. Burns and   
                 A. J. Wellings   MOPping up Exceptions  . . . . . . . . . 80--92

ACM SIGADA Ada Letters
Volume 21, Number 4, December, 2001

                   Robert Dewar   Keynote address: future development of
                                  the Ada language . . . . . . . . . . . . 1--2
                     Peter Amey   A language for systems not just software 3--11
                Ben Brosgol and   
                  Brian Dobbing   Real-time convergence of Ada and Java\TM 11--26
             Bruce R. Barkstrom   Ada 95 bindings for the NCSA
                                  hierarchical data format . . . . . . . . 27--30
                 Usha Santhanam   Automating software module testing for
                                  FAA certification  . . . . . . . . . . . 31--38
              Joel Sherrill and   
           Jennifer Averett and   
                 Glenn Humphrey   Implementing a product line-based
                                  architecture in Ada  . . . . . . . . . . 39--46
   Björn Källberg and   
              Rei Stråhle   Ship system 2000, a stable architecture
                                  under continuous evolution . . . . . . . 47--52
          Heinz Faßbender   Reengineering an Ada95-programmed
                                  command and control information system
                                  by using UML . . . . . . . . . . . . . . 53--60
        Kenneth L. Ehresman and   
               Joey L. Frantzen   Electronic maneuvering board and dead
                                  reckoning tracer decision aid for the
                                  officer of the deck  . . . . . . . . . . 61--70
                Martin Carlisle   Keynote address: confessions of an
                                  academic Ada zealot  . . . . . . . . . . 71--72
             Barry S. Fagin and   
         Laurence D. Merkle and   
               Thomas W. Eggers   Teaching computer science with robotics
                                  using Ada/Mindstorms 2.0 . . . . . . . . 73--78
                 S. Tucker Taft   Using Ada 95 in a compiler course  . . . 79--80
               Janusz Laski and   
            William Stanley and   
                Pawel Podgorski   Beyond ASIS: program data bases and
                                  tool-oriented queries  . . . . . . . . . 81--90
                  Dhavy Gantsou   Targeting Ada95/DSA for distributed
                                  simulation of multiprotocol
                                  communication networks . . . . . . . . . 91--96
                 S. Tucker Taft   Keynote address: fixing software before
                                  it breaks  . . . . . . . . . . . . . . . 97--98
             Laura J. White and   
                   Norman Wilde   Dynamic analysis for locating product
                                  features in Ada code . . . . . . . . . . 99--106
             Zhenqiang Chen and   
                  Baowen Xu and   
                     Huiming Yu   Detecting concurrently executed pairs of
                                  statements using an adapted MHP
                                  algorithm  . . . . . . . . . . . . . . . 107--114
          William Pritchett and   
                     Brian Wood   Vetronics technology testbed: experience
                                  report . . . . . . . . . . . . . . . . . 115--116
        William W. Pritchett IV   An object-oriented metrics suite for Ada
                                  95 . . . . . . . . . . . . . . . . . . . 117--126
                 Scott Edgerton   Experience report: architecture-based
                                  software development on the Crusader
                                  program  . . . . . . . . . . . . . . . . 127--128
             Erhard Ploedereder   Panel: the making of ISO/IEC 8652: Ada
                                  2005 . . . . . . . . . . . . . . . . . . 129--130


ACM SIGADA Ada Letters
Volume 22, Number 1, March, 2002

                  Currie Colket   Message from the Chair . . . . . . . . . 1--2
                Martin Carlisle   Editorial Policy . . . . . . . . . . . . 3--10
            Xianzhong Liang and   
                    Zhenyu Wang   Event-based Implicit Invocation
                                  Decentralized in Ada . . . . . . . . . . 11--16
            Liang Xianzhong and   
                    Wang Zhenyu   Event-based implicit invocation
                                  decentralized in Ada . . . . . . . . . . 11--16
            Bernard Thirion and   
                  Laurent Thiry   Concurrent programming for the control
                                  of hexapod walking . . . . . . . . . . . 17--28
                   Trudy Levine   Reusable Software Components . . . . . . 29--38
                      Anonymous   Ada Europe 2002 Preliminary Program  . . 39--42
                      Anonymous   Ada WOW from SIGAda 2001 . . . . . . . . 43--60
                      Anonymous   SIGAda 2002 Preliminary Call for
                                  Participation and Notes on Venue . . . . 61--61
                      Anonymous   Interesting Notes on the Venue for
                                  SIGada 2002  . . . . . . . . . . . . . . 62--63

ACM SIGADA Ada Letters
Volume 22, Number 2, June, 2002

             A. J. Wellings and   
                 B. Johnson and   
                  B. Sanden and   
                 J. Kienzle and   
                    T. Wolf and   
                     S. Michell   Integrating object-oriented programming
                                  and protected objects in Ada 95  . . . . 11--44

ACM SIGADA Ada Letters
Volume 22, Number 3, September, 2002

              Trudy Levine, Jr.   Reusable software components . . . . . . 20--23
                 Robert C. Leif   SIGAda 2001 workshop, ``Creating a
                                  symbiotic relationship between XML and
                                  Ada''  . . . . . . . . . . . . . . . . . 24--41
         Martin C. Carlisle and   
                 Ricky E. Sward   An automatic ``visitor'' generator for
                                  Ada  . . . . . . . . . . . . . . . . . . 42--47

ACM SIGADA Ada Letters
Volume 22, Number 4, December, 2002

                David Brach and   
                         P. Eng   User experiences with the Aonix
                                  ObjectAda RAVEN: Ravenscar Profile
                                  implementation . . . . . . . . . . . . . 10--21
Rodrigo García García and   
              Alfred Strohmeier   Experiences report on the implementation
                                  of EPTs for GNAT . . . . . . . . . . . . 22--27
                Stephen Michell   Practical implementations of embedded
                                  software using the Ravenscar Profile . . 28--36
                    Bruce Lewis   Software portability gains realized with
                                  METAH and Ada95  . . . . . . . . . . . . 37--46
   Luís Miguel Pinho and   
              Francisco Vasques   Using Ravenscar to support
                                  fault-tolerant real-time applications    47--52
              Juan Zamorano and   
      Juan Antonio de la Puente   Precise response time analysis for
                                  Ravenscar kernels  . . . . . . . . . . . 53--57
 J. Javier Gutiérrez and   
       José M. Drake and   
Michael González Harbour and   
                Julio L. Medina   Modeling and schedulability analysis in
                                  the development of real-time distributed
                                  Ada systems  . . . . . . . . . . . . . . 58--65
                 Jorge Real and   
              Alfons Crespo and   
              Andy Wellings and   
                     Alan Burns   Protected ceiling changes  . . . . . . . 66--71
                   A. Burns and   
                 A. J. Wellings   Accessing delay queues . . . . . . . . . 72--76
          Mario Aldea Rivas and   
Michael González Harbour   Application-defined scheduling in Ada    77--84
                    M. Ward and   
                  N. C. Audsley   Language issues of compiling Ada to
                                  hardware . . . . . . . . . . . . . . . . 85--94
        Benjamin M. Brosgol and   
      Ricardo J. Hassan, II and   
                  Scott Robbins   Asynchronous transfer of control in the
                                  real-time specification for Java\TM  . . 95--112
                 Alan Burns and   
                    Ben Brosgol   Session summary: future of the Ada
                                  language and language changes such as
                                  the Ravenscar profile  . . . . . . . . . 113--119
  Juan Antonio de la Puente and   
       Luís Miguel Pinho   Session summary: safety improvements for
                                  consideration  . . . . . . . . . . . . . 120--122
Michael González Harbour and   
      Juan Antonio de la Puente   Session on real-time, fault tolerance,
                                  and distribution . . . . . . . . . . . . 123--124
              Andy Wellings and   
               Tullio Vardanega   Report of session: language changes for
                                  scheduling, modeling and analysis  . . . 125--127
                Ben Brosgol and   
Michael González Harbour   Session summary: update on the real-time
                                  specification for Java . . . . . . . . . 128--130
                Joyce Tokar and   
                    Ben Brosgol   Session summary: summary and plans for
                                  next IRTAW . . . . . . . . . . . . . . . 131--131
                      Anonymous   Proceedings of the 11$^{th}$
                                  International Real Time Ada Workshop . . ??


ACM SIGADA Ada Letters
Volume 23, Number 1, March, 2003

                 Peter Amey and   
               Roderick Chapman   Industrial strength exception freedom    1--9
                   Richard Conn   Ada, CMM level 4, and the C-130J
                                  aircraft . . . . . . . . . . . . . . . . 10--10
            Robert W. Carey and   
        Paul J. Van Arsdall and   
               John P. Woodruff   The National Ignition Facility: early
                                  operational experience with a large Ada
                                  control system . . . . . . . . . . . . . 11--11
               Thomas C. Brooke   Development of a distributed,
                                  cross-platform simulator . . . . . . . . 12--21
         Martin C. Carlisle and   
             Ricky E. Sward and   
           Jeffrey W. Humphries   Weaving Ada 95 into the .NET environment 22--26
                  Dhavy Gantsou   An architectural framework for
                                  supporting distributed object based
                                  routing  . . . . . . . . . . . . . . . . 27--29
                  Leonid Dulman   Visual Ada developer . . . . . . . . . . 30--34
              Michael McEvilley   The essence of information assurance and
                                  its implications for the Ada community   35--39
                   V. Santhanam   The anatomy of an FAA-qualifiable Ada
                                  subset compiler  . . . . . . . . . . . . 40--43
             Robert C. Leif and   
            Suzanne B. Leif and   
              Stephanie H. Leif   XML and Ada complement each other  . . . 44--44
             Melvin Neville and   
                  Anaika Sibley   Developing a generic genetic algorithm   45--52
           Dmitry Korochkin and   
               Sergey Korochkin   Experimental performance analysis of the
                                  Ada95 and Java parallel program on SMP
                                  systems  . . . . . . . . . . . . . . . . 53--56

ACM SIGADA Ada Letters
Volume 23, Number 2, June, 2003

           Sheldon X. Liang and   
                 Lynn Zhang and   
                           Luqi   Automatic prototype generating via
                                  optimized object model . . . . . . . . . 22--31
            Bo I. Sandén   Real-time programming safety in Java and
                                  Ada  . . . . . . . . . . . . . . . . . . 32--46

ACM SIGADA Ada Letters
Volume 23, Number 3, September, 2003

                Marin D. Condic   A plan for producing a conventional Ada
                                  library  . . . . . . . . . . . . . . . . 16--31
                   Pascal Leroy   An invitation to Ada 2005  . . . . . . . 33--55

ACM SIGADA Ada Letters
Volume 23, Number 4, December, 2003

             Joyce L. Tokar and   
                  Brian Dobbing   Session summary: new core language
                                  features . . . . . . . . . . . . . . . . 11--12
              Andy Wellings and   
                 Joyce L. Tokar   Session summary: integration versus
                                  orthogonality (RTSJ scheduling policies
                                  versus Ada's)  . . . . . . . . . . . . . 13--15
                  Andy Wellings   Is Java augmented with the RTSJ a better
                                  real-time systems implementation
                                  technology than Ada 95?  . . . . . . . . 16--21
   Michael Gonzalez-Harbour and   
               Tullio Vardanega   Report of session: current real-time AIs 22--23
             Javier Miranda and   
           Edmond Schonberg and   
             Miguel Masmano and   
                 Jorge Real and   
                  Alfons Crespo   Dynamic ceiling priorities in GNAT
                                  implementation report  . . . . . . . . . 24--27
Michael González Harbour and   
              Mario Aldea Rivas   Managing multiple execution-time timers
                                  from a single task . . . . . . . . . . . 28--31
                 Alan Burns and   
              Andy Wellings and   
               Tullio Vardanega   Report of session: flexible scheduling
                                  in Ada . . . . . . . . . . . . . . . . . 32--35
                   A. Burns and   
                 A. J. Wellings   Task attribute-based scheduling:
                                  extending Ada's support for scheduling   36--41
          Mario Aldea Rivas and   
Michael González Harbour   Application-defined scheduling in Ada    42--51
                 Joyce L. Tokar   Space & Time Partitioning with ARINC 653
                                  and pragma profile . . . . . . . . . . . 52--54
              Brian Dobbing and   
      Juan Antonio de la Puente   Session: status and future of the
                                  Ravenscar profile  . . . . . . . . . . . 55--57
                 P. N. Amey and   
                  B. J. Dobbing   Static analysis of Ravenscar programs    58--64
               Tullio Vardanega   Ravenscar design patterns?: reflections
                                  on use of the Ravenscar profile  . . . . 65--73
                    R. Maia and   
                 F. Moreira and   
                 R. Barbosa and   
                   D. Costa and   
             Kjeld Hjortaes and   
         Patricia Rodriguez and   
              Luis Miguel Pinho   Verifying, validating and monitoring the
                                  open Ravenscar real time kernel  . . . . 74--81
  Juan Antonio de la Puente and   
                  Juan Zamorano   Execution-time clocks and Ravenscar
                                  kernels  . . . . . . . . . . . . . . . . 82--86
            Douglas J. Howe and   
                Stephen Michell   An approach to formal verification of
                                  real time concurrent Ada programs  . . . 87--92
                 Alan Burns and   
               Tullio Vardanega   Report of session: generating new AIs    93--95
           Tullio Vardanega and   
       Luís Miguel Pinho   Session summary: the future of IRTAW . . 96--96


ACM SIGADA Ada Letters
Volume 24, Number 1, March, 2004

       Jeffrey W. Humphries and   
         Martin C. Carlisle and   
                Terry A. Wilson   Multilanguage programming with Ada in
                                  the .NET environment . . . . . . . . . . 1--3
                 Peter Amey and   
               Roderick Chapman   Static verification and extreme
                                  programming  . . . . . . . . . . . . . . 4--9
             Ricky E. Sward and   
               A. T. Chamillard   AdaSlicer: an Ada program slicer . . . . 10--16
             S. Evangelista and   
                  C. Kaiser and   
         J. F. Pradat-Peyre and   
                    P. Rousseau   Verifying linear time temporal logic
                                  properties of concurrent Ada programs
                                  with Quasar3 . . . . . . . . . . . . . . 17--24
                  Dhavy Gantsou   A DSA model for data access in
                                  self-organizing systems  . . . . . . . . 25--28
             Gaetan Allaert and   
             Dirk Craeynest and   
            Philippe Waroquiers   European air traffic flow management:
                                  porting a large application to GNU/Linux 29--37
                    J.-P. Rosen   Experiences in developing a typical
                                  Web/database application . . . . . . . . 38--48
                Jordi Marco and   
                  Xavier Franch   A framework for designing and
                                  implementing the Ada Standard Container
                                  Library  . . . . . . . . . . . . . . . . 49--61
                  Baowen Xu and   
             Zhenqiang Chen and   
                   Jianjun Zhao   Measuring cohesion of packages in Ada95  62--67
             Ricky E. Sward and   
         Martin C. Carlisle and   
             Barry S. Fagin and   
                David S. Gibson   The case for Ada at the USAF Academy . . 68--70
                   Eric Potratz   A practical comparison between Java and
                                  Ada in implementing a real-time embedded
                                  system . . . . . . . . . . . . . . . . . 71--83

ACM SIGADA Ada Letters
Volume 24, Number 2, June, 2004

                 Alan Burns and   
              Brian Dobbing and   
               Tullio Vardanega   Guide for the use of the Ada Ravenscar
                                  Profile in high integrity systems  . . . 1--74

ACM SIGADA Ada Letters
Volume 24, Number 3, September, 2004

              Matthew J. Heaney   Charles: an STL for Ada95  . . . . . . . 23--30
                  Stephen Leake   Introduction to Stephe's Ada library . . 31--43
              Jeffrey R. Carter   The PragmAda reusable components . . . . 44--46
                   Trudy Levine   Reusable software components . . . . . . 47--48

ACM SIGADA Ada Letters
Volume 24, Number 4, December, 2004

                F. Singhoff and   
                 J. Legrand and   
                    L. Nana and   
                L. Marcé   Cheddar: a flexible real time scheduling
                                  framework  . . . . . . . . . . . . . . . 1--8
                 Geoff T. Smith   Measuring the effectiveness of ACATS . . 9--12
                 James F. Davis   Information systems security
                                  engineering: a critical component of the
                                  systems engineering lifecycle  . . . . . 13--18
                   Andy Lapping   Model driven development with Ada  . . . 19--22
                  Paul Anderson   A refactoring tool for Ada 95  . . . . . 23--28
             Ricky E. Sward and   
               A. T. Chamillard   Re-engineering global variables in Ada   29--34
            Robert Soricone and   
                 Melvin Neville   Comparative analysis of genetic
                                  algorithm implementations  . . . . . . . 35--38
           Roderick Chapman and   
                  Adrian Hilton   Enforcing security and safety models
                                  with an information flow analysis tool   39--46
                 C. Wayne Brown   Teaching graphics using Ada  . . . . . . 47--50
             Javier Miranda and   
               Edmond Schonberg   GNAT: on the road to Ada 2005  . . . . . 51--60


ACM SIGADA Ada Letters
Volume 25, Number 1, March, 2005

                  Gustaf Naeser   Priority inversion in multi processor
                                  systems due to protected actions . . . . 43--47
               Yasushi Tojo and   
               Sinsuke Nara and   
                Yuichi Goto and   
                   Jingde Cheng   Tasking deadlocks in programs with the
                                  full Ada 95  . . . . . . . . . . . . . . 48--56
                   Trudy Levine   Reusable software components . . . . . . 57--65

ACM SIGADA Ada Letters
Volume 25, Number 2, June, 2005

              Cyrille Comar and   
                     Pat Rogers   On dynamic plug-in loading with Ada 95
                                  and Ada 2005 . . . . . . . . . . . . . . 31--41
                    Karl Nyberg   Windows disk drive recovery with Ada95:
                                  an application note  . . . . . . . . . . 42--44
                   Trudy Levine   Reusable software components . . . . . . 45--53

ACM SIGADA Ada Letters
Volume 25, Number 3, September, 2005

              Randal P. Andress   Wholesale byte reversal of the outermost
                                  Ada record object to achieve endian
                                  independence for communicated data types 19--27
                Christoph Grein   Dead live longer: a dramoletto . . . . . 28--31
                Gertrude Levine   Ada and the control of intrusion . . . . 32--39
                   Trudy Levine   Reusable software components . . . . . . 40--48

ACM SIGADA Ada Letters
Volume 25, Number 4, December, 2005

                F. Singhoff and   
                 J. Legrand and   
                    L. Nana and   
                L. Marcé   Scheduling and memory requirements
                                  analysis with AADL . . . . . . . . . . . 1--10
               Xavier Sautejeau   Modeling SPARK systems with UML  . . . . 11--16
             Ricky E. Sward and   
           Leemon C. Baird, III   Optimizing the SPARK program slicer  . . 17--22
              Howard Ausden and   
                    Karl Nyberg   Using ASIS to generate C++ bindings  . . 23--30
         Korochkin Alexandr and   
                 Salah Imad and   
               Korochkin Dmitry   Experimental performance analysis of Ada
                                  programs in cluster system . . . . . . . 31--36
              Anthony S. Ruocco   Experiences using SPARK in an
                                  undergraduate CS course  . . . . . . . . 37--40
             Javier Miranda and   
           Edmond Schonberg and   
              Hristian Kirtchev   The implementation of Ada 2005
                                  synchronized interfaces in the GNAT
                                  compiler . . . . . . . . . . . . . . . . 41--48
              Gustaf Naeser and   
         Kristina Lundqvist and   
                   Lars Asplund   Temporal skeletons for verifying time    49--56
                 James F. Davis   The affordable application of formal
                                  methods to software engineering  . . . . 57--62
              Gustaf Naeser and   
               Lars Asplund and   
             Johan Furunäs   SafetyChip: a time monitoring and
                                  policing device  . . . . . . . . . . . . 63--68
          David G. Mathisen and   
                Robert W. Carey   Orchestrating shots for the National
                                  Ignition Facility  . . . . . . . . . . . 69--78
           Knut H. Pedersen and   
    Constantinos Constantinides   AspectAda: aspect oriented programming
                                  for Ada95  . . . . . . . . . . . . . . . 79--92
                      Matt Mark   Data sharing between Ada and C/C++ . . . 93--102
                   Andrew Berns   A comparison of CORBA and Ada's
                                  distributed systems annex  . . . . . . . 103--108
                George Romanski   Ada in the avionics industry . . . . . . 109--114


ACM SIGADA Ada Letters
Volume 26, Number 1, April, 2006

                Alok Srivastava   From the Editor's Desk . . . . . . . . . 1--1
                Alok Srivastava   Editorial Policy . . . . . . . . . . . . 2--3
                      Anonymous   Key Contacts . . . . . . . . . . . . . . 4--6
              John W. McCormick   Special Report by SIGAda Chair . . . . . 7--11
              John W. McCormick   2005 SIGAda Awards Awarded at SIGAda
                                  2005 in Atlanta Georgia on November 16   12--15
                 Robert C. Leif   Workshop, Commercializing Ada  . . . . . 16--17
             Martin C. Carlisle   How Ada 2005 Impacts CS1/2 . . . . . . . 18--24
                  John A. Trono   Optimal Table Lookup for Reserved Words
                                  in Ada . . . . . . . . . . . . . . . . . 25--30
                      Anonymous   Ada Issue 307 --- Execution-Time Clocks  31--44
                      Anonymous   Ada Issue 321 --- Definition of
                                  Dispatching Policies . . . . . . . . . . 45--55
                      Anonymous   Ada Issue 327 --- Dynamic Ceiling
                                  Priorities . . . . . . . . . . . . . . . 56--63
                      Anonymous   Ada Issue 333 --- Additional Locking
                                  Policies with FIFO\_Within\_Priorities   64--65
                      Anonymous   Conference Announcements: Ada Europe
                                  2006 CFP . . . . . . . . . . . . . . . . 66--66
                      Anonymous   Conference Announcements: SIGAda 2006
                                  Information  . . . . . . . . . . . . . . 67--67

ACM SIGADA Ada Letters
Volume 26, Number 2, August, 2006

               Judith Klein and   
              Drasko Sotirovski   Publisher FrameWork (PFW)  . . . . . . . 12--22
              Claude Kaiser and   
Jean-François Pradat-Peyre and   
    Sami Évangelista and   
                Pierre Rousseau   Comparing Java, C# and Ada monitors
                                  queuing policies: a case study and its
                                  Ada refinement . . . . . . . . . . . . . 23--37
                Alok Srivastava   Ada Issue 00354: group execution-time
                                  budgets  . . . . . . . . . . . . . . . . 38--47
                Alok Srivastava   Ada Issue 00355: priority specific
                                  dispatching including round robin  . . . 48--59
                Alok Srivastava   Ada Issue 00357: support for deadlines
                                  and earliest deadline first scheduling   60--68
                Alok Srivastava   Ada Issue 00394: redundant restriction
                                  identifiers and completing Ravenscar
                                  definition . . . . . . . . . . . . . . . 69--74
                   Trudy Levine   Reusable software components . . . . . . 75--83

ACM SIGADA Ada Letters
Volume 26, Number 3, December, 2006

                   Judith Klein   Use of Ada in Lockheed Martin for air
                                  traffic management and beyond  . . . . . 1--1
             Martin C. Carlisle   Automatic OO parser generation using
                                  visitors for Ada 2005  . . . . . . . . . 3--8
            Rajaa S. Shindi and   
                   Shaun Cooper   Evaluate the performance changes of
                                  processor simulator benchmarks When
                                  context switches are incorporated  . . . 9--14
         Martin C. Carlisle and   
            J. A. Hamilton, Jr.   Integrating Ada 2005 into visual studio
                                  2005 . . . . . . . . . . . . . . . . . . 15--20
              Bechir Zalila and   
 Jérôme Hugues and   
                 Laurent Pautet   An improved IDL compiler for optimizing
                                  CORBA applications . . . . . . . . . . . 21--28
               Tanya Markow and   
             Eugene Ressler and   
                     Jean Blair   Catch that speeding turtle: latching
                                  onto fun graphics in CS1 . . . . . . . . 29--34
                Luke Ludwig and   
                    Paul Pukite   DEGAS: discrete event Gnu advanced
                                  scheduler  . . . . . . . . . . . . . . . 35--42
                   Robert Dewar   Ada 2005 & high integrity systems . . . . 43--43
             Ricky E. Sward and   
                    Mark Gerken   Developing safety critical software for
                                  an unmanned aerial vehicle situational
                                  awareness tool . . . . . . . . . . . . . 45--50
            Khaled Barbaria and   
             Laurent Pautet and   
               Isabelle Perseil   Schizophrenic middleware support for
                                  fault tolerance  . . . . . . . . . . . . 51--60
              Alain Plantec and   
                 Frank Singhoff   Refactoring of an Ada 95 library with a
                                  Meta CASE tool . . . . . . . . . . . . . 61--70
              Drasko Sotirovski   Time horizon in distributed object
                                  societies  . . . . . . . . . . . . . . . 71--74
                    Tucker Taft   Why you should be using Ada 2005 now!    75--75
                   David Mosley   When to migrate legacy embedded
                                  applications . . . . . . . . . . . . . . 77--80


ACM SIGADA Ada Letters
Volume 27, Number 1, April, 2007

         Albert M. K. Cheng and   
                      James Ras   The implementation of the Priority
                                  Ceiling Protocol in Ada-2005 . . . . . . 24--39

ACM SIGADA Ada Letters
Volume 27, Number 2, August, 2007

           Tullio Vardanega and   
           Josée F. Ruiz   Language Issues: Introduction  . . . . . 15--17
              A. Zerzelidis and   
                   A. Burns and   
                 A. J. Wellings   Correcting the EDF protocol in Ada 2005  18--22
             A. J. Wellings and   
                       A. Burns   Integrating OOP and tasking: the missing
                                  requeue  . . . . . . . . . . . . . . . . 23--28
     Santiago Urueña and   
                  Juan Zamorano   Building high-integrity distributed
                                  systems with Ravenscar restrictions  . . 29--36
Michael González Harbour and   
     J. Javier Gutiérrez   Programming patterns and libraries:
                                  Introduction . . . . . . . . . . . . . . 37--40
             A. J. Wellings and   
                       A. Burns   A framework for real-time utilities for
                                  Ada 2005 . . . . . . . . . . . . . . . . 41--47
                   A. Burns and   
                 A. J. Wellings   Programming execution-time servers in
                                  Ada 2005 . . . . . . . . . . . . . . . . 48--52
      José A. Pulido and   
       Juan A. de la Puente and   
       Jérome Hugues and   
              Matteo Bordin and   
               Tullio Vardanega   Ada 2005 code patterns for
                                  metamodel-based code generation  . . . . 53--58
                 Alan Burns and   
                  Andy Wellings   Implementation experience with Ada 2005:
                                  Introduction . . . . . . . . . . . . . . 59--60
     Santiago Urueña and   
         José Pulido and   
        José Redondo and   
                  Juan Zamorano   Implementing the new Ada 2005 real-time
                                  features on a bare board kernel  . . . . 61--66
          Mario Aldea Rivas and   
Michael González Harbour   Operating system support for execution
                                  time budgets for thread groups . . . . . 67--71
                 Jorge Real and   
                Stephen Michell   Beyond Ada 2005: Introduction  . . . . . 72--74
             A. J. Wellings and   
                       A. Burns   Beyond Ada 2005: allocating tasks to
                                  processors in SMP systems  . . . . . . . 75--81
                    M. Ward and   
                  N. C. Audsley   Suggestions for stream based parallel
                                  systems in Ada . . . . . . . . . . . . . 82--87
                Ben Brosgol and   
                    Mario Aldea   Ada and other standards: Introduction    88--89
                Stephen Michell   Interfacing Ada to operating systems . . 90--95
       Juan A. de la Puente and   
         Santiago Urueña   Conclusions and plans for next IRTAW:
                                  Summary  . . . . . . . . . . . . . . . . 96--97

ACM SIGADA Ada Letters
Volume 27, Number 3, December, 2007

              John G. P. Barnes   SA1: introducing the best of Ada . . . . 1--1
                    Ben Brosgol   SA2: languages for safety-critical
                                  software: issues and assessment  . . . . 2--2
              John G. P. Barnes   SP1: introducing the best of Ada 2005    3--3
                 Ricky E. Sward   SP2: exposing Ada Web services using a
                                  service-oriented architecture (SOA)  . . 4--4
                    Rod Chapman   MF1: security by construction  . . . . . 5--6
              John W. McCormick   MA1: real-time and parallel processing
                                  in Ada . . . . . . . . . . . . . . . . . 7--7
                 Frank Singhoff   MP1: real time scheduling theory and its
                                  use with Ada . . . . . . . . . . . . . . 8--8
                  Joe Jarzombek   Wanted: software with assurance built-in 9--10
                 Ward D. Maurer   Using mathematics to improve Ada
                                  compiled code, part 2: the proof . . . . 11--26
                Paul Pukite and   
                    Luke Ludwig   Generic discrete event simulations using
                                  \em DEGAS: application to logic design
                                  and digital signal processing  . . . . . 27--40
             Frank Singhoff and   
                  Alain Plantec   AADL modeling and analysis of
                                  hierarchical schedulers  . . . . . . . . 41--50
               Kung-Kiu Lau and   
                     Zheng Wang   Verified component-based software in
                                  SPARK: experimental results for a
                                  missile guidance system  . . . . . . . . 51--58
          Tyler B. Hallmark and   
              Eugene K. Ressler   Parallel evolution of game evaluation
                                  functions in Ada . . . . . . . . . . . . 59--62
                 Ricky E. Sward   Using Ada in a service-oriented
                                  architecture . . . . . . . . . . . . . . 63--68
                   Jeff O'Leary   Federal Aviation Administration and Ada  69--70
         Martin C. Carlisle and   
            Leemon C. Baird III   Timing neural networks in C and Ada  . . 71--74
                   Kung-Kiu Lau   Using SPARK for a beginner's course on
                                  reasoning about imperative programs  . . 75--78
                    Karl Nyberg   Multi-core $+$ multi-tasking $=$
                                  multi-opportunity? . . . . . . . . . . . 79--82
             Robert B. K. Dewar   The compiler as a static analysis tool   83--88
            Chris Nettleton and   
               Wilson Ifill and   
                    Colin Marsh   Towards a demonstrably-correct Ada
                                  compiler . . . . . . . . . . . . . . . . 89--96
                   Robert Dewar   Birds-of-a-feather: where would you like
                                  to see GNAT go?  . . . . . . . . . . . . 97--98
                    Tom Grosman   Hibachi: the Eclipse Ada Development
                                  Toolset  . . . . . . . . . . . . . . . . 99--99
                    Rod Chapman   Correctness by construction: putting
                                  engineering (back) into software . . . . 100--100
                  Paul E. Black   Static analysis summit II  . . . . . . . 101--107


ACM SIGADA Ada Letters
Volume 28, Number 1, April, 2008

               Jeff O'Leary and   
          Frederick Woodard and   
            Alok Srivastava and   
            Denise S. Beidleman   Assessment of string tests strategy for
                                  an en route air traffic control system   24--30
                       Bob Duff   Gem #1: Limited types in Ada 2005 ---
                                  limited aggregates . . . . . . . . . . . 31--33
                       Bob Duff   Gem #2: Limited types in Ada 2005 ---
                                  notation in aggregates . . . . . . . . . 34--35
                       Bob Duff   Gem # 3: Limited types in Ada 2005 ---
                                  constructor functions  . . . . . . . . . 36--37
                 Matthew Heaney   Gem #5: Key-based searching in set
                                  containers . . . . . . . . . . . . . . . 38--40
                 Matthew Heaney   Gem #6: The Ada95 multiple views idiom
                                  vs. Ada05 interfaces . . . . . . . . . . 41--44
               Franco Gasperoni   Gem #7: The beauty of numeric literals
                                  in Ada . . . . . . . . . . . . . . . . . 45--47
                 Matthew Heaney   Gem #8: Factory functions  . . . . . . . 48--51
                 Matthew Heaney   Gem #9: Classwide operations, iterators,
                                  and generic algorithms . . . . . . . . . 52--58
                   Trudy Levine   Reusable software components . . . . . . 59--70
                R. Krishnan and   
          Margaret Nadworny and   
                 Nishil Bharill   Static analysis tools for security
                                  checking in code at Motorola . . . . . . 76--82
              Redge Bartholomew   Evaluation of static source code
                                  analyzers for avionics software
                                  development  . . . . . . . . . . . . . . 83--87
           Robert A. Martin and   
                    Sean Barnum   Common weakness enumeration (CWE) status
                                  update . . . . . . . . . . . . . . . . . 88--91
                   Arnaud Venet   A practical approach to formal software
                                  verification by static analysis  . . . . 92--95
                Hassen Sa\"\idi   Logical foundation for static analysis:
                                  application to binary static analysis
                                  for security . . . . . . . . . . . . . . 96--102


ACM SIGADA Ada Letters
Volume 29, Number 1, April, 2009

               Negin Mahani and   
              Parnian Mokri and   
            Zainalabedin Navabi   System level hardware design and
                                  simulation with SystemAda  . . . . . . . 19--22
               Robert Dewar and   
            Vasiliy Fofanov and   
           Franco Gasperoni and   
                     Yang Zhang   Gem #22: Ada speaks many languages . . . 23--24
                       Bob Duff   Gem #23: null considered harmful . . . . 25--26
                       Bob Duff   Gem #24: null considered harmful (part 2
                                  -- efficiency) . . . . . . . . . . . . . 27--28
                 Emmanuel Briot   Gem #25: how to search text  . . . . . . 29--32
                       Bob Duff   Gem #26: the mod attribute . . . . . . . 33--34
                   Robert Dewar   Gem #27: changing data representation
                                  (part 1) . . . . . . . . . . . . . . . . 35--37
                   Robert Dewar   Gem #28: changing data representation
                                  (part 2) . . . . . . . . . . . . . . . . 38--40
                    Pascal Obry   Gem #29: introduction to the Ada Web
                                  Server (AWS) . . . . . . . . . . . . . . 41--44
                    John Barnes   Gem #30: safe and secure software:
                                  introduction . . . . . . . . . . . . . . 45--47
                   Robert Dewar   Gem #31: preconditions/postconditions    48--49
                    John Barnes   Gem #32: safe and secure software:
                                  chapter 1, safe syntax . . . . . . . . . 50--50
Ramón Fernández-Marina   Gem # 33: accessibility checks (part I:
                                  Ada95) . . . . . . . . . . . . . . . . . 51--52
                    John Barnes   Gem #34: safe and secure software:
                                  chapter 2, safe typing . . . . . . . . . 53--53
                     Pat Rogers   Gem #35: bounded buffer package in GNAT
                                  hierarchy (part 1) . . . . . . . . . . . 54--56
                    John Barnes   Gem #36: safe and secure software:
                                  chapter 3, safe pointers . . . . . . . . 57--57
                     Pat Rogers   Gem #37: bounded buffer package in GNAT
                                  hierarchy (part 2) . . . . . . . . . . . 58--60
                    John Barnes   Gem #38: safe and secure software:
                                  chapter 4, safe architecture . . . . . . 61--61
                     Pat Rogers   Gem #39: efficient stream I/O for array
                                  types  . . . . . . . . . . . . . . . . . 62--64
                    John Barnes   Gem #40: safe and secure software:
                                  chapter 5, safe object oriented
                                  programming  . . . . . . . . . . . . . . 65--65
Ramón Fernández-Marina   Gem #41: accessibility checks (part II:
                                  Ada2005) . . . . . . . . . . . . . . . . 66--68
                    John Barnes   Gem #42: safe and secure software:
                                  chapter 6, safe object construction  . . 69--69
                    John Barnes   Gem #43: safe and secure software:
                                  chapter 7, safe memory management  . . . 70--70
                       Bob Duff   Gem #44: accessibility checks (part III) 71--73
                    John Barnes   Gem #45: safe and secure software:
                                  chapter 8, safe startup  . . . . . . . . 74--74
                   Robert Dewar   Gem #46: incompatibilities between Ada
                                  83 and Ada 95  . . . . . . . . . . . . . 75--76
                    John Barnes   Gem #47: safe and secure software:
                                  chapter 9, safe communication  . . . . . 77--77
                  Quentin Ochem   Gem #48: extending interfaces in Ada
                                  2005 . . . . . . . . . . . . . . . . . . 78--79
                    John Barnes   Gem #49: safe and secure software:
                                  chapter 10, safe concurrency . . . . . . 80--80
                       Bob Duff   Gem #50: overload resolution . . . . . . 81--83
                   Trudy Levine   Reusable software components . . . . . . 84--97

ACM SIGADA Ada Letters
Volume 29, Number 2, August, 2009

               Negin Mahani and   
              Parnian Mokri and   
             Mahshid Sedghi and   
            Zainalabedin Navabi   SystemAda: an Ada based system-level
                                  hardware description language  . . . . . 15--19
                Gertrude Levine   Ada for the control of degradation of
                                  service  . . . . . . . . . . . . . . . . 20--27
                    J.-P. Rosen   The Ada paradox(es)  . . . . . . . . . . 28--35
                    John Barnes   Gem #51: safe and secure software:
                                  chapter 11, certified safe with SPARK    36--36
                 Emmanuel Briot   Gem #52: scripting capabilities in GNAT
                                  (Part 1) . . . . . . . . . . . . . . . . 37--39
                 Emmanuel Briot   Gem #54: scripting capabilities in GNAT
                                  (Part 2) . . . . . . . . . . . . . . . . 40--42
                  Quentin Ochem   Gem #55: introduction to Ada /Java
                                  interfacing  . . . . . . . . . . . . . . 43--45
                  Quentin Ochem   Gem #56: creating Ada to Java calls
                                  using GNAT-AJIS  . . . . . . . . . . . . 46--49
                  Quentin Ochem   Gem #57: Ada /Java cross dispatching . . 50--52
                  Quentin Ochem   Gem #58: Ada /Java exception handling    53--55
                 Arnaud Charlet   Gem #59: generating Ada bindings for C
                                  headers  . . . . . . . . . . . . . . . . 56--60
             Javier Miranda and   
                 Arnaud Charlet   Gem #61: interfacing with C++
                                  constructors . . . . . . . . . . . . . . 61--62
             Javier Miranda and   
                 Arnaud Charlet   Gem #62: C++ constructors and Ada 2005   63--64
                  Gary Dismukes   Gem #63: the effect of pragma suppress   65--67
                 Emmanuel Briot   Gem #64: handling multiple-unit source
                                  files  . . . . . . . . . . . . . . . . . 68--70
                     Pat Rogers   Review of the book: Real-Time Systems
                                  and Programming Languages (4th edition)
                                  by Alan Burns and Andy Wellings  . . . . 71--71

ACM SIGADA Ada Letters
Volume 29, Number 3, December, 2009

             Michael B. Feldman   Introduction to Ada  . . . . . . . . . . 1--2
                    Ben Brosgol   An introduction to the C# language and
                                  .NET infrastructure  . . . . . . . . . . 3--4
             Jeanne Murtagh and   
                  Drew Hamilton   How Ada object orientation works . . . . 5--6
                    David Gluch   Embedded systems engineering with the
                                  AADL: modeling & analysis . . . . . . . . 7--8
             Trevor J. Jennings   SPARK: the Libre language and toolset
                                  for high-assurance software engineering  9--10
           Cynthia Cicalese and   
              Joel Sherrill and   
             Ricky E. Sward and   
              Richard Weatherly   Unmanned systems and Ada . . . . . . . . 11--12
              John W. McCormick   Ada for real-time and parallel
                                  processing . . . . . . . . . . . . . . . 13--14
                 Ricky E. Sward   Service oriented architecture (SOA)
                                  concepts and implementations . . . . . . 15--16
                     Pat Rogers   Embedded, hard, real-time systems with
                                  Ada  . . . . . . . . . . . . . . . . . . 17--18
                  Quentin Ochem   Multi-language programming with Ada  . . 19--20
             Richard B. Schmidt   An Ada retrospective: developing large,
                                  mature, reliable systems . . . . . . . . 21--22
                 Mark Gardinier   Open source development of a safety
                                  critical dual redundant (Ada95/C++)
                                  signal control program environment
                                  (SCOPE)  . . . . . . . . . . . . . . . . 23--30
             Julien Delange and   
             Laurent Pautet and   
              Alain Plantec and   
           Mickael Kerboeuf and   
             Frank Singhoff and   
                 Fabrice Kordon   Validate, simulate, and implement
                                  ARINC653 systems using the AADL  . . . . 31--44
           Sheldon X. Liang and   
              Lyle Reibling and   
              Samuel Sambasivam   `Automatic Prototype Generating'
                                  restated with re-ADA:
                                  perspective-bridged architecture for
                                  document-driven systems transitioning    45--60
             Bruce R. Barkstrom   On using Ada to solve problems in
                                  computational economics and related
                                  disciplines with concurrent, multiagent
                                  algorithms . . . . . . . . . . . . . . . 61--72
Héctor Pérez Tijero and   
            J. Javier Gutierrez   Experience in integrating
                                  interchangeable scheduling policies into
                                  a distribution middleware for Ada  . . . 73--78
              Steven M. Lathrop   Dynamic analysis of branch
                                  mispredictions in Ada  . . . . . . . . . 79--84
                    John Knight   Echo: a new approach to formal
                                  verification based on Ada  . . . . . . . 85--86
                Chad Loseby and   
               Peter Chapin and   
                   Carl Brandon   Use of SPARK in a resource constrained
                                  embedded system  . . . . . . . . . . . . 87--90
            Alexander S. Mentis   A robotics API dialect for type-safe
                                  robots: translating Myro to Ada  . . . . 91--102
                  James Chelini   Working towards DO-178C/ED-12C,
                                  DO-248C/ED-94C, and DO-278A/ED109A . . . 103--104
             Samuel Tardieu and   
                   Alexis Polti   Complementing Ada with other programming
                                  languages  . . . . . . . . . . . . . . . 105--114
                  Tong Dinh and   
                 Shan Barkataki   Distributed container: a design pattern
                                  for fault tolerance and high speed data
                                  exchange . . . . . . . . . . . . . . . . 115--118
                   Jay C. Smart   A look at Ada from both sides now (a
                                  government, and a defense contractor
                                  perspective) . . . . . . . . . . . . . . 119--120
                 Ricky E. Sward   Georegistration of imagery from unmanned
                                  aircraft systems using Ada . . . . . . . 121--126
          Jean-Pierre Rosen and   
                    Tucker Taft   The new semantic model in ASIS for Ada
                                  2005 . . . . . . . . . . . . . . . . . . 127--132


ACM SIGADA Ada Letters
Volume 30, Number 1, April, 2010

                   A. Burns and   
                 A. J. Wellings   Supporting execution on multiprocessor
                                  platforms  . . . . . . . . . . . . . . . 16--25
                   A. Burns and   
                 A. J. Wellings   Language vulnerabilities: let's not
                                  forget concurrency . . . . . . . . . . . 26--32
Kristoffer Nyborg Gregertsen and   
                 Amund Skavhaug   Execution-time control for interrupt
                                  handling . . . . . . . . . . . . . . . . 33--44
            Enrico Mezzetti and   
             Marco Panunzio and   
               Tullio Vardanega   Temporal isolation with the Ravenscar
                                  profile and Ada 2005 . . . . . . . . . . 45--55
                  Luke Wong and   
            Stephen Michell and   
                     Brad Moore   Named memory pool for Ada  . . . . . . . 55--61
            Stephen Michell and   
                  Luke Wong and   
                     Brad Moore   Realtime paradigms needed post Ada 2005  62--67
          Mario Aldea Rivas and   
Michael González Harbour   Execution time monitoring and interrupt
                                  handlers: position statement . . . . . . 68--72
                 Jorge Real and   
                  Alfons Crespo   Incorporating operating modes to an Ada
                                  real-time framework  . . . . . . . . . . 73--85
            José F. Ruiz   Towards a Ravenscar extension for
                                  multi-processor systems  . . . . . . . . 86--90
Héctor Pérez Tijero and   
 J. Javier Gutiérrez and   
Michael González Harbour   Support for a real-time transactional
                                  model in distributed Ada . . . . . . . . 91--103
             A. J. Wellings and   
                       A. Burns   User-defined clocks is it the right time
                                  now? . . . . . . . . . . . . . . . . . . 104--115
             A. J. Wellings and   
                       A. Burns   Generalizing the EDF scheduling support
                                  in Ada 2005  . . . . . . . . . . . . . . 116--124
             A. J. Wellings and   
                A. H. Malik and   
              N. C. Audsley and   
                       A. Burns   Ada and cc-NUMA architectures what can
                                  be achieved with Ada 2005? . . . . . . . 125--134
                      Rod White   Providing additional real-time
                                  capability and flexibility for Ada 2005  135--146
                   A. Burns and   
                 A. J. Wellings   Multiprocessor systems session summary   147--151
           Tullio Vardanega and   
Michael González Harbour and   
       Luís Miguel Pinho   Session summary: language and
                                  distribution issues  . . . . . . . . . . 152--161
            Stephen Michell and   
                     Jorge Real   Conclusions of the 14th International
                                  Real-Time Ada Workshop . . . . . . . . . 162--164

ACM SIGADA Ada Letters
Volume 30, Number 2, August, 2010

                    Karl Nyberg   Automatically generating DTD-specific
                                  XML parsers  . . . . . . . . . . . . . . 13--18
                    Karl Nyberg   Parsing Hierarchical Data Format (HDF)
                                  files  . . . . . . . . . . . . . . . . . 19--24
                      Anonymous   Maintenance and revision of the Ada
                                  programming language: outline
                                  announcement . . . . . . . . . . . . . . 25--26
                 Alan Burns and   
             Joyce L. Tokar and   
              Stephen Baird and   
                John Barnes and   
                Rod Chapman and   
              Gary Dismukes and   
   Michael Gonzales-Harbour and   
            Stephen Michell and   
                 Brad Moore and   
               Miguel Pinho and   
         Erhard Ploedereder and   
                 Jorge Real and   
                J. P. Rosen and   
               Ed Schonberg and   
             S. Tucker Taft and   
                   T. Vardanega   Ada and the software vulnerabilities
                                  project  . . . . . . . . . . . . . . . . 27--52
                      Anonymous   Annex SPARK --- final draft:
                                  SPARK.Specific information for
                                  vulnerabilities  . . . . . . . . . . . . 53--66
                   Trudy Levine   Reusable Software Components . . . . . . 67--78

ACM SIGADA Ada Letters
Volume 30, Number 3, December, 2010

                   William Bail   Effective requirements engineering . . . 1--2
              Jean-Pierre Rosen   Use of object oriented technologies in
                                  high reliability system  . . . . . . . . 3--4
              John W. McCormick   Ada for parallel, embedded, and
                                  real-time applications . . . . . . . . . 5--6
           Robert G. Pettit, IV   Designing real-time, concurrent, and
                                  embedded software systems using UML and
                                  Ada  . . . . . . . . . . . . . . . . . . 7--8
             Cindy Cicalese and   
               Joel Sherill and   
                Ricky Sward and   
              Richard Weatherly   Unmanned systems with Ada and RTEMS  . . 9--10
                     Chris Lane   Systems software integrity assurance . . 11--12
                    Jim Ras and   
             Albert M. K. Cheng   A deterministic run-time environment for
                                  Ada-05 on the ATmega16 microcontroller   13--22
              Mamdouh Jemli and   
              Jean-Pierre Rosen   A methodology for avoiding known
                                  compiler problems using static analysis  23--30
             Elizabeth Fong and   
              Paul E. Black and   
          Richard F. Leslie and   
           Simson Garfinkel and   
              Larry Wagoner and   
                Gary McGraw and   
                  Jeff Williams   Wouldn't it be nice to have software
                                  labels . . . . . . . . . . . . . . . . . 31--32
             Richard B. Schmidt   Experience report: Ada & Java integration
                                  in the FAA's ERAM SWIM program . . . . . 33--34
              Richard Weatherly   ``Unmanned systems and Ada'' . . . . . . 35--36
           Peter J. Bradley and   
       Juan A. de la Puente and   
                  Juan Zamorano   Real-time system development in Ada
                                  using LEGO\reg Mindstorms\reg NXT  . . . 37--40
                  Brad J. Moore   Parallelism generics for Ada 2005 and
                                  beyond . . . . . . . . . . . . . . . . . 41--52
                     You Li and   
                    Lu Yang and   
                     Lei Bu and   
              Linzhang Wang and   
               Jianhua Zhao and   
                    Xuandong Li   Extending Ada to support multi-core
                                  based monitoring and fault tolerance . . 53--62
               Edmond Schonberg   Towards Ada 2012: an interim report  . . 63--70
                 Ricky E. Sward   The rise, fall and persistence of Ada    71--74


ACM SIGADA Ada Letters
Volume 31, Number 1, April, 2011

              Jean-Pierre Rosen   Developing a profile for using
                                  object-oriented Ada in high-integrity
                                  systems  . . . . . . . . . . . . . . . . 9--10
                 Emmanuel Briot   Gem #65: \tt gprbuild  . . . . . . . . . 11--13
                 Emmanuel Briot   Gem #66: GPS's key shortcuts editor  . . 14--15
                 Emmanuel Briot   Gem #67: managing the GPS workspace  . . 16--18
                    Yannick Moy   Gem #68: let's SPARK! --- part 1 . . . . 19--23
                    Yannick Moy   Gem #69: let's SPARK! --- part 2 . . . . 24--27
                     Pat Rogers   Gem #70: the scope locks idiom . . . . . 28--31
                   Dean Kuo and   
              Angela Wallenburg   Gem #71: tokeneer discovery --- lesson 1 32--36
                   Dean Kuo and   
              Angela Wallenburg   Gem #71: tokeneer discovery --- lesson 2 37--38
                   Dean Kuo and   
              Angela Wallenburg   Gem #73: tokeneer discovery --- lesson 3 39--42
                   Dean Kuo and   
              Angela Wallenburg   Gem #73: tokeneer discovery --- lesson 4 43--46
                   Dean Kuo and   
              Angela Wallenburg   Gem #73: tokeneer discovery --- lesson 5 47--48
                   Dean Kuo and   
              Angela Wallenburg   Gem #73: tokeneer discovery --- lesson 6 49--52
                   Trudy Levine   Reusable software components . . . . . . 53--63

ACM SIGADA Ada Letters
Volume 31, Number 2, August, 2011

                Gertrude Levine   Priority inversion with fungible
                                  resources  . . . . . . . . . . . . . . . 9--14
                   Negin Mahani   Making alive register transfer level and
                                  transaction level modeling in Ada  . . . 15--22
                 Emmanuel Briot   Gem #77: where did my memory go? (part
                                  1) . . . . . . . . . . . . . . . . . . . 23--24
                 Emmanuel Briot   Gem #78: where did my memory go? (part
                                  2) . . . . . . . . . . . . . . . . . . . 25--27
                 Emmanuel Briot   Gem #79:: where did my memory go? (part
                                  3) . . . . . . . . . . . . . . . . . . . 28--29
                    Rod Chapman   Gem #80: speedy shift and rotate in
                                  SPARK  . . . . . . . . . . . . . . . . . 30--32
                     Pat Rogers   Gem #81: GNAT semaphores . . . . . . . . 33--35
                    Yannick Moy   Gem #82: type-based security 1: handling
                                  tainted data . . . . . . . . . . . . . . 36--39
                    Yannick Moy   Gem #83: type-based security 2:
                                  validating the input . . . . . . . . . . 40--43
                  Thomas Quinot   Gem #84: the distributed systems annex 1
                                  --- simple client/server . . . . . . . . 44--47
                  Thomas Quinot   Gem #85: the distributed systems annex 2
                                  --- distributed objects  . . . . . . . . 48--51
                  Quentin Ochem   Gem #86: Ada quiz 1 --- basic types  . . 52--55
                  Thomas Quinot   Gem #87: the distributed systems annex,
                                  part 3 --- mailboxes . . . . . . . . . . 56--58
                   Trudy Levine   Reusable software components . . . . . . 59--69
                 Patrick Rogers   Review of the book: \booktitleBuilding
                                  parallel, embedded, and real-time
                                  applications with Ada, by John
                                  McCormick, Frank Singhoff, and Jérôme
                                  Hugues . . . . . . . . . . . . . . . . . 70--70

ACM SIGADA Ada Letters
Volume 31, Number 3, December, 2011

                Ian Broster and   
                 Andrew Coombes   How to measure and optimize reliable
                                  embedded software  . . . . . . . . . . . 1--2
             Ricky E. Sward and   
                    Jeff Boleng   Service-oriented architecture
                                  (SOA)concepts and implementations  . . . 3--4
               Benjamin Brosgol   DO-178C: the next avionics safety
                                  standard . . . . . . . . . . . . . . . . 5--6
                Jay Abraham and   
               Jeff Chapple and   
                    Cyril Preve   Improving quality of Ada software with
                                  range analysis . . . . . . . . . . . . . 7--8
                Michael 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 and   
                 Frank Singhoff   Building embedded real-time applications 15--16
                    Grady Booch   Everything I know I learned from Ada . . 17--18
           Hazem Ismail Ali and   
       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 and   
                 Brad Moore and   
                    Tucker Taft   How to make Ada go `viral' . . . . . . . 35--36
             Martin C. Carlisle   Why I came back to Ada . . . . . . . . . 37--38
         Joyce L. Tokar PhD and   
             F. David Jones and   
          Paul E. Black PhD and   
               Chris E. Dupilka   Software vulnerabilities precluded by
                                  SPARK  . . . . . . . . . . . . . . . . . 39--46
                 Jason Belt and   
              John Hatcliff and   
                      Robby and   
             Patrice Chalin and   
               David Hardin and   
                  Xianghua Deng   Enhancing SPARK's contract checking
                                  facilities using symbolic execution  . . 47--60
             Vincent Gaudel and   
             Frank Singhoff and   
              Alain Plantec and   
            Stephane Rubini and   
             Pierre Dissaux and   
                 Jerome Legrand   An Ada design pattern recognition tool
                                  for AADL performance analysis  . . . . . 61--68
                Jay Abraham and   
               Jeff Chapple and   
                    Cyril Preve   Improving quality of Ada software with
                                  range analysis . . . . . . . . . . . . . 69--74
              Dan R. Eilers and   
                  Tero Koskinen   Making the non-executable ACATS tests
                                  executable . . . . . . . . . . . . . . . 75--80
                James S. Rogers   Language choice for safety critical
                                  applications . . . . . . . . . . . . . . 81--90


ACM SIGADA Ada Letters
Volume 32, Number 1, April, 2012

                  John A. Trono   Updated MPHF weights for Ada 2012  . . . 9--12
                   Negin Mahani   TLM request response channel in
                                  SystemAda  . . . . . . . . . . . . . . . 13--18
                  Quentin Ochem   Gem #88 GPS: smart completion (Part 1 of
                                  2) . . . . . . . . . . . . . . . . . . . 19--21
                 Marco Panunzio   Gem #89  . . . . . . . . . . . . . . . . 22--26
                  Thomas Quinot   Gem #90: the distributed systems annex,
                                  part 4 --- DSA and C . . . . . . . . . . 27--29
                  Quentin Ochem   Gem #91: smart completion (Part 2 of 2)  30--31
                 Marco Panunzio   Gem #92: code archetypes for real-time
                                  programming --- part 2 . . . . . . . . . 32--36
                     Pat Rogers   Gem #93: high performance multi-core
                                  programming --- part 1 . . . . . . . . . 37--38
                 Marco Panunzio   Gem #94: code archetypes for real-time
                                  programming --- part 3 . . . . . . . . . 39--45
                  Quentin Ochem   Gem #95: dynamic stack analysis in GNAT  46--48

ACM SIGADA Ada Letters
Volume 32, Number 2, August, 2012

                   Negin Mahani   Making alive register transfer level and
                                  transaction level modeling in Ada  . . . 9--16
                 Marco Panunzio   Gem #96: code archetypes for real-time
                                  programming --- part 4 . . . . . . . . . 17--23
                 Emmanuel Briot   Gem #97: reference counting in Ada ---
                                  part 1 . . . . . . . . . . . . . . . . . 24--27
                     Pat Rogers   Gem #98: high performance multi-core
                                  programming --- part 2 . . . . . . . . . 28--30
                 Emmanuel Briot   Gem #99: reference counting in Ada ---
                                  part 2: task safety  . . . . . . . . . . 31--32
                 Emmanuel Briot   Gem #100: reference counting in Ada ---
                                  part 3: weak references  . . . . . . . . 33--34
                    Pascal Obry   Gem #101: SOAP/WSDL server part  . . . . 35--36
                    Pascal Obry   Gem #102: SOAP/WSDL client part  . . . . 37--38
                 Marco Panunzio   Gem #103: code archetypes for real-time
                                  programming --- part 5 . . . . . . . . . 39--42
                 Johannes Kanig   Gem #104: Gprbuild and configuration
                                  files --- part 1 . . . . . . . . . . . . 43--44
                 Emmanuel Briot   Gem #105: Lady Ada kisses Python ---
                                  part 1 . . . . . . . . . . . . . . . . . 45--46
                 Emmanuel Briot   Gem #106: Lady Ada kisses Python ---
                                  part 2 . . . . . . . . . . . . . . . . . 47--49

ACM SIGADA Ada Letters
Volume 32, Number 3, December, 2012

            Bo I. Sandén   HILT'12 tutorial overview /design of
                                  multitask software: the entity-life
                                  modeling approach  . . . . . . . . . . . 1--2
                 Jason Belt and   
             Patrice Chalin and   
              John Hatcliff and   
                          Robby   Leading-edge Ada verification
                                  technologies: highly automated Ada
                                  contract checking using Bakar Kiasan . . 3--4
                 Johannes Kanig   Leading-edge Ada verification
                                  technologies: combining testing and
                                  verification with GNATTest and GNATProve
                                  --- the Hi-Lite Project  . . . . . . . . 5--6
              Nancy Leveson and   
      Cody Harrison Fleming and   
                    John Thomas   Safety of embedded software  . . . . . . 7--8
             K. Rustan M. Leino   Developing verified programs with Dafny  9--10
             Ricky E. Sward and   
                    Jeff Boleng   Service-oriented architecture (SOA)
                                  concepts and implementations . . . . . . 11--12
                 S. Tucker Taft   Tutorial: multicore programming using
                                  divide-and-conquer and work stealing . . 13--14
                  Kelvin Nilsen   Tutorial overview: understanding dynamic
                                  memory management in safety critical
                                  Java . . . . . . . . . . . . . . . . . . 15--22
                 Barbara Liskov   Keynote presentation: Programming the
                                  Turing machine . . . . . . . . . . . . . 23--24
             K. Rustan M. Leino   Program proving using intermediate
                                  verification languages (IVLs) like
                                  Boogie and Why3  . . . . . . . . . . . . 25--26
             Johannes Kanig and   
           Edmond Schonberg and   
                   Claire Dross   Hi-Lite: the convergence of compiler
                                  technology and program verification  . . 27--34
           Edmond Schonberg and   
                  Vincent Pucci   Implementation of a simple
                                  dimensionality checking system in Ada
                                  2012 . . . . . . . . . . . . . . . . . . 35--42
      Hristian Hristov Kirtchev   A new robust and efficient
                                  implementation of controlled types in
                                  the GNAT compiler  . . . . . . . . . . . 43--50
                Kathleen Fisher   HACMS: high assurance cyber military
                                  systems  . . . . . . . . . . . . . . . . 51--52
            David S. Hardin and   
            Konrad L. Slind and   
          Michael W. Whalen and   
                Tuang-Hung Pham   A DSL for cross-domain security  . . . . 53--62
                  Kelvin Nilsen   Real-time Java in modernization of the
                                  Aegis Weapon System  . . . . . . . . . . 63--70
            Jeffrey O'Leary and   
                Alok Srivastava   FAA's controller pilot automatic data
                                  communication (data comm) system
                                  software development . . . . . . . . . . 71--72
                    Geert Bosch   Synchronization cannot be implemented as
                                  a library  . . . . . . . . . . . . . . . 73--80
                   Shuai Li and   
             Frank Singhoff and   
     Stéphane Rubini and   
            Bourdell\`es Michel   Applicability of real-time
                                  schedulability analysis on a software
                                  radio protocol . . . . . . . . . . . . . 81--94
             Guy L. Steele, Jr.   Programming language life cycles . . . . 95--96
              Dan R. Eilers and   
                  Tero Koskinen   Adapting ACATS for use with run-time
                                  checks suppressed  . . . . . . . . . . . 97--102
           Lennart Beringer and   
           Randall Brukardt and   
                Thomas Plum and   
                 S. Tucker Taft   Panel on compiler certification: should
                                  we trust our compiler? . . . . . . . . . 103--104


ACM SIGADA Ada Letters
Volume 33, Number 1, April, 2013

                   A. Burns and   
                 A. J. Wellings   Support for multiprocessor platforms . . 9--14
                   A. Burns and   
             A. J. Wellings and   
                    A. H. Malik   TTF-Ravenscar: a profile to support
                                  reliable high-integrity multiprocessor
                                  Ada applications . . . . . . . . . . . . 15--23
                       A. Burns   An EDF run-time profile based on
                                  Ravenscar  . . . . . . . . . . . . . . . 24--31
                     S. Lin and   
             A. J. Wellings and   
                       A. Burns   Ada 2012: resource sharing and
                                  multiprocessors  . . . . . . . . . . . . 32--44
            José F. Ruiz   Going real-time with Ada 2012 and GNAT   45--52
Héctor Pérez Tijero and   
 J. Javier Gutiérrez and   
Michael González Harbour   Adapting the end-to-end flow model for
                                  distributed Ada to the Ravenscar profile 53--63
             Marco Panunzio and   
               Tullio Vardanega   Charting the evolution of the Ada
                                  Ravenscar code archetypes  . . . . . . . 64--83
      António Barros and   
       Luís Miguel Pinho   Revisiting transactions in Ada . . . . . 84--92
         Sergio Sáez and   
                  Alfons Crespo   Deferred setting of scheduling
                                  attributes in Ada 2012 . . . . . . . . . 93--100
                Stephen Michell   Programming language vulnerabilities:
                                  proposals to include concurrency
                                  paradigms  . . . . . . . . . . . . . . . 101--115
         Sergio Sáez and   
                 Jorge Real and   
                  Alfons Crespo   Adding multiprocessor and mode change
                                  support to the Ada real-time framework   116--127
              Juan Zamorano and   
            'Angel Esquinas and   
           Juan A. de la Puente   Ada real-time services and
                                  virtualization . . . . . . . . . . . . . 128--133
                 Jorge Real and   
            José F. Ruiz   Session summary: multiprocessor issues,
                                  part 1 . . . . . . . . . . . . . . . . . 134--137
              Andy Wellings and   
       Luís Miguel Pinho   Session summary: multiprocessor issues,
                                  part 2 (resource control protocols)  . . 138--145
                 Alan Burns and   
               Tullio Vardanega   Session summary: language profile and
                                  application frameworks . . . . . . . . . 146--149
  Juan Antonio de la Puente and   
                Stephen Michell   Session summary: concurrency issues  . . 150--156
                   Negin Mahani   Investigating SystemAda: TLM\_FIFO
                                  detailed characteristics proof, TLM2.0
                                  interfaces implementation, simulation
                                  time comparison to SystemC . . . . . . . 157--168
                Takeo Ekiba and   
                Yuichi Goto and   
                   Jingde Cheng   New types of tasking deadlocks in Ada
                                  2012 programs  . . . . . . . . . . . . . 169--179

ACM SIGADA Ada Letters
Volume 33, Number 2, August, 2013

                       A. Burns   Parallel Ada: a requirement for Ada 2020 9--13
                 Brad Moore and   
            Stephen Michell and   
              Luis Miguel Pinho   Parallelism in Ada: general model and
                                  Ravenscar  . . . . . . . . . . . . . . . 14--32
              Juan Zamorano and   
           Juan A. de la Puente   On real-time partitioned multicore
                                  systems  . . . . . . . . . . . . . . . . 33--39
          Luis Miguel Pinho and   
            Stephen Michell and   
                     Brad Moore   Ada and many-core platforms  . . . . . . 40--48
                Mario Aldea and   
                 Alan Burns and   
    Marina Gutiérrez and   
Michael González Harbour   Incorporating the Deadline Floor
                                  Protocol in Ada  . . . . . . . . . . . . 49--58
                   A. Burns and   
                 A. J. Wellings   Locking policies for multiprocessor Ada  59--65
                    Geert Bosch   Lock-free protected types for real-time
                                  Ada  . . . . . . . . . . . . . . . . . . 66--74
             A. J. Wellings and   
                   A. Burns and   
        A. L. C. Cavalcanti and   
                    N. K. Singh   Programming simple reactive systems in
                                  Ada: premature program termination . . . 75--86
Kristoffer Nyborg Gregertsen and   
                 Amund Skavhaug   Execution time timers for interrupt
                                  handling . . . . . . . . . . . . . . . . 87--96
         Sergio Sáez and   
                 Jorge Real and   
                  Alfons Crespo   Deferred and atomic setting of
                                  scheduling attributes for Ada  . . . . . 97--108
   Kristoffer Nyborg Gregertsen   An extended Ravenscar profile for
                                  execution time control . . . . . . . . . 109--114
          Luis Miguel Pinho and   
            Stephen Michell and   
                     Brad Moore   Session summary: parallel and multicore
                                  systems  . . . . . . . . . . . . . . . . 115--122
                 Alan Burns and   
                  Andy Wellings   Session summary: locking protocols . . . 123--125
           Tullio Vardanega and   
                      Rod White   Session summary: improvements to Ada . . 126--130
                 Jorge Real and   
      Juan Antonio de la Puente   Session summary: open issues . . . . . . 131--132
                   Trudy Levine   Reusable software components . . . . . . 133--140

ACM SIGADA Ada Letters
Volume 33, Number 3, December, 2013

                 S. Tucker Taft   Tutorial: proving safety of parallel
                                  /multi-threaded programs . . . . . . . . 1--2
               Ethan K. Jackson   Engineering domain-specific languages
                                  with formula 2.0 . . . . . . . . . . . . 3--4
                Nikolaj Bjorner   Satisfiability modulo theories for high
                                  integrity development  . . . . . . . . . 5--6
              Francesco Logozzo   Practical specification and verification
                                  with code contracts  . . . . . . . . . . 7--8
                    Sagar Chaki   Bounded model checking of high-integrity
                                  software . . . . . . . . . . . . . . . . 9--10
                Jeff Boleng and   
                    Ricky Sward   Service-oriented architecture (SOA)
                                  concepts and implementations . . . . . . 11--12
              Francesco Logozzo   Technology for inferring contracts from
                                  code . . . . . . . . . . . . . . . . . . 13--14
                Kyle Carter and   
               Adam Foltzer and   
                Joe Hendrix and   
              Brian Huffman and   
                     Aaron Tomb   SAW: the software analysis workbench . . 15--18
      Pavlos Efstathopoulos and   
                Andrew Hawthorn   Optimizing verification effort with
                                  SPARK 2014 . . . . . . . . . . . . . . . 19--20
            Pierre Courtieu and   
      Maria Virginia Aponte and   
            Tristan Crolard and   
                  Zhi Zhang and   
                  Fnu Robby and   
                 Jason Belt and   
              John Hatcliff and   
             Jerome Guitton and   
                Trevor Jennings   Towards the formalization of SPARK 2014
                                  semantics with explicit run-time checks
                                  using Coq  . . . . . . . . . . . . . . . 21--22
            Stephen Michell and   
                 Brad Moore and   
              Luis Miguel Pinho   Real-time programming on accelerator
                                  many-core processors . . . . . . . . . . 23--36
                 S. Tucker Taft   Bringing safe, dynamic parallel
                                  programming to the SPARK verifiable
                                  subset of Ada  . . . . . . . . . . . . . 37--40
              Michael W. Whalen   Up and out: scaling formal analysis
                                  using model-based development and
                                  architecture modeling  . . . . . . . . . 41--42
             Donald T. Ward and   
            David A. Redman and   
                 Bruce A. Lewis   An approach to integration of complex
                                  systems: the SAVI virtual integration
                                  process  . . . . . . . . . . . . . . . . 43--46
               Steven Doran and   
               Stephanie August   Reddo: a model driven engineering
                                  toolset for embedded software
                                  development  . . . . . . . . . . . . . . 47--48
             John B. Goodenough   Building confidence in system behavior   49--50
           Anitha Murugesan and   
          Michael W. Whalen and   
          Sanjai Rayadurgam and   
            Mats P. E. Heimdahl   Compositional verification of a medical
                                  device system  . . . . . . . . . . . . . 51--64
               Brian Larson and   
              John Hatcliff and   
                 Kim Fowler and   
                 Julien Delange   Illustrating the AADL error modeling
                                  annex (v.2) using a simple
                                  safety-critical medical device . . . . . 65--84
              Jeannette M. Wing   Formal methods: an industrial
                                  perspective  . . . . . . . . . . . . . . 85--86
                    Suad Alagic   Automatic versus interactive program
                                  verification . . . . . . . . . . . . . . 87--88


ACM SIGADA Ada Letters
Volume 34, Number 3, December, 2014

                    John Barnes   From Ada 9x to spaceport America: going
                                  where no one has gone before . . . . . . 1--2
                John Barnes and   
                 S. Tucker Taft   Ada 83 to Ada 2012: lessons learned over
                                  30 years of language design  . . . . . . 3--4
                  David Crocker   Can C++ be made as safe as SPARK?  . . . 5--12
  Tamás Szabó and   
             Markus Voelter and   
                 Bernd Kolb and   
               Daniel Ratiu and   
               Bernhard Schaetz   \tt mbeddr: extensible languages for
                                  embedded software development  . . . . . 13--16
                Peter H. Feiler   AADL and model-based engineering . . . . 17--18
               Andrew Gacek and   
                John Backes and   
               Darren Cofer and   
               Konrad Slind and   
                    Mike Whalen   Resolute: an assurance case language for
                                  architecture models  . . . . . . . . . . 19--28
                Ehsan Ahmad and   
            Brian R. Larson and   
         Stephen C. Barrett and   
                Naijun Zhan and   
                    Yunwei Dong   Hybrid annex: an AADL extension for
                                  continuous behavior and cyber-physical
                                  interaction modeling . . . . . . . . . . 29--38
 Jérôme Hugues and   
              Christophe Garion   Leveraging Ada 2012 and SPARK 2014 for
                                  assessing generated code from AADL
                                  models . . . . . . . . . . . . . . . . . 39--46
                Brian R. Larson   Formal semantics for the PACEMAKER
                                  system specification . . . . . . . . . . 47--60
                   Ed Seidewitz   UML with meaning: executable modeling in
                                  foundational UML and the Alf action
                                  language . . . . . . . . . . . . . . . . 61--68
                    Thomas Ball   Correctness via compilation to logic: a
                                  decade of verification at Microsoft
                                  Research . . . . . . . . . . . . . . . . 69--70
          Anya Helene Bagge and   
                Magne Haveraaen   Specification of generic APIs, or: why
                                  algebraic may be better than pre/post    71--80
             William Rathje and   
                  Brad Richards   A framework for model checking UDP
                                  network programs with Java Pathfinder    81--86
             S. Tucker Taft and   
                 Brad Moore and   
   Luís Miguel Pinho and   
                Stephen Michell   Safe parallel programming in Ada with
                                  language extensions  . . . . . . . . . . 87--96
         Robert L. Bocchino and   
              Edward Gamble and   
            Kim P. Gostelow and   
                Raphael R. Some   Spot: a programming language for
                                  verified flight software . . . . . . . . 97--102
       Nicholas D. Matsakis and   
              Felix S. Klock II   The Rust language  . . . . . . . . . . . 103--104
            Robert Bocchino and   
          Nicholas Matsakis and   
             S. Tucker Taft and   
               Brian Larson and   
                   Ed Seidewitz   Panel summary: finding safety in
                                  numbers: new languages for safe
                                  multicore programming and modeling . . . 105--106


ACM SIGADA Ada Letters
Volume 35, Number 1, April, 2015

              N. C. Audsley and   
                       A. Burns   Efficient Implementation of IPCP and DFP 9--16
                   A. Burns and   
                 A. J. Wellings   Testing Conformity to the Real-Time
                                  Annex  . . . . . . . . . . . . . . . . . 17--25
             A. J. Wellings and   
                       A. Burns   Interrupts, Timing Events and
                                  Dispatching Domains  . . . . . . . . . . 26--31
                  P. Rogers and   
                    J. Ruiz and   
                     T. Gingold   Toward Extensions to the Ravenscar
                                  Profile  . . . . . . . . . . . . . . . . 32--37
              Jorge Garrido and   
              Juan Zamorano and   
           Juan A. de la Puente   ARINC-653 Inter-partition Communications
                                  and the Ravenscar Profile  . . . . . . . 38--45
   Luís Miguel Pinho and   
                 Brad Moore and   
            Stephen Michell and   
                 S. Tucker Taft   Real-Time Fine-Grained Parallelism in
                                  Ada  . . . . . . . . . . . . . . . . . . 46--58
               Patrick Bernardi   Incorporating Cyclic Task Behaviour into
                                  Ada Tasks  . . . . . . . . . . . . . . . 59--73
          Mario Aldea Rivas and   
Héctor Pérez Tijero and   
Michael González Harbour   Multiprocessor Ada platform based on
                                  MaRTE OS and GNAT  . . . . . . . . . . . 74--79
         Sergio Sáez and   
                 Jorge Real and   
                  Alfons Crespo   Implementation of Timing-Event
                                  Affinities in Ada/Linux  . . . . . . . . 80--92
                 Joyce L. Tokar   Update of ISO/IEC Technical Reports on
                                  the Use of the Ada Programming Language
                                  in High Integrity Systems  . . . . . . . 93--94
                 Alan Burns and   
      Juan Antonio de la Puente   Session Summary: Conformance Issues  . . 95--96
          Luis Miguel Pinho and   
            Stephen Michell and   
                     Brad Moore   Session Summary: Fine-grained
                                  parallelism  . . . . . . . . . . . . . . 97--101
              Andy Wellings and   
                     Jorge Real   Session Summary  . . . . . . . . . . . . 102--104

ACM SIGADA Ada Letters
Volume 35, Number 2, August, 2015

                  David C. Levy   Illustrating Timing Drift  . . . . . . . 9--13
                 Terry Froggatt   An Error in the Ada Universal Arithmetic
                                  Package  . . . . . . . . . . . . . . . . 14--14
                   Trudy Levine   Reusable Software Components . . . . . . 15--21


ACM SIGADA Ada Letters
Volume 36, Number 1, June, 2016

                Tucker Taft and   
                 Brad Moore and   
          Luis Miguel Pinho and   
                Stephen Michell   Reduction of Parallel Computation in the
                                  Parallel Model for Ada . . . . . . . . . 9--24
            Stephen Michell and   
                 Brad Moore and   
          Luis Miguel Pinho and   
                    Tucker Taft   Constraints on the Use of Executors in
                                  Real-time Systems  . . . . . . . . . . . 25--28
                 Alan Burns and   
                  Andy Wellings   The Deadline Floor Protocol and Ada  . . 29--34
                   A. Burns and   
                 A. J. Wellings   Synchronous Task Control and Synchronous
                                  Barriers . . . . . . . . . . . . . . . . 35--38
   Kristoffer Nyborg Gregertsen   Revising the Ada Timers and Group
                                  Budgets to Support Execution Time
                                  Control for Interrupt Handling . . . . . 39--50
             A. J. Wellings and   
               V. Cholpanov and   
                       A. Burns   Implementing Safety-Critical Java
                                  Missions in Ada  . . . . . . . . . . . . 51--62
              Jorge Garrido and   
             Beatriz Lacruz and   
              Juan Zamorano and   
           Juan A. de la Puente   In support of extending the Ravenscar
                                  profile  . . . . . . . . . . . . . . . . 63--67
                 Jorge Real and   
         Sergio Sáez and   
                  Alfons Crespo   Combined Scheduling of Time-Triggered
                                  Plans and Priority Scheduled Task Sets   68--76
                Stephen Michell   Time Issues in Programs Vulnerabilities
                                  for Programming Languages or Systems . . 77--82
          Luis Miguel Pinho and   
                Stephen Michell   Session Summary: Parallel and Multicore
                                  Systems  . . . . . . . . . . . . . . . . 83--90
                 Alan Burns and   
                  Andy Wellings   Session Summary: Deadline Floor Protocol 91--93
          Mario Aldea Rivas and   
Michael González Harbour   Session Summary: Language Issues . . . . 94--97
           Tullio Vardanega and   
                     Pat Rogers   Session Summary: Ada Language Profiles   98--100
                 Jorge Real and   
                     Pat Rogers   Session Summary: ``Experience''  . . . . 101--102
           Stepehen Michell and   
      Juan Antonio de la Puente   Session Summary: Time Vulnerabilities    103--106

ACM SIGADA Ada Letters
Volume 36, Number 2, December, 2016

              Timm Liebrenz and   
           Verena Klös and   
                   Paula Herber   Automatic Analysis and Abstraction for
                                  Model Checking HW/SW Co-Designs modeled
                                  in SystemC . . . . . . . . . . . . . . . 9--17
               Carl Brandon and   
                   Peter Chapin   The Use of SPARK in a Complex Spacecraft 18--21
                 Joyce L. Tokar   A Comparison of Avionics Open System
                                  Architectures  . . . . . . . . . . . . . 22--26
                Sagar Chaki and   
                Dionisio de Niz   Contract-Based Verification of Timing
                                  Enforcers: [Extended Abstract] . . . . . 27--30
           John D. McGregor and   
             David P. Gluch and   
                Peter H. Feiler   Analysis and Design of Safety-critical,
                                  Cyber-Physical Systems . . . . . . . . . 31--38
               Peter Feiler and   
                 Julien Delange   Automated Fault Tree Analysis from AADL
                                  Models . . . . . . . . . . . . . . . . . 39--46
Jean-Frédéric Etienne and   
                  Eric Juppeaux   SafeProver: a High-Performance
                                  Verification Tool  . . . . . . . . . . . 47--48
                 Denis Buzdalov   Simulation of AADL models with
                                  software-in-the-loop execution . . . . . 49--53
             S. Tucker Taft and   
                 Elie Richa and   
                    Andres Toom   Building Trust in a Model-Based
                                  Automatic Code Generator . . . . . . . . 54--57
             Fabien Gaucher and   
           Yves Génevaux   Debugging Embedded Systems Requirements
                                  Before The Design Begins: ``The
                                  beginning is the most important part of
                                  the work'' --- Plato . . . . . . . . . . 58--59
          Josef Müller and   
Prashanth Lakshmi Narasimhan and   
         Swaminathan Gopalswamy   Design Requirements Iterative Process
                                  (DRIP) Tool Demonstration Concurrent
                                  Engineering of Design, Requirements and
                                  Knowledge  . . . . . . . . . . . . . . . 60--68


ACM SIGADA Ada Letters
Volume 37, Number 1, June, 2017

                    Bo Wang and   
               Hongbiao Gao and   
                   Jingde Cheng   A New Definition-Use Net Generator for
                                  Ada 2012 Programs  . . . . . . . . . . . 9--25
                  Vincent Pucci   Gem #136: How tall is a kilogram?  . . . 26--30
               Valentine Reboul   Gem #137: Ada Quiz $2$--- An Heir and a
                                  Spare? . . . . . . . . . . . . . . . . . 31--38
   An Unknown AdaCore developer   Gem #138: Master the Command Line ---
                                  Part 1 . . . . . . . . . . . . . . . . . 39--42
   An Unknown AdaCore developer   Gem #139: Master the Command Line ---
                                  Part 2 . . . . . . . . . . . . . . . . . 43--45
                  Thomas Quinot   Gem #140: Bridging the Endianness Gap    46--49
   An Unknown AdaCore Developer   Gem #141: Con-figure it out  . . . . . . 50--53
                 Randy Brukardt   Community Input for the Maintenance and
                                  Revision of the Ada Programming Language 54--54

ACM SIGADA Ada Letters
Volume 37, Number 2, December, 2017

                      Anonymous   Gem #142: Exception-ally . . . . . . . . 9--12
                      Anonymous   Gem #143: Return to the Sources  . . . . 13--17
                      Anonymous   Gem #144: a Bit of Bytes: Characters and
                                  Encoding Schemes . . . . . . . . . . . . 18--22
               Valentine Reboul   Gem #145: Ada Quiz $3$--- Statements . . 23--26
                    Yannick Moy   Gem #146: Su(per)btypes in Ada 2012 ---
                                  Part 1 . . . . . . . . . . . . . . . . . 27--29
                    Yannick Moy   Gem #147: Su(per)btypes in Ada 2012 ---
                                  Part 2 . . . . . . . . . . . . . . . . . 30--31
                    Yannick Moy   Gem #148: Su(per)btypes in Ada 2012 ---
                                  Part 3 . . . . . . . . . . . . . . . . . 32--33
                    Yannick Moy   Gem #149: Asserting the truth, but
                                  (possibly) not the whole truth . . . . . 34--36
                   Robert Dewar   Gem # #150: Out and Uninitialized  . . . 37--39
                    Yannick Moy   Gem #151: Specifying Mathematical
                                  Properties of Programs . . . . . . . . . 40--42
        J. Germán Rivera   Hardware-Based Data Protection/Isolation
                                  at Runtime in Ada Code for
                                  Microcontrollers . . . . . . . . . . . . 43--50
         Stéphane Carrez   IP Network Stack in Ada 2012 and the
                                  Ravenscar Profile  . . . . . . . . . . . 51--58
             Ahlan Marriott and   
                     Urs Maurer   Using GtkAda in Practice . . . . . . . . 59--67


ACM SIGADA Ada Letters
Volume 38, Number 1, June, 2018

          Luis Miguel Pinho and   
    Eduardo Quiñones and   
                   Sara Royuela   Combining the tasklet model with OpenMP  14--18
                     Brad Moore   Synchronous Signals: an Abstraction for
                                  Interleaving Sequential and Parallel
                                  Code . . . . . . . . . . . . . . . . . . 19--28
              Jorge Garrido and   
              Juan Zamorano and   
           Juan A. de la Puente   On protocols for accessing protected
                                  objects on multiprocessors . . . . . . . 29--33
          Mario Aldea-Rivas and   
Héctor Pérez-Tijero   Proposal for a new Ada profile for small
                                  microcontrollers . . . . . . . . . . . . 34--39
             Paolo Carletto and   
                Tullio Carletto   Ravenscar-EDF: Further Results from
                                  Improved Comparative Benchmarking  . . . 40--40
                 Jorge Real and   
         Sergio Sáez and   
                  Alfons Crespo   Ravenscar Support for Time-Triggered
                                  Scheduling . . . . . . . . . . . . . . . 41--54
   Kristoffer Nyborg Gregertsen   Position paper: Clock support in Ada . . 55--57
          Luis Miguel Pinho and   
               Tullio Vardanega   Session Summary: Parallel Programming    58--60
         Juan Ade la Puente and   
                     Alan Burns   Session Summary: Multiprocessor Locking  61--61
          Mario Aldea-Rivas and   
   Kristoffer Nyborg Gregertsen   Session Summary: Profiles  . . . . . . . 62--65
                 Jorge Real and   
                     Brad Moore   Session Summary: Time Triggered
                                  Scheduling in Ravenscar  . . . . . . . . 66--69
              Andy Carletto and   
                     Jorge Real   Session Summary: Deadline Floor Protocol 70--73
           Tullio Vardanega and   
             Andy Andy Wellings   Session Summary: Language Issues . . . . 74--76
Kristoffer Nyborg Gregertsen and   
              Luis Miguel Pinho   Session Summary: Clock Issues  . . . . . 77--78

ACM SIGADA Ada Letters
Volume 38, Number 2, December, 2019

                     Bob Martin   Common Vulnerabilities Enumeration
                                  (CVE), Common Weakness Enumeration
                                  (CWE), and Common Quality Enumeration
                                  (CQE): Attempting to systematically
                                  catalog the safety and security
                                  challenges for modern, networked,
                                  software-intensive systems . . . . . . . 9--42
               David A. Wheeler   Approaches to Cyber-Resilience through
                                  Language System Design . . . . . . . . . 43--57
                 Deborah Bodeau   Cyber Resiliency Overview: What Is It,
                                  and How Do We Build It into Our Systems? 58--63
               Tobias Runge and   
               Ina Schaefer and   
     Alexander Knüppel and   
              Loek Cleophas and   
             Derrick Kourie and   
                Bruce W. Watson   Tool Support for
                                  Confidentiality-by-Construction  . . . . 64--68
                  Stephen Chong   Programming Languages for Security . . . 69--88
          Léo Creuse and   
             Joffrey Huguet and   
          Christophe Garion and   
     Jérôme Hugues   SPARK by Example: an introduction to
                                  formal verification through the Standard
                                  C++ library  . . . . . . . . . . . . . . 89--96
                    Dara Ly and   
           Nikolai Kosmatov and   
            Julien Signoles and   
Frédéric Loulergue   Soundness of a Dataflow Analysis for
                                  Memory Monitoring  . . . . . . . . . . . 97--108
               Andrew Berns and   
               James Curbow and   
            Joshua Hilliard and   
             Sheriff Jorkeh and   
                   Miho Sanders   Minimal Specifications for Detecting
                                  Security Vulnerabilities . . . . . . . . 109--114


ACM SIGADA Ada Letters
Volume 39, Number 1, January, 2020

                   Ray Richards   CASE Program: Motivation and Challenges  9--16
                     Eric Baize   SAFECode Overview  . . . . . . . . . . . 17--19
                   Lucas Wagner   Formal Specification and Analysis of
                                  Requirements using SpeAR . . . . . . . . 20--34
               Lucas Wagner and   
                   Andrew Gacek   Automating Certification Objectives with
                                  SpeAR  . . . . . . . . . . . . . . . . . 35--49
                    Sam Procter   Architecture-Level Security Concerns in
                                  a Safety Critical System . . . . . . . . 50--62
                Sam Procter and   
                   Peter Feiler   The AADL Error Library: an
                                  Operationalized Taxonomy of System
                                  Errors . . . . . . . . . . . . . . . . . 63--70
                    Jeff Foster   Who decides what is allowed?: User
                                  Interactions and Permissions Use on
                                  Android  . . . . . . . . . . . . . . . . 71--71
               Chris Casinghino   A Language for Programmable Hardware
                                  Security . . . . . . . . . . . . . . . . 71--71
                  Mario Troiani   Ensuring Cyber Resilience through
                                  Entropy-Augmented Replication  . . . . . 72--72
                    Tucker Taft   SPARK Formal Verification for Security   83--99
                 Brad Moore and   
               John A. Hamilton   Winners of 2018 SIGAda Awards  . . . . . 100--100
                  Paul Anderson   Modernizing Static Analysis Tools to
                                  Facilitate Integrations  . . . . . . . . 101--108

ACM SIGADA Ada Letters
Volume 39, Number 2, April, 2020

            Maurizio Martignano   A: the Compiler  . . . . . . . . . . . . 25--28
         Tewodros A. Beyene and   
          Christian Herrera and   
                    Vivek Nigam   Verification of Ada Programs with
                                  AdaHorn  . . . . . . . . . . . . . . . . 29--34
            Alejandro R. Mosteo   RCLAda, or Bringing Ada to the Robot
                                  Operating System . . . . . . . . . . . . 35--40
          Robert Bramberger and   
              Helmut Martin and   
            Barbara Gallina and   
           Christoph Schmittner   Co-engineering of Safety and Security
                                  Life Cycles for Engineering of
                                  Automotive Systems . . . . . . . . . . . 41--48


ACM SIGADA Ada Letters
Volume 40, Number 1, October, 2020

                David S. Galvin   Using Genericity and Reflection to
                                  Create a Declarative Elaboration Logger
                                  for Large Scale Real-time Embedded Ada
                                  Systems  . . . . . . . . . . . . . . . . 45--52
           Janusz Górski   Using Evidence-based Arguments to
                                  Support Dependability Assurance ---
                                  Experiences and Challenges . . . . . . . 53--59
                 M. Schranz and   
                   M. Sende and   
                 A. Bagnato and   
                  E. Brosse and   
                       A. Eckel   Modeling CPS Swarms: an Automotive Use
                                  Case . . . . . . . . . . . . . . . . . . 60--63
                 M. Schranz and   
                       M. Sende   Modeling Swarm Intelligence Algorithms
                                  for CPS Swarms . . . . . . . . . . . . . 64--73
                    T. Naks and   
               M. A. Aiello and   
                     S. T. Taft   Using SPARK to Ensure System to Software
                                  Integrity: a Case Study  . . . . . . . . 74--78
              Joan J. Valls and   
Miguel García-Gordillo and   
             Sergio Sáez   Scenario-based Validation & Verification:
                                  The ENABLE-S3 Approach . . . . . . . . . 79--84
              Luis Nogueira and   
      António Barros and   
             Cristina Zubia and   
                David Faura and   
 Daniel Gracia Pérez and   
              Luis Miguel Pinho   Non-functional requirements in the
                                  ELASTIC architecture . . . . . . . . . . 85--90
                 Ravi Tomar and   
                       Sarishma   Maintaining Trust in VANETs using
                                  Blockchain . . . . . . . . . . . . . . . 91--96

ACM SIGADA Ada Letters
Volume 40, Number 2, April, 2021

              Michael Klemm and   
    Eduardo Quiñones and   
                Tucker Taft and   
            Dirk Ziegenbein and   
                   Sara Royuela   The OpenMP API for High Integrity
                                  Systems: Moving Responsibility from
                                  Users to Vendors . . . . . . . . . . . . 48--50
                 Kyle Chard and   
                 James Muns and   
                Richard Wai and   
                 S. Tucker Taft   Language support for parallel and
                                  distributed computing  . . . . . . . . . 51--54
                 S. Tucker Taft   A Layered Mapping of Ada 202X to OpenMP  55--58
                 Jan Verschelde   Parallel Software to Offset the Cost of
                                  Higher Precision . . . . . . . . . . . . 59--64
                    Richard Wai   XERIS/APEX . . . . . . . . . . . . . . . 65--69
                  Brian Kleinke   Challenges and lessons learned
                                  introducing an evolving open source
                                  technology into an established legacy
                                  Ada and C++ program  . . . . . . . . . . 70--72
                 Kyle Chard and   
                Yadu Babuji and   
               Anna Woodard and   
               Ben Clifford and   
                Zhuozhao Li and   
             Mihael Hategan and   
                 Ian Foster and   
                 Mike Wilde and   
                 Daniel S. Katz   Extended Abstract: Productive Parallel
                                  Programming with Parsl . . . . . . . . . 73--75
                 Patrick Rogers   From Ada to Platinum SPARK: a Case Study 76--91
              Jorge Garrido and   
             David Pisonero and   
              Juan Zamorano and   
           Juan A. de la Puente   Vectorization Challenges in Digital
                                  Signal Processing  . . . . . . . . . . . 92--95
          Luis Miguel Pinho and   
               Sara Royuela and   
        Eduardo Quiñones   Real-time Issues in the Ada Parallel
                                  Model with OpenMP  . . . . . . . . . . . 96--102


ACM SIGADA Ada Letters
Volume 41, Number 1, June, 2021

                   Jeff Cousins   An Overview of Ada 202x  . . . . . . . . 44--63
                 A. Amurrio and   
                  E. Azketa and   
                   M. Aldea and   
         J. J. Gutiérrez   How windows size and number can
                                  influence the schedulability of
                                  hierarchically-scheduled
                                  time-partitioned distributed real-time
                                  systems  . . . . . . . . . . . . . . . . 64--68
         Christian Castagna and   
            Daniela Cancila and   
                  Antonio Cammi   Adoption of ACPS in Nuclear Reactor
                                  Analysis . . . . . . . . . . . . . . . . 69--73
                James S. Kimmet   Auto-Generated Coherent Data Store for
                                  Concurrent Modular Embedded Systems  . . 74--77
          Mario Aldea Rivas and   
            Hector Perez Tijero   M2OS for Arduino Uno: Ada tasks and
                                  Arduino libraries working together . . . 78--82
           Dr. Fridtjof Siebert   Fuzion --- Safety through Simplicity . . 83--86
Héctor Pérez Tijero and   
 Diego García Prieto and   
     J. Javier Gutiérrez   First steps towards an IEEE 802.1AS
                                  clock for EDF scheduling in distributed
                                  real-time systems  . . . . . . . . . . . 87--91

ACM SIGADA Ada Letters
Volume 41, Number 2, December, 2021

   Kristoffer Nyborg Gregertsen   \pkgEmber: an Embedded Robotics Library
                                  in SPARK . . . . . . . . . . . . . . . . 61--65
David García Villaescusa and   
          Mario Aldea Rivas and   
Michael González Harbour   Queuing Ports for Mesh Based Many-Core
                                  Processors . . . . . . . . . . . . . . . 66--70
                A. Marriott and   
                      U. Maurer   More Ada in non-Ada systems  . . . . . . 71--76
            Maurizio Martignano   Static Analysis for Ada, C/C++ and
                                  Python: Different Languages, Different
                                  Needs  . . . . . . . . . . . . . . . . . 77--80
                     J-P. Rosen   ASIS vs. LibAdalang: a Comparative
                                  Assessment . . . . . . . . . . . . . . . 81--85


ACM SIGADA Ada Letters
Volume 42, Number 1, June, 2022

                 Dirk Craeynest   11th Ada Developer Room at FOSDEM 2022   39--40
                    Stefan Hild   Ada Looks Good, Now Program a Game
                                  Without Knowing Anything . . . . . . . . 41--42
              Jean-Pierre Rosen   The Ada Numerics Model . . . . . . . . . 43--45
        Alejandro R. Mosteo and   
                Fabien Chouteau   Alire 2022 Update  . . . . . . . . . . . 46--49
              Gabriele Galeotti   SweetAda: a Lightweight Ada-Based
                                  Framework  . . . . . . . . . . . . . . . 50--53
            Alejandro R. Mosteo   Use (and Abuse) of Ada 2022 Features in
                                  Designing a JSON-Like Data Structure . . 54--57
                     Max Reznik   Getting Started with AdaWebPack  . . . . 58--60
              Jeffrey R. Carter   Overview of Ada GUI  . . . . . . . . . . 61--64
                Yannick Moy and   
                   Claire Dross   Proving the Correctness of GNAT Light
                                  Runtime Library  . . . . . . . . . . . . 65--67
         Stéphane Carrez   Implementing a Build Manager in Ada  . . 68--75
                 Jan Verschelde   Exporting Ada Software to Python and
                                  Julia  . . . . . . . . . . . . . . . . . 76--78
             S. Tucker Taft and   
              Stephen Baird and   
                   Claire Dross   Defining a Pattern Matching Language
                                  Feature for Ada  . . . . . . . . . . . . 79
                 S. Tucker Taft   A Work-Stealing Scheduler for Ada 2022,
                                  in Ada . . . . . . . . . . . . . . . . . 80
                    Jie Zou and   
               Xiaotian Dai and   
               John A. McDermid   Resilience-Aware Mixed-Criticality DAG
                                  Scheduling on Multi-cores for Autonomous
                                  Systems  . . . . . . . . . . . . . . . . 81--85
     Inês Sousa Sousa and   
    António Casimiro and   
   José Cec\'ìlio   Artificial Neural Networks for Real-Time
                                  Data Quality Assurance . . . . . . . . . 86--89
                J. Loureiro and   
              J. Cecílio   Deep Learning for Reliable Communication
                                  Optimization on Autonomous Vehicles  . . 90--94
           Marc Solé and   
              Leonidas Kosmidis   Compiler Support for an AI-oriented SIMD
                                  Extension of a Space Processor . . . . . 95--99
       Alvaro Jover-Alvarez and   
             Ivan Rodriguez and   
          Leonidas Kosmidis and   
                 David Steenari   Space Compression Algorithms
                                  Acceleration on Embedded Multi-core and
                                  GPU Platforms  . . . . . . . . . . . . . 100--104
              Zineb Boukili and   
               Hai Nam Tran and   
                  Alain Plantec   Fine-Grained Runtime Monitoring of
                                  Real-Time Embedded Systems . . . . . . . 105--105

ACM SIGADA Ada Letters
Volume 42, Number 2, December, 2022

                  Daniel Larraz   Finding Locally Smallest Cut Sets using
                                  Max-SMT  . . . . . . . . . . . . . . . . 32--39
              Daniel Larraz and   
          Arjun Viswanathan and   
             Cesare Tinelli and   
           Mickaël Laurent   Beyond model checking of idealized
                                  Lustre in Kind 2 . . . . . . . . . . . . 40--44
              John Hatcliff and   
           Danielle Stewart and   
                 Jason Belt and   
                    Robby . and   
            August Schwerdfeger   An AADL Contract Language Supporting
                                  Integrated Model- and Code-Level
                                  Verification . . . . . . . . . . . . . . 45--54
                   David Hardin   Hardware/Software Co-Assurance for the
                                  Rust Programming Language Applied to
                                  Zero Trust Architecture Development  . . 55--61
                   Claire Dross   Containers for Specification in SPARK    62--68
                 S. Tucker Taft   Rigorous Pattern Matching as a Language
                                  Feature  . . . . . . . . . . . . . . . . 69--74
               Tabea Bordis and   
               Tobias Runge and   
       Alexander Kittelmann and   
                   Ina Schaefer   Correctness-by-Construction: an Overview
                                  of the CorC Ecosystem  . . . . . . . . . 75--78
                 Laura Humphrey   Basic Formal Verification of aWaypoint
                                  Manager for Unmanned Air Vehicles in
                                  SPARK  . . . . . . . . . . . . . . . . . 79--88
                  Howard Ausden   Achieving 100% availability: In The ERAM
                                  Air Traffic Control System . . . . . . . 89--91
              Wolfgang John and   
                Ali Balador and   
               Jalil Taghia and   
           Andreas Johnsson and   
         Johan Sjöberg and   
                  Ian Marsh and   
           Jonas Gustafsson and   
            Federico Tonini and   
                Paolo Monti and   
Pontus Sköldström and   
                    Jim Dowling   ANIARA Project --- Automation of Network
                                  Edge Infrastructure and Applications
                                  with Artificial Intelligence . . . . . . 92--95
                Ali Balador and   
                Sima Sinaei and   
            Mats Pettersson and   
                     Ilhan Kaya   DAIS Project --- Distributed Artificial
                                  Intelligence Systems: Objectives and
                                  Challenges . . . . . . . . . . . . . . . 96--98
         Alessandra Bagnato and   
          Antonio Cicchetti and   
          Luca Berardinelli and   
            Hugo Bruneliere and   
                   Romina Eramo   AI-augmented Model-Based Capabilities in
                                  the AIDOaRt Project: Continuous
                                  Development of Cyber-Physical Systems    99--103
         Alessandra Bagnato and   
   Józefina Krasnodebska   MORPHEMIC --- Optimization of the
                                  Deployment and Life-cycle Management of
                                  Data-intensive Applications in the Cloud
                                  Computing Continuum  . . . . . . . . . . 104--108
          Antonio Imbruglia and   
            Daniela Cancila and   
               Marina Settembre   5G Communication and Security in
                                  Connected Vehicles . . . . . . . . . . . 109--113
                 Rita Sousa and   
              Eudald Sabate and   
      Marco Gonzalez-Hierro and   
      António Barros and   
             Cristina Zubia and   
          Luis Miguel Pinho and   
                 Elli Kartsakli   Managing Non-functional Requirements in
                                  an ELASTIC Edge-Cloud Continuum  . . . . 114--118


ACM SIGADA Ada Letters
Volume 43, Number 1, June, 2023

             Frank Singhoff and   
              Jerome Hugues and   
               Hai Nam Tran and   
           Gianluca Bardaro and   
           Dominique Blouin and   
              Marco Bozzano and   
            Patrick Denzler and   
             Pierre Dissaux and   
                  Eric Senn and   
                   Xiong Xu and   
                    Zhibin Yang   ADEPT 2022 workshop: a summary of
                                  strengths and weaknesses of the AADL
                                  ecosystem  . . . . . . . . . . . . . . . 37--41
         Jean-Charles Roger and   
                 Pierre Dissaux   AADL modelling with SysML v2 . . . . . . 42--45
                   Xiong Xu and   
               Shuling Wang and   
                 Bohua Zhan and   
                Xiangyu Jin and   
                Naijun Zhan and   
             Jean-Pierre Talpin   Unified Graphical Co-modelling, Analysis
                                  and Verification of Cyber-physical
                                  Systems by Combining AADL and
                                  Simulink/Stateflow . . . . . . . . . . . 46--49
                Zhibin Yang and   
                 Zhikai Qiu and   
                  Yong Zhou and   
               Zhiqiu Huang and   
         Jean-Paul Bodeveix and   
                  Mamoun Filali   C2AADL\_Reverse: a Model-Driven Reverse
                                  Engineering Approach for Development and
                                  Verification of Safety-Critical Software 50--53
             A. Bombardelli and   
                 A. Bonizzi and   
                 M. Bozzano and   
                  R. Cavada and   
                 A. Cimatti and   
                 A. Griggio and   
                 M. Nazaria and   
                E. Nicolodi and   
                 S. Tonetta and   
                    G. Zampedri   COMPASTA: Integrating COMPASS
                                  Functionality into TASTE . . . . . . . . 54--57
                 P. Denzler and   
                D. Ramsauer and   
          D. Scheuchenstuhl and   
                     W. Kastner   Experiences Modeling a OPC UA /DDS
                                  Gateway in AADL in the Context of Fog
                                  Computing  . . . . . . . . . . . . . . . 58
           Gianluca Bardaro and   
               Matteo Matteucci   Modelling Robot Architectures with AADL  59--63
                    E. Senn and   
               L. W. J. Bourdon   Modeling ROS Based Applications with
                                  AADL . . . . . . . . . . . . . . . . . . 64--68
           Dominique Blouin and   
           Paolo Crisafulli and   
             Cristian Maxim and   
                Francoise Caron   An Introduction to ALISA and Its Usage
                                  for an Industrial Railway System Case
                                  Study  . . . . . . . . . . . . . . . . . 69--72
       José Ferreira and   
              Alan Oliveira and   
         André Souto and   
     José Cecílio   Software-Based Security Approach for
                                  Networked Embedded Devices . . . . . . . 73--77
       Gonçalo Costa and   
 José Cecílio and   
        António Casimiro   Cooperative Autonomous Driving in
                                  Simulation . . . . . . . . . . . . . . . 78--82
         Federico Lucchetti and   
                   Marcus Voelp   Achieving Crash Fault Tolerance In
                                  Autonomous Vehicle Autopilot Software
                                  Stacks Through Safety-Critical Module
                                  Rejuvenation . . . . . . . . . . . . . . 83--87
            Dionisio de Niz and   
                     Lutz Wrage   Symbolic Refinement for CPS  . . . . . . 88--93
    Felipe Lisboa Malaquias and   
       Georgios Giantamidis and   
      Stylianos Basagiannis and   
      Simone Fulvio Rollini and   
                 Isaac Amundson   Towards a Methodology to Design Provably
                                  Secure Cyber-physical Systems  . . . . . 94--99
                  L. Creuse and   
                  M. Eyraud and   
                    V. Gar\`ese   Automatic Test Value Generation for Ada  100--105
                      J. Hugues   Mechanization of the Ravenscar Profile
                                  in Coq . . . . . . . . . . . . . . . . . 106--110
   Ivan Rodriguez Ferrandez and   
       Alvaro Jover Alvarez and   
     Matina Maria Trompouki and   
          Leonidas Kosmidis and   
           Francisco J. Cazorla   Worst Case Execution Time and Power
                                  Estimation of Multicore and GPU
                                  Software: a Pedestrian Detection Use
                                  Case . . . . . . . . . . . . . . . . . . 111--117