Table of contents for issues of Ada User

Last update: Sat Jan 6 06:34:20 MST 2024                Valid HTML 3.2!

Volume 8, Number ??, 1987
Volume 8, Number 1, 1987
Volume 8, Number 2, 1987
Volume 8, Number 3, 1987
Volume 9, Number 1, 1988
Volume 9, Number 2, 1988
Volume 9, Number 3, 1988
Volume 9, Number 4, 1988
Volume 11, Number 1, 1990
Volume 11, Number 2, 1990
Volume 11, Number 3, 1990
Volume 11, Number 4, 1990
Volume 12, Number 1, March, 1991
Volume 12, Number 2, June, 1991
Volume 12, Number 3, September, 1991
Volume 13, Number 1, March, 1992
Volume 13, Number 2, June, 1992
Volume 13, Number 3-4, September / October, 1992
Volume 14, Number 1, March, 1993
Volume 14, Number 2, June, 1993
Volume 14, Number 3, September, 1993
Volume 14, Number 4, December, 1993
Volume 15, Number 1, March, 1994
Volume 15, Number 2, June, 1994
Volume 15, Number 3, September, 1994
Volume 15, Number 4, December, 1994
Volume 16, Number 2, June, 1995
Volume ??, Number ??, 19xx
Volume 16, Number 1, March, 1995
Volume 16, Number 2, June, 1995
Volume 16, Number 3, September, 1995
Volume 16, Number 4, December, 1995
Volume 17, Number ??, 1996
Volume 17, Number 1, March, 1996
Volume 17, Number 2, June, 1996
Volume 17, Number 3, September, 1996
Volume 17, Number 4, December, 1996
Volume 18, Number 1, March, 1997
Volume 18, Number 2, June, 1997
Volume 18, Number 3, September, 1997
Volume 18, Number 4, December, 1997
Volume 19, Number 1, April, 1998
Volume 19, Number 2, 1998
Volume 20, Number 1, April, 1999
Volume 20, Number 2, July, 1999
Volume 22, Number 1, March, 2001
Volume 22, Number 2, June, 2001
Volume 22, Number 3, September, 2001
Volume 22, Number 4, December, 2001
Volume 23, Number 1, March, 2002
Volume 23, Number 2, June, 2002
Volume 23, Number 3, September, 2002
Volume 23, Number 4, December, 2002
Volume 24, Number 1, March, 2003
Volume 24, Number 2, June, 2003
Volume 24, Number 3, September, 2003
Volume 24, Number 1, December, 2003
Volume 25, Number 1, March, 2004
Volume 25, Number 2, June, 2004
Volume 25, Number 3, September, 2004
Volume 25, Number 4, December, 2004
Volume 26, Number 1, March, 2005
Volume 26, Number 2, June, 2005
Volume 26, Number 3, September, 2005
Volume 26, Number 4, December, 2005
Volume 27, Number 1, March, 2006
Volume 27, Number 2, June, 2006
Volume 27, Number 3, September, 2006
Volume 27, Number 4, December, 2006
Volume 28, Number 1, March, 2007
Volume 28, Number 2, June, 2007
Volume 28, Number 3, September, 2007
Volume 28, Number 4, December, 2007
Volume 29, Number 1, March, 2008
Volume 29, Number 2, June, 2008
Volume 29, Number 3, September, 2008
Volume 29, Number 4, December, 2008
Volume 30, Number 1, March, 2009
Volume 30, Number 2, June, 2009
Volume 30, Number 3, September, 2009
Volume 30, Number 4, December, 2009
Volume 31, Number 1, March, 2010
Volume 31, Number 2, June, 2010
Volume 31, Number 3, September, 2010
Volume 31, Number 4, December, 2010
Volume 32, Number 1, March, 2011
Volume 32, Number 2, June, 2011
Volume 32, Number 1, March, 2011
Volume 32, Number 3, September, 2011
Volume 32, Number 4, December, 2011
Volume 33, Number 1, March, 2012
Volume 33, Number 2, June, 2012
Volume 33, Number 3, September, 2012
Volume 33, Number 4, December, 2012
Volume 34, Number 1, March, 2013
Volume 34, Number 2, June, 2013
Volume 34, Number 3, September, 2013
Volume 34, Number 4, December, 2013
Volume 35, Number 1, March, 2014
Volume 35, Number 2, June, 2014
Volume 35, Number 3, September, 2014
Volume 35, Number 4, December, 2014
Volume 36, Number 1, March, 2015
Volume 36, Number 2, June, 2015
Volume 36, Number 3, September, 2015
Volume 36, Number 4, December, 2015
Volume 37, Number 1, March, 2016


Ada User
Volume 8, Number ??, 1987

              B. M. Brosgol and   
                 G. R. Cuthbert   The development of the Ada binding of
                                  the Graphical Kernel System  . . . . . . 3--9
                 G. Arnaudo and   
                      F. Forest   SIERRADA: an Ada package for queueing
                                  network modelling  . . . . . . . . . . . 11--14
                E. B. Pitty and   
                 C. Daniels and   
                    C. E. Adams   Languages for Hardware Specification and
                                  Design . . . . . . . . . . . . . . . . . 15--20
                  F. Forest and   
                     G. Arnaudo   Parallelism and Ada  . . . . . . . . . . 21--26
                  R. J. Gautier   Guidelines for the use of Ada in
                                  reusable software components . . . . . . 27--32
                      P. Keenan   The re-use of designs as a first step
                                  towards the introduction of Ada
                                  component re-use . . . . . . . . . . . . 33--40
                 A. Elliott and   
                R. D. Alexander   Mascot 3 and Ada: an approach to
                                  real-time systems based on reusable
                                  components . . . . . . . . . . . . . . . 41--46
                       A. Chard   Ada validation . . . . . . . . . . . . . 47--51
                    K. Phillips   Ada evaluation . . . . . . . . . . . . . 53--60
                I. Marshall and   
                   R. H. Pierce   Implementation of the UK MOD Ada
                                  evaluation system  . . . . . . . . . . . 61--64
                   T. Lyons and   
                        M. Tedd   Recent developments in tool support
                                  interfaces CAIS and PCTE . . . . . . . . 65--72
                   T. Lyons and   
                        M. Tedd   Technical overview of PCTE and CAIS
                                  (tool support interface standards) . . . 73--78
               H.-J. Kugler and   
                       C. Unger   UNCLE --- user interfaces for Ada
                                  support environments . . . . . . . . . . 79--83
            H. M. Heerfordt and   
                   P. Villadsen   A set of Ada packages supporting the use
                                  of VDM for Ada program development . . . 85--90
                  J. R. Cameron   Mapping JSD network specifications into
                                  Ada  . . . . . . . . . . . . . . . . . . 91--99
                      I. Mearns   A standard framework for developing
                                  real-time Ada software . . . . . . . . . 101--106
                    I. Richmond   An overview of managing design
                                  (education and data abstraction) . . . . 107--110
                   P. Smith and   
                   P. R. Harris   Ada --- the implications for the
                                  computer science curriculum  . . . . . . 111--114
                R. Burhouse and   
                      M. Curtis   A local collaborative Ada professional
                                  updating programme . . . . . . . . . . . 115--120

Ada User
Volume 8, Number 1, 1987

                      Anonymous   6th Ada UK International Conference: Ada
                                  --- the Infrastructure . . . . . . . . . ??
                   C. Boldyreff   IEEE trial-use standard portable
                                  operating system for computer
                                  environments --- POSIX . . . . . . . . . 13--14
                      K. Lester   Taking issue with Ada. II. Murphy's law,
                                  pre-emption, and being (un)reasonable    15--16
              R. A. Brassington   Ada activities in UK defence . . . . . . 31--36
                     N. Ys. Kim   Ada in the US: a user's perspective  . . 37--43
                        T. Syms   Ada in NATO  . . . . . . . . . . . . . . 44--47

Ada User
Volume 8, Number 2, 1987

                      Anonymous   Compilers (Ada)  . . . . . . . . . . . . 8--11
                      K. Lester   Taking issue with Ada --- the cosmology
                                  of Ada programs  . . . . . . . . . . . . 13--14
                   A. Burns and   
               A. M. Lister and   
                 A. J. Wellings   Ada tasking implementation issues  . . . 30--39
                   J. M. Bishop   Ada profile charts in software
                                  development  . . . . . . . . . . . . . . 40--45

Ada User
Volume 8, Number 3, 1987

                      Anonymous   Compilers (Ada)  . . . . . . . . . . . . 10--11
                      K. Lester   Taking issue with Ada. IV. Surprising
                                  but true . . . . . . . . . . . . . . . . 15--16
                    M. Dausmann   Rapid prototyping using
                                  stimulus-response-nets and Ada . . . . . 33--41
                     I. C. Pyle   Editors for Ada  . . . . . . . . . . . . 42--45


Ada User
Volume 9, Number 1, 1988

                        J. Hunt   Packages IMAGES and the IMAGE data type  6--13
               J. R. Lawton and   
                      N. France   The transformation of JSD specifications
                                  into Ada . . . . . . . . . . . . . . . . 29--39
                 J. A. McDermid   Software Technology Research Group . . . 41--46

Ada User
Volume 9, Number 2, 1988

                      Anonymous   Compilers (list of validated compilers)  57--66
                 P. E. Marshall   Ada: is she really a large and difficult
                                  lady?  . . . . . . . . . . . . . . . . . 67--70
                      K. Lester   Taking issue with Ada. VI. Now you see
                                  it, now you don't (visibility issues)    71--72
                   Y. Kermarrec   Some experiments with Ada  . . . . . . . 79--82
                J. M. Forrester   Wirth meets the countess (Modula-2 to
                                  Ada conversion)  . . . . . . . . . . . . 83--86
                      Anonymous   Cost implications of Ada . . . . . . . . 87--93

Ada User
Volume 9, Number 3, 1988

                 B. A. Wichmann   Evaluating Ada systems . . . . . . . . . 101--102
                      M. Davies   The role of the evaluator  . . . . . . . 102--104
                        A. Hill   The formal specification and
                                  verification of reusable software
                                  components using Ada with Asphodel . . . 113--123
                     R. Foulkes   Design of a command and control system:
                                  a MASCOT 3 design study  . . . . . . . . 124--126
                   A. M. Gordon   Introducing Ada at GEC Sensors Ltd . . . 127--128
                      M. Morron   PCTE update  . . . . . . . . . . . . . . 129--130
                  E. J. Dowling   Second PCTE+ international review  . . . 131--135

Ada User
Volume 9, Number 4, 1988

                      K. Lester   Taking issue with Ada V --- Ada syntax,
                                  but not Ada  . . . . . . . . . . . . . . 151--154
                  R. A. Snowdon   A brief overview of the IPSE 2.5 project 156--161
             K. R. Dittrich and   
                W. Gotthard and   
                P. C. Lockemann   DAMOKLES --- the database system for the
                                  UNIBASE software engineering environment 162--172
                  H. Dipper and   
                       R. Klebe   A graphic workstation for Ada  . . . . . 173--178
                      Anonymous   Validated compilers (for Ada, buyer's
                                  guide) . . . . . . . . . . . . . . . . . 184--197


Ada User
Volume 11, Number 1, 1990

                     J. T. Webb   MALPAS and Ada . . . . . . . . . . . . . 14--16
                  P. A. Bennett   Note on IEC software safety standard . . 17--20
             B. A. Wichmann and   
                    S. J. Dawes   Insecurities in Ada  . . . . . . . . . . 21--25
                 B. A. Wichmann   Low-Ada: an Ada validation tool  . . . . 27--32

Ada User
Volume 11, Number 2, 1990

                    C. Anderson   The Ada 9X Project --- current status    67
                 C. Ardouin and   
                  P. Boulle and   
                       M. Menes   XRete: a means to integrate  . . . . . . 88--97

Ada User
Volume 11, Number 3, 1990

                    K. C. Elsom   So what's wrong with tasking? (Ada)  . . 128--132
               M. J. Corbin and   
                   G. F. Butler   A framework for object-oriented
                                  programming in Ada . . . . . . . . . . . 133--144

Ada User
Volume 11, Number 4, 1990

                       M. Toole   Reusable Ada components --- a case study 161--164
                       T. Baker   Opening up Ada tasking . . . . . . . . . 165--169
                   A. Burns and   
             A. J. Wellings and   
                   G. L. Davies   Asynchronous transfer of control in Ada
                                  9X . . . . . . . . . . . . . . . . . . . 170--179
                C. D. Locke and   
                D. R. Vogel and   
                   T. J. Mesler   Predictable real-time avionics design
                                  using Ada tasks and rendezvous: a case
                                  study  . . . . . . . . . . . . . . . . . 180--188
                    A. Wellings   Real-time requirements (for Ada 9X)  . . 189--203


Ada User
Volume 12, Number 1, March, 1991

                     A. D. Hill   The choice of programming language for
                                  highly reliable software --- a
                                  comparison of C and Ada. 1 . . . . . . . 11--31
              P. D. Kenward and   
                 B. A. Wichmann   Approved uniformity issues (Ada) . . . . 32--36
             M. K. C. Crowe and   
                 P. E. Oldfield   Splitting an incremental Ada environment
                                  into server and client . . . . . . . . . 37--41
                    G. J. Riche   Families of high order languages --- a
                                  rationale  . . . . . . . . . . . . . . . 42--44

Ada User
Volume 12, Number 2, June, 1991

                     A. D. Hill   The choice of programming language for
                                  highly reliable software --- a
                                  comparison of C and Ada. 2 . . . . . . . 92--103

Ada User
Volume 12, Number 3, September, 1991

        M. C. Bartholomew-Biggs   New algebras for old-numerical software
                                  in Ada . . . . . . . . . . . . . . . . . 131--136
                     A. Wearing   Software development metrics for
                                  real-time embedded systems . . . . . . . 137--142


Ada User
Volume 13, Number 1, March, 1992

               I. Gilchrist and   
                    J. Liddiard   A general purpose Ada test harness . . . 21--26
                J. A. Manas and   
               J. Salvachua and   
                   M. Veiga and   
                     A. Alvarez   Ada realization of LOTOS specifications  27--33
                    M. Gauthier   Predefined types considered harmful  . . 33--43

Ada User
Volume 13, Number 2, June, 1992

                    C. Anderson   Ada 9X project report: transition plan   51--57
                C. D. Locke and   
               T. J. Mesler and   
                    D. R. Vogel   Replacing passive tasks with Ada9X
                                  protected records  . . . . . . . . . . . 58--62
                  A. Alonso and   
             J. A. De La Puente   Reusable real-time executive in Ada:
                                  design issues  . . . . . . . . . . . . . 63--67
                 F. Losavio and   
                  A. Matteo and   
                  F. Schlienger   Data type based construction of Ada
                                  programs . . . . . . . . . . . . . . . . 68--72
                   A. Burns and   
                    J. Wellings   Measuring, monitoring and enforcing CPU
                                  execution time usage . . . . . . . . . . 73--78
                  B. J. Dobbing   Experiences with the partitions model    79--84

Ada User
Volume 13, Number 3-4, September / October, 1992

                    P. H. Munch   Development of secure real-time
                                  applications in Ada  . . . . . . . . . . 114--116
                    S. Bodilsen   DDC-I's solution to secure Ada systems   117--118
               Y. S. Sherif and   
                     R. G. Dear   Ada as a simulation language for the
                                  analysis of queueing systems . . . . . . 119--128


Ada User
Volume 14, Number 1, March, 1993

                   D. Longhurst   Defence and Ada --- continuing the
                                  relationship . . . . . . . . . . . . . . 7--10
                D. G. Firesmith   Planning for object-oriented military
                                  projects . . . . . . . . . . . . . . . . 11--25
                    J. Liddiard   Achieving testability when using Ada
                                  packaging and data hiding methods  . . . 27--32

Ada User
Volume 14, Number 2, June, 1993

                     F. Losavio   Ada robust and reusable components from
                                  algebraic specifications of abstract
                                  data types . . . . . . . . . . . . . . . 55--69
                    J. W. Moore   The impact of Ada 9X incompatibilities
                                  on projects converting from Ada 83 . . . 77--85

Ada User
Volume 14, Number 3, September, 1993

                  M. B. Feldman   The ``Who's using Ada'' report --- some
                                  non-defense Ada applications . . . . . . 111--115
                      Anonymous   Ada bibliography . . . . . . . . . . . . 117--119
                       G. Glynn   Survey of the use of Ada in the
                                  universities and colleges in the UK  . . 121--123
                   M. Priestley   Implementing structured algebraic
                                  specifications in Ada  . . . . . . . . . 125--134

Ada User
Volume 14, Number 4, December, 1993

                    John Barnes   Compatibility between Ada 83 and Ada 9X  158--160
                    John Barnes   Object-oriented programming in Ada 9X    161--163
                    John Barnes   Protected objects in Ada 9X  . . . . . . 164--166
                D. G. Firesmith   Object-oriented analysis and design for
                                  real-time projects . . . . . . . . . . . 167--186


Ada User
Volume 15, Number 1, March, 1994

                  P. A. Bennett   Software development for the Channel
                                  Tunnel: a summary  . . . . . . . . . . . 14--33
                     John Smart   Packaging policies for automatic code
                                  generation . . . . . . . . . . . . . . . 34--41
                    John Barnes   The Ada 9X hierarchical library  . . . . 42--44

Ada User
Volume 15, Number 2, June, 1994

                      Anonymous   Ada UK International Conference  . . . . ??
                 Joyce L. Tokar   The effect of Ada 9X on mature Ada 83
                                  compilers  . . . . . . . . . . . . . . . 55--65
                 Adrian Larkham   Ada --- the technical language of choice
                                  for UNIX threaded applications . . . . . 66--76
                   A. Burns and   
             A. J. Wellings and   
             A. D. Hutcheon and   
                   R. H. Pierce   Dependable software systems using
                                  concurrency  . . . . . . . . . . . . . . 77--85
            A. Hosseinzaman and   
                    A. Bargiela   Ada's virtual node based water system
                                  simulator  . . . . . . . . . . . . . . . 86--94
                  John Liddiard   Using commercial off-the-shelf software
                                  in high integrity and safety related
                                  systems  . . . . . . . . . . . . . . . . 95--104
                 Clark Oliphint   TLDacs support for ATAC  . . . . . . . . 105--107
                     John Smart   Interworking between Ada and C++: a case
                                  study  . . . . . . . . . . . . . . . . . 108--132
               J. S. Briggs and   
             S. D. Jamieson and   
              G. W. Randall and   
                     I. C. Wand   Task time lines as a debugging tool  . . 133--150 (or 133--140??)
              Alvery Grazebrook   Rapid prototyping  . . . . . . . . . . . 151--152
             Stephen Higgon and   
                    B. Hulmgrew   Distributed Ada real time system and
                                  debug environment  . . . . . . . . . . . 153--159
          Philippe Kruchten and   
                   Mike Tudball   Mapping an object-oriented design into
                                  Ada  . . . . . . . . . . . . . . . . . . 160--176
                    John Barnes   Removing Ada's warts . . . . . . . . . . 177--182

Ada User
Volume 15, Number 3, September, 1994

                D. W. Longhurst   Counting the cost of software  . . . . . 189--201
                  E. Acosta and   
                     F. Losavio   Algebraic specifications into Ada: An
                                  approach based on rewriting systems  . . 203--220

Ada User
Volume 15, Number 4, December, 1994

                     J. English   FTP for beginners  . . . . . . . . . . . 247--249
                   J. Bundgaard   The design of an Ada 9X Compilation
                                  Environment  . . . . . . . . . . . . . . 251--262
              M. A. Hennell and   
                   J. A. Prudom   A dual viewpoint software test tool  . . 265--271


Ada User
Volume 16, Number 2, June, 1995

                Richard Stuckey   A fully conformant implementation of
                                  ECMA-162 . . . . . . . . . . . . . . . . 83--94


Ada User Journal
Volume ??, Number ??, 19xx

                    John Barnes   The Ada 95 Hierarchical Library  . . . . ??
                    John Barnes   You Can Depend Upon Ada  . . . . . . . . ??


Ada User Journal
Volume 16, Number 1, March, 1995

                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   Vendor notes . . . . . . . . . . . . . . 5
                      Anonymous   News . . . . . . . . . . . . . . . . . . 7
                      Anonymous   Forthcoming events . . . . . . . . . . . 16
                      Anonymous   Conference report  . . . . . . . . . . . 22
                      Anonymous   Report International Ada Liaison
                                  Committee  . . . . . . . . . . . . . . . 25
                      Anonymous   Update GNAT report . . . . . . . . . . . 27
                      Anonymous   Standard Ada language revision achieves
                                  international standardization  . . . . . 29
                    S. Woodford   Creating a queuing system simulator
                                  using Ada  . . . . . . . . . . . . . . . 32--39
                      Anonymous   Ada UK marketing committee . . . . . . . 40
                      Anonymous   Final changes to Ada 95  . . . . . . . . 42
                      Anonymous   Ada information sources  . . . . . . . . 47

Ada User Journal
Volume 16, Number 2, June, 1995

                      Anonymous   Editorial  . . . . . . . . . . . . . . . 50
                      Anonymous   News . . . . . . . . . . . . . . . . . . 53
                      Anonymous   Software reliability and metrics club    61
                      Anonymous   Ada 9X report  . . . . . . . . . . . . . 63
                      Anonymous   Ada UK academic affiliates . . . . . . . 67
               Pierre Bazex and   
             Thierry Millan and   
              Frederic Mulatero   Ada persistence through an OODBMS O2 . . 71--82

Ada User Journal
Volume 16, Number 3, September, 1995

                      Anonymous   1995 ADA UK Conference . . . . . . . . . ??
                 I. C. Pyle and   
                     F. W. Long   Verifiable Ada packages  . . . . . . . . 103--109
            Anthony Gargaro and   
            A. Spencer Peterson   Towards reusable software architectures
                                  using distributed objects  . . . . . . . 110--122
                 R. Chapman and   
                   A. Burns and   
                    A. Wellings   SPATS --- a new toolset for
                                  high-integrity Ada development . . . . . 123--131
                Dave McAllister   The impact of Ada on virtual reality . . 132--135
                    A. Paterson   Swiss Postbank: Ada in a commercial
                                  application  . . . . . . . . . . . . . . 136--150
                   S. J. Vicary   The use of legacy software in an Ada
                                  environment  . . . . . . . . . . . . . . 151--162
               Gary Chastek and   
                Anthony Gargaro   Towards heterogeneous communication for
                                  POSIX real-time distributed systems  . . 163--176
                   R. H. Pierce   STAMP: a tool to support timing test
                                  generation . . . . . . . . . . . . . . . 177--179

Ada User Journal
Volume 16, Number 4, December, 1995

                      Anonymous   Ada Sources of Information . . . . . . . ??
                      Anonymous   Editorial  . . . . . . . . . . . . . . . ??
                      Anonymous   Forthcoming Events . . . . . . . . . . . ??
                      Anonymous   News . . . . . . . . . . . . . . . . . . ??
             Judy Bamberger and   
                     James Hook   Software Process Practicum: Lessons in
                                  Software Quality and Leadership  . . . . 205--211
                    John Barnes   Access Types in Ada 95 . . . . . . . . . 212--214
                    John Barnes   The Ada 95 Predefined Environment  . . . 215--219
                    John Barnes   Exceptions in Ada 95 . . . . . . . . . . 220--223
             Yvon Kermarrec and   
      Laurent Nana Tchamnda and   
                 Laurent Pautet   Implementing an efficient fault
                                  tolerance mechanism in Ada 9X: an early
                                  experiment with GNAT . . . . . . . . . . 224--228


Ada User Journal
Volume 17, Number ??, 1996

             Stephen F. Zeigler   Comparing Development Costs of C and Ada ??

Ada User Journal
Volume 17, Number 1, March, 1996

                   B. I. Sanden   Using tasks to capture problem
                                  concurrency  . . . . . . . . . . . . . . 25--36
                    S. De Vroey   My first experience with Ada 83:
                                  implementing the standard
                                  backpropagation algorithm  . . . . . . . 37--45

Ada User Journal
Volume 17, Number 2, June, 1996

                      Anonymous   Ada Sources of information . . . . . . . ??
                      Anonymous   Book Review  . . . . . . . . . . . . . . ??
                      Anonymous   Editorial  . . . . . . . . . . . . . . . ??
                      Anonymous   Editorial Policy for Ada User Journal    ??
                      Anonymous   Forthcoming Events . . . . . . . . . . . ??
                      Anonymous   Invitation to Ada 95 Seminar . . . . . . ??
                      Anonymous   A Message from your New Chairman . . . . ??
                      Anonymous   News . . . . . . . . . . . . . . . . . . ??
                      Anonymous   News from the Marketing Committee  . . . ??
                      Anonymous   Ten Years and Ten Days . . . . . . . . . ??
 R. Menendez de Llano Rozas and   
            J. A. G. Monasterio   An Alternative Distribution Strategy of
                                  an Ada Program in a Multicomputer System 72--88
                      Rod Ellis   Object Oriented Design Patterns in Ada
                                  95 . . . . . . . . . . . . . . . . . . . 89--104

Ada User Journal
Volume 17, Number 3, September, 1996

                       M. Smith   OO-programming in Ada  . . . . . . . . . 125--131
                      F. Culwin   Beyond the LAW, a software development
                                  pedagogy for the 21st century  . . . . . 132--142

Ada User Journal
Volume 17, Number 4, December, 1996

                      Anonymous   Ada Sources of Information . . . . . . . ??
                      Anonymous   AdaUK on the Web . . . . . . . . . . . . ??
                      Anonymous   Editorial page . . . . . . . . . . . . . ??
                      Anonymous   Editorial Policy for Ada User Journal    ??
                      Anonymous   Forthcoming Events . . . . . . . . . . . ??
                      Anonymous   News . . . . . . . . . . . . . . . . . . ??
                      Anonymous   Report from the Marketing Committee  . . ??
                     Jim Briggs   Ada on the World Wide Web  . . . . . . . 162--164
                     Jim Briggs   DoD software policy --- should Ada be
                                  mandated?  . . . . . . . . . . . . . . . 165--167
                      J. Barnes   We don't know nothing [programming
                                  languages] . . . . . . . . . . . . . . . 168--171
                      Anonymous   Meet the sponsors  . . . . . . . . . . . 172--176


Ada User Journal
Volume 18, Number 1, March, 1997

                      Anonymous   Ada Briefing Seminar . . . . . . . . . . ??
                      Anonymous   Ada Europe Board . . . . . . . . . . . . ??
                      Anonymous   Ada Sources of Information . . . . . . . ??
                      Anonymous   The Ada UK Academic Committee  . . . . . ??
                      Anonymous   Editorial  . . . . . . . . . . . . . . . ??
                      Anonymous   Editorial Policy for Ada User Journal    ??
                      Anonymous   Forthcoming Events . . . . . . . . . . . ??
                      Anonymous   Letters to the Editor  . . . . . . . . . ??
                      Anonymous   News . . . . . . . . . . . . . . . . . . ??
                    H. Betz and   
              B. Holzmuller and   
                     R. Koschke   Experiences in Adjusting a Compiler
                                  Toolkit to Generate Ada 95 Code  . . . . 29--40

Ada User Journal
Volume 18, Number 2, June, 1997

                      Anonymous   Ada Semantic Interface Specification
                                  Frequently Asked Questions (ASISFAQ) . . ??
                      Anonymous   Ada Sources of Information . . . . . . . ??
                      Anonymous   Ada UK Sponsors  . . . . . . . . . . . . ??
                      Anonymous   Editorial  . . . . . . . . . . . . . . . ??
                      Anonymous   Editorial Policy for Ada User Journal    ??
                      Anonymous   Forthcoming Events . . . . . . . . . . . ??
                      Anonymous   Meeting Report --- ASISWG/ASISRG . . . . ??
                      Anonymous   News . . . . . . . . . . . . . . . . . . ??
                      Anonymous   Workshop Report --- IRTAW8 . . . . . . . ??
              Andy Wellings and   
                     Alan Burns   Eight International Real-Time Ada
                                  Workshop (IRTAW8)  . . . . . . . . . . . 66--72
                      Anonymous   Ada Semantic Interface Specification
                                  (ASIS) frequently asked questions  . . . 75--77
                   M. Zweiacker   Making CORBA applications fault tolerant
                                  using checkpointing and recovery . . . . 78--91

Ada User Journal
Volume 18, Number 3, September, 1997

                W. A. Ward, Jr.   A retrospective on the Rational
                                  Environment  . . . . . . . . . . . . . . 121--143
                     D. Simpson   Ada and software engineering education   144--147

Ada User Journal
Volume 18, Number 4, December, 1997

 Jesus M. Gonzalez Barahona and   
  Pedro de las Heras Quiros and   
          Jose Centeno Gonzalez   Lower Layer: a family of interfaces to
                                  transport communication protocols  . . . 171--189


Ada User Journal
Volume 19, Number 1, April, 1998

                      Anonymous   Ada Programming competition  . . . . . . ??
                      Anonymous   Ada Sources of Information . . . . . . . ??
                      Anonymous   Ada UK Sponsors  . . . . . . . . . . . . ??
                      Anonymous   Editorial  . . . . . . . . . . . . . . . ??
                      Anonymous   Editorial Policy for Ada User Journal    ??
                      Anonymous   Forthcoming Events . . . . . . . . . . . ??
                      Anonymous   Introduction to Ada Europe . . . . . . . ??
                      Anonymous   Kissing the Polymorphic Frog . . . . . . ??
                      Anonymous   A message from the Chairman of Ada UK    ??
                      Anonymous   A message from the President of
                                  Ada--Europe  . . . . . . . . . . . . . . ??
                      Anonymous   News . . . . . . . . . . . . . . . . . . ??
                      Anonymous   Papers . . . . . . . . . . . . . . . . . ??
                      Anonymous   Situations vacant  . . . . . . . . . . . ??
                     Huiming Yu   Using Object-Oriented Techniques to
                                  Develop an Ada 95 Reuse Library  . . . . 43--56
               Terry J. Westley   Writing Java applets in Ada: a
                                  beginner's guide . . . . . . . . . . . . 57--82

Ada User Journal
Volume 19, Number 2, 1998

                     Jim Briggs   Editorial  . . . . . . . . . . . . . . . 89
                      Anonymous   News . . . . . . . . . . . . . . . . . . 90
                    John Barnes   The Ada--Europe General Assembly . . . . 110
                    John Barnes   The 1998 Ada--Europe Conference  . . . . 114
                      Anonymous   Conference Calendar  . . . . . . . . . . 118
                      Anonymous   Forthcoming Events . . . . . . . . . . . 121
                 Richard Riehle   Reliability --- does language matter?    128
                    Ben Brosgol   Why Ada rather than Java for academia?   135
                      Anonymous   Editorial Policy for Ada User Journal    137
                      Anonymous   Ada Sources of Information . . . . . . . 138
                      Anonymous   Ada UK Sponsors  . . . . . . . . . . . . 139


Ada User Journal
Volume 20, Number 1, April, 1999

              Yusuke Nonaka and   
               Jingde Cheng and   
                 Kazuo Ushijima   A Tasking Deadlock Detector for Ada 95
                                  Programs . . . . . . . . . . . . . . . . 79--92

Ada User Journal
Volume 20, Number 2, July, 1999

    Christoph Karl Walter Grein   Safe Pointers  . . . . . . . . . . . . . ??


Ada User Journal
Volume 22, Number 1, March, 2001

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 24
                      Anonymous   Forthcoming Events . . . . . . . . . . . 31
                 David Humphris   Integrating Ada into a Distributed
                                  Systems Environment  . . . . . . . . . . 36
    Fernando Sánchez and   
   Roberto Rodríguez and   
            Juan M. Murillo and   
          Juan Hernández   Adaptability of Distribution Protocols
                                  in Object-Oriented Languages . . . . . . 44
                   David Thombs   The Major Issues for MOD Software
                                  Procurement over the Next Five Years . . 52
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organisations) . . . . . . . . . . . 59
                      Anonymous   Ada UK 2001 Sponsors . . . . . . . . . . 60

Ada User Journal
Volume 22, Number 2, June, 2001

                      Anonymous   Editorial Policy for Ada User Journal    62
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 63
                      Anonymous   News . . . . . . . . . . . . . . . . . . 65
                      Anonymous   Conference Calendar  . . . . . . . . . . 104
                      Anonymous   Forthcoming Events . . . . . . . . . . . 110
                  Ian Gilchrist   The Contribution of the Ada Language to
                                  System Development: a Market Survey  . . 118
                    John Barnes   Do You Use Generic Arrays and Vectors?
                                  --- ISO/IEC 13813:1998 . . . . . . . . . 124
                     Pat Rogers   Book Review: \em Real-Time Systems and
                                  Programming Languages by Alan Burns and
                                  Andy Wellings  . . . . . . . . . . . . . 126
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 127
                      Anonymous   Ada UK 2001 Sponsors . . . . . . . . . . 128

Ada User Journal
Volume 22, Number 3, September, 2001

                      Anonymous   Editorial Policy for Ada User Journal    130
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 131
                      Anonymous   News . . . . . . . . . . . . . . . . . . 133
                      Anonymous   Conference Calendar  . . . . . . . . . . 171
                      Anonymous   Forthcoming Events . . . . . . . . . . . 177
                     Alan Burns   Guide for the use of the Ada Ravenscar
                                  Profile in high integrity systems ---
                                  the work of the HRG  . . . . . . . . . . 182
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 189
                      Anonymous   Ada UK 2001 Sponsors . . . . . . . . . . 190

Ada User Journal
Volume 22, Number 4, December, 2001

                      Anonymous   Editorial Policy for Ada User Journal    192
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 193
                      Anonymous   News . . . . . . . . . . . . . . . . . . 195
                      Anonymous   Conference Calendar  . . . . . . . . . . 233
                      Anonymous   Forthcoming Events . . . . . . . . . . . 239
                    John Barnes   The SPARK way to Correctness is Via
                                  Abstraction  . . . . . . . . . . . . . . 244
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 255
                      Anonymous   Ada UK 2001 Sponsors . . . . . . . . . . 256


Ada User Journal
Volume 23, Number 1, March, 2002

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 44
                      Anonymous   Forthcoming Events . . . . . . . . . . . 51
                      Anonymous   Ada UK 2002 Sponsors . . . . . . . . . . 64

Ada User Journal
Volume 23, Number 2, June, 2002

                      Anonymous   Editorial Policy for Ada User Journal    66
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 67
                      Anonymous   News . . . . . . . . . . . . . . . . . . 69
                      Anonymous   Conference Calendar  . . . . . . . . . . 83
                      Anonymous   Forthcoming Events . . . . . . . . . . . 91
                   Pascal Leroy   Call for APIs  . . . . . . . . . . . . . 96
                    John Barnes   Some Impressions from IRTAW 11 . . . . . 97
              Ingmar Ögren   Using Ada's Syntax and Semantics for
                                  Understandable Systems Engineering . . . 100
            Bo I. Sandén   Real-time Programming Safety in Java and
                                  Ada  . . . . . . . . . . . . . . . . . . 105
                   Jeff Cousins   Transition of a Large Project from Ada
                                  83 to Ada 95 . . . . . . . . . . . . . . 114
                      Anonymous   Ada UK 2002 Sponsors . . . . . . . . . . 119

Ada User Journal
Volume 23, Number 3, September, 2002

                      Anonymous   Editorial Policy for Ada User Journal    122
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 123
                      Anonymous   News . . . . . . . . . . . . . . . . . . 125
                      Anonymous   Conference Calendar  . . . . . . . . . . 160
                      Anonymous   Forthcoming Events . . . . . . . . . . . 167
            Michael Kersten and   
              Joerg Matthes and   
      Christian Fouda Manga and   
             Stephan Zipser and   
               Hubert B. Keller   Customizing UML for the Development of
                                  Distributed Reactive Systems and Ada 95
                                  Code Generation  . . . . . . . . . . . . 175
                      Anonymous   Ada--Europe 2002 Sponsors  . . . . . . . 184

Ada User Journal
Volume 23, Number 4, December, 2002

                      Anonymous   Editorial Policy for Ada User Journal    186
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 187
                      Anonymous   News . . . . . . . . . . . . . . . . . . 189
                      Anonymous   Conference Calendar  . . . . . . . . . . 219
                      Anonymous   Forthcoming Events . . . . . . . . . . . 225
                   Pascal Leroy   An Invitation to Ada 2005  . . . . . . . 230
                 Lu\`\is Santos   Evolutionary Computation in Ada 95: a
                                  Genetic Algorithm Approach . . . . . . . 239
              Brian Dobbing and   
                   Terry Totten   COTS RTOS Suitability for High Integrity
                                  Systems  . . . . . . . . . . . . . . . . 245
                      Anonymous   Ada--Europe 2002 Sponsors  . . . . . . . 248


Ada User Journal
Volume 24, Number 1, March, 2003

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 4
                      Anonymous   Conference Calendar  . . . . . . . . . . 42
                      Anonymous   Forthcoming Events . . . . . . . . . . . 50
                 Javier Miranda   A Guided Tour to the GNAT Runtime  . . . 55
                     Alan Burns   Increasing the Real-Time Expressive
                                  Power of Ada 95  . . . . . . . . . . . . 60
                      Anonymous   Ada--Europe 2002 Sponsors  . . . . . . . 64

Ada User Journal
Volume 24, Number 2, June, 2003

                      Anonymous   Editorial Policy for Ada User Journal    66
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 67
                      Anonymous   News . . . . . . . . . . . . . . . . . . 68
                      Anonymous   Conference Calendar  . . . . . . . . . . 109
                      Anonymous   Forthcoming Events . . . . . . . . . . . 114
                  S Tucker Taft   Object-Oriented Programming Enhancements
                                  in Ada 200Y  . . . . . . . . . . . . . . 119
                      Anonymous   Ada--Europe 2002 Sponsors  . . . . . . . 128

Ada User Journal
Volume 24, Number 3, September, 2003

                      Anonymous   Editorial Policy for Ada User Journal    130
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 131
                      Anonymous   News . . . . . . . . . . . . . . . . . . 132
                      Anonymous   Conference Calendar  . . . . . . . . . . 173
                      Anonymous   Forthcoming Events . . . . . . . . . . . 179
                    John Barnes   Additional Numeric Packages for Ada 2005 185
                      Anonymous   Ada--Europe 2003 Sponsors  . . . . . . . 192

Ada User Journal
Volume 24, Number 1, December, 2003

                      Anonymous   Editorial Policy for Ada User Journal    194
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 195
                      Anonymous   News . . . . . . . . . . . . . . . . . . 196
                      Anonymous   Conference Calendar  . . . . . . . . . . 230
                      Anonymous   Forthcoming Events . . . . . . . . . . . 238
              Brian Dobbing and   
                John Barnes and   
                   Miguel Pinho   12th International Real-Time Ada
                                  Workshop . . . . . . . . . . . . . . . . 242
                 Miguel Masmano   My First Ada--Europe Conference  . . . . 246


Ada User Journal
Volume 25, Number 1, March, 2004

                      Anonymous   News . . . . . . . . . . . . . . . . . . 1
                      Anonymous   Ada--Europe General Assembly 2004 Agenda 23
                      Anonymous   Proposed Motions for the Ada--Europe
                                  General Assembly . . . . . . . . . . . . 24
                        ISO WG9   Instructions to the ARG for Preparation
                                  of the Amendment to ISO/IEC 8652 . . . . 27
                 James W. Moore   Comments on: Instructions to the ARG for
                                  Preparation of the Amendment to ISO/IEC
                                  8652 . . . . . . . . . . . . . . . . . . 28
                   Pascal Leroy   Proposal for Defining Scope of Amendment
                                  to ISO/IEC 8652:1995 . . . . . . . . . . 29
                 S. Tucker Taft   Fixing Software Before It Breaks: Using
                                  Static Analysis to Help Solve the
                                  Software Quality Quagmire  . . . . . . . 33
                      Anonymous   Ada--Europe 2004 Sponsors  . . . . . . . 38

Ada User Journal
Volume 25, Number 2, June, 2004

                      Anonymous   Editorial Policy for Ada User Journal    40
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 41
                      Anonymous   News . . . . . . . . . . . . . . . . . . 43
                      Anonymous   Conference Calendar  . . . . . . . . . . 77
                      Anonymous   Forthcoming Events . . . . . . . . . . . 85
                 James W. Moore   Standardizing the Next Version of Ada    91
               Louise Arkwright   Ada Academic Initiative in Paris . . . . 97
                 Peter Amey and   
               Adrian J. Hilton   Practical Experiences of Safety- and
                                  Security-Critical Technologies . . . . . 98
       Mário Amado Alves   No Pointers, Great Programs  . . . . . . 107
                      Anonymous   Ada--Europe 2004 Sponsors  . . . . . . . 110

Ada User Journal
Volume 25, Number 3, September, 2004

                      Anonymous   Editorial Policy for Ada User Journal    112
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 113
                      Anonymous   News . . . . . . . . . . . . . . . . . . 115
                      Anonymous   Conference Calendar  . . . . . . . . . . 144
                      Anonymous   Forthcoming Events . . . . . . . . . . . 151
                 James W. Moore   Update on Ada Standardization  . . . . . 155
              Jean-Pierre Rosen   Developing a Web server in Ada with AWS  157
              Matthew J. Heaney   The Charles Container Library  . . . . . 166
                      Anonymous   Ada--Europe 2004 Sponsors  . . . . . . . 174

Ada User Journal
Volume 25, Number 4, December, 2004

                      Anonymous   Editorial Policy for Ada User Journal    176
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 177
                      Anonymous   News . . . . . . . . . . . . . . . . . . 179
                      Anonymous   Conference Calendar  . . . . . . . . . . 209
                      Anonymous   Forthcoming Events . . . . . . . . . . . 216
            Benjamin M. Brosgol   Real-Time Java for Ada Programmers . . . 220
                    John Barnes   Rationale for Ada 2005: Introduction . . 228
                      Anonymous   Ada--Europe 2004 Sponsors  . . . . . . . 246


Ada User Journal
Volume 26, Number 1, March, 2005

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 32
                      Anonymous   Forthcoming Events . . . . . . . . . . . 40
                    John Barnes   Rationale for Ada 2005: 1 Object
                                  oriented model . . . . . . . . . . . . . 45
                      Anonymous   Ada--Europe 2004 Sponsors  . . . . . . . 64

Ada User Journal
Volume 26, Number 2, June, 2005

                      Anonymous   Editorial Policy for Ada User Journal    66
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 67
                      Anonymous   News . . . . . . . . . . . . . . . . . . 69
                      Anonymous   Conference Calendar  . . . . . . . . . . 93
                      Anonymous   Forthcoming Events . . . . . . . . . . . 101
                    John Barnes   Rationale for Ada 2005: 2 Access Types   104
                    John Barnes   Rationale for Ada 2005: 3 Structure and
                                  Visibility . . . . . . . . . . . . . . . 120
             Muthu Ramachandran   Ada Reuse Guidelines . . . . . . . . . . 135
                      Anonymous   Ada--Europe 2005 Sponsors  . . . . . . . 144

Ada User Journal
Volume 26, Number 3, September, 2005

                      Anonymous   Editorial Policy for Ada User Journal    146
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 147
                      Anonymous   News . . . . . . . . . . . . . . . . . . 149
                      Anonymous   Conference Calendar  . . . . . . . . . . 171
                      Anonymous   Forthcoming Events . . . . . . . . . . . 177
                    John Barnes   Rationale for Ada 2005: 4 Tasking and
                                  Real-Time  . . . . . . . . . . . . . . . 180
                    John Barnes   Rationale for Ada 2005: 5 Exceptions,
                                  generics etc.  . . . . . . . . . . . . . 198
              Alan Marriott and   
                     Urs Maurer   Ada Bug Finder . . . . . . . . . . . . . 214
             Burkhard Stadlmann   Ada Development for a Basic Train
                                  Control System for Regional Branch Lines 220
                      Anonymous   Ada--Europe 2005 Sponsors  . . . . . . . 224

Ada User Journal
Volume 26, Number 4, December, 2005

                      Anonymous   Editorial Policy for Ada User Journal    226
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 227
                      Anonymous   News . . . . . . . . . . . . . . . . . . 229
                      Anonymous   Conference Calendar  . . . . . . . . . . 253
                      Anonymous   Forthcoming Events . . . . . . . . . . . 260
                    John Barnes   Rationale for Ada 2005: 6 Predefined
                                  library  . . . . . . . . . . . . . . . . 265
                    John Barnes   Rationale for Ada 2005: 6a Containers    282
               Per Sandberg and   
              Rei Stråhle   Living in towers --- the story of multi
                                  project system builds  . . . . . . . . . 306
              Jean-Pierre Rosen   On the benefits for Industrials of
                                  sponsoring free software developments    308
                      Anonymous   Ada--Europe 2005 Sponsors  . . . . . . . 312


Ada User Journal
Volume 27, Number 1, March, 2006

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 35
                      Anonymous   Forthcoming Events . . . . . . . . . . . 43
                    John Barnes   Rationale for Ada 2005: Epilogue . . . . 46
             Muthu Ramachandran   Generating and improving Ada components
                                  for reuse  . . . . . . . . . . . . . . . 56
                      Anonymous   Ada--Europe 2005 Sponsors  . . . . . . . 64

Ada User Journal
Volume 27, Number 2, June, 2006

                      Anonymous   Editorial Policy for Ada User Journal    66
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 67
                      Anonymous   News . . . . . . . . . . . . . . . . . . 69
                      Anonymous   Conference Calendar  . . . . . . . . . . 97
                      Anonymous   Forthcoming Events . . . . . . . . . . . 106
              G. Varaprasad and   
        R. S. D. Wahidabanu and   
                  P. Venkataram   A New Strategy Pattern for OO Technology 110
                     K Fairlamb   Ada Conference UK 2006 . . . . . . . . . 118
                  A. S. Brandon   Ada Market in 2005 Entails at Least a
                                  \$5.6 Billion Investment . . . . . . . . 123
                      Anonymous   Ada--Europe 2006 Sponsors  . . . . . . . 128

Ada User Journal
Volume 27, Number 3, September, 2006

                      Anonymous   Editorial Policy for Ada User Journal    130
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 131
                      Anonymous   News . . . . . . . . . . . . . . . . . . 133
                      Anonymous   Conference Calendar  . . . . . . . . . . 167
                      Anonymous   Forthcoming Events . . . . . . . . . . . 174
                        P Leroy   Memories of a Language Designer  . . . . 181
            D. N. Kleidermacher   Developing Reliable Software Rapidly . . 184
                      Anonymous   Ada--Europe 2006 Sponsors  . . . . . . . 192

Ada User Journal
Volume 27, Number 4, December, 2006

                      Anonymous   Editorial Policy for Ada User Journal    194
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 195
                      Anonymous   News . . . . . . . . . . . . . . . . . . 197
                      Anonymous   Conference Calendar  . . . . . . . . . . 232
                      Anonymous   Forthcoming Events . . . . . . . . . . . 239
              J.-C. Mahieux and   
                  B. Maudry and   
                      A. Foster   Using CORBA to Bring New Life to Legacy
                                  Ada Software: an Experience Report . . . 244
                   J. Klein and   
                  D. Sotirovski   The Publisher Framework  . . . . . . . . 248
                      Anonymous   Ada--Europe 2006 Sponsors  . . . . . . . 256


Ada User Journal
Volume 28, Number 1, March, 2007

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 38
                      Anonymous   Forthcoming Events . . . . . . . . . . . 45
                   C. Comar and   
                R. Berrendonner   ERB: a Ravenscar Benchmarking Framework  53
                      Anonymous   Ada--Europe 2006 Sponsors  . . . . . . . 64

Ada User Journal
Volume 28, Number 2, June, 2007

                      Anonymous   Editorial Policy for Ada User Journal    66
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 67
                      Anonymous   News . . . . . . . . . . . . . . . . . . 69
                      Anonymous   Conference Calendar  . . . . . . . . . . 102
                      Anonymous   Forthcoming Events . . . . . . . . . . . 111
             J. A. de la Puente   13th International Real-Time Ada
                                  Workshop (IRTAW-13)  . . . . . . . . . . 117
                     W Glaister   Template Driven Design in UML and Ada 95 122
                      Anonymous   Ada--Europe 2007 Sponsors  . . . . . . . 128

Ada User Journal
Volume 28, Number 3, September, 2007

                      Anonymous   Editorial Policy for Ada User Journal    130
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 131
                      Anonymous   News . . . . . . . . . . . . . . . . . . 133
                      Anonymous   Conference Calendar  . . . . . . . . . . 166
                      Anonymous   Forthcoming Events . . . . . . . . . . . 173
                     J. Miranda   Towards Certification of Object-Oriented
                                  Code with the GNAT Compiler  . . . . . . 178
                    P. E. Black   SAMATE and Evaluating Static Analysis
                                  Tools  . . . . . . . . . . . . . . . . . 184
                  G. Bernat and   
                   R. Davis and   
                 N. Merriam and   
                  J. Tuffen and   
                 A. Gardner and   
                 M. Bennett and   
                   D. Armstrong   Identifying Opportunities for Worst-Case
                                  Execution Time Reduction in an Avionics
                                  System . . . . . . . . . . . . . . . . . 189
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 196

Ada User Journal
Volume 28, Number 4, December, 2007

                      Anonymous   Editorial Policy for Ada User Journal    198
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 199
                      Anonymous   News . . . . . . . . . . . . . . . . . . 201
                      Anonymous   Conference Calendar  . . . . . . . . . . 225
                      Anonymous   Forthcoming Events . . . . . . . . . . . 232
                  I. Furgel and   
                       L. Hanke   Secure software-download as part of a
                                  complex business process . . . . . . . . 237
               T. Vardanega and   
                     J. F. Ruiz   Session: Language Issues . . . . . . . . 246
              A. Zerzelidis and   
                   A. Burns and   
                 A. J. Wellings   Correcting the EDF protocol in Ada 2005  249
             A. J. Wellings and   
                       A. Burns   Integrating OOP and Tasking --- The
                                  missing requeue  . . . . . . . . . . . . 253
           S. Urueña and   
                    J. Zamorano   Building High-Integrity Distributed
                                  Systems with Ravenscar Restrictions  . . 259
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 267
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 272


Ada User Journal
Volume 29, Number 1, March, 2008

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 26
                      Anonymous   Forthcoming Events . . . . . . . . . . . 33
               D. Kleidermacher   Practical Application of Static Analysis
                                  for Embedded Systems . . . . . . . . . . 38
 M. González-Harbour and   
         J. J. Gutiérrez   Session: Programming Patterns and
                                  Libraries  . . . . . . . . . . . . . . . 44
             A. J. Wellings and   
                       A. Burns   A Framework for Real-Time Utilities for
                                  Ada 2005 . . . . . . . . . . . . . . . . 47
                   A. Burns and   
                 A. J. Wellings   Programming Execution-Time Servers in
                                  Ada 2005 . . . . . . . . . . . . . . . . 54
               J. A. Pulido and   
         J. A. de la Puente and   
                  J. Hugues and   
                  M. Bordin and   
                   T. Vardanega   Ada 2005 Code Patterns for
                                  Metamodel-Based Code Generation  . . . . 59
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 66
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 72

Ada User Journal
Volume 29, Number 2, June, 2008

                      Anonymous   Editorial Policy for Ada User Journal    74
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 75
                      Anonymous   News . . . . . . . . . . . . . . . . . . 77
                      Anonymous   Conference Calendar  . . . . . . . . . . 98
                      Anonymous   Forthcoming Events . . . . . . . . . . . 106
                   A. Burns and   
                    A. Wellings   Session: Implementation Experience with
                                  Ada 2005 . . . . . . . . . . . . . . . . 112
           S. Urueña and   
                  J. Pulido and   
                 J. Redondo and   
                    J. Zamorano   Implementing the New Ada 2005 Real-Time
                                  Features on a Bare Board Kernel  . . . . 114
             M. Aldea Rivas and   
     M. González Harbour   Operating System Support for Execution
                                  Time Budgets for Thread Groups . . . . . 120
                    J. Real and   
                     S. Michell   Session: Beyond Ada 2005 . . . . . . . . 124
                A. Wellings and   
                       A. Burns   Beyond Ada 2005: Allocating Tasks to
                                  Processors in SMP Systems  . . . . . . . 127
                    M. Ward and   
                  N. C. Audsley   Suggestions for Stream Based Parallel
                                  Systems in Ada . . . . . . . . . . . . . 133
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 140
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 144

Ada User Journal
Volume 29, Number 3, September, 2008

                      Anonymous   Editorial Policy for Ada User Journal    146
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 147
                      Anonymous   News . . . . . . . . . . . . . . . . . . 149
                      Anonymous   Conference Calendar  . . . . . . . . . . 171
                      Anonymous   Forthcoming Events . . . . . . . . . . . 178
                 B. Brosgol and   
                       M. Aldea   Session: Ada and Other Standards . . . . 186
                     S. Michell   Interfacing Ada to Operating Systems . . 188
         J. A. de la Puente and   
               S. Urueña   Session: Conclusions and Plans for next
                                  IRTAW  . . . . . . . . . . . . . . . . . 192
                    J. Real and   
                    L. M. Pinho   Session Report: Ada and Software
                                  Engineering Education  . . . . . . . . . 196
               E. Schonberg and   
                       R. Dewar   A Principled Approach to Software
                                  Engineering Education, or Java
                                  Considered Harmful . . . . . . . . . . . 200
                J. W. McCormick   Ada and Software Engineering Education:
                                  One Professor's Experiences  . . . . . . 203
                    J.-P. Rosen   Is Ada Education Important?  . . . . . . 208
                     C. Brandon   Use of Ada in a Student CubeSat Project  213
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 217
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 220

Ada User Journal
Volume 29, Number 4, December, 2008

                      Anonymous   Editorial Policy for Ada User Journal    222
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 223
                      Anonymous   News . . . . . . . . . . . . . . . . . . 225
                      Anonymous   Conference Calendar  . . . . . . . . . . 251
                      Anonymous   Forthcoming Events . . . . . . . . . . . 260
                      H. Ausden   Ada--C++ Interfacing in the ERAM System  267
                     J. Cousins   Porting Naval Command & Control Systems
                                  to Ada 2005  . . . . . . . . . . . . . . 271
                    J.-P. Rosen   A Comparison of Industrial Coding Rules  277
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 283
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 288


Ada User Journal
Volume 30, Number 1, March, 2009

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   News . . . . . . . . . . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 30
                      Anonymous   Forthcoming Events . . . . . . . . . . . 37
                      J. Barnes   Thirty Years of the Ada User Journal . . 43
                J. W. Moore and   
                      J. Benito   Progress Report: ISO/IEC 24772,
                                  Programming Language Vulnerabilities . . 46
                    B. J. Moore   Distributed Status Monitoring and
                                  Control Using Remote Buffers and Ada
                                  2005 . . . . . . . . . . . . . . . . . . 49
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 61
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 64

Ada User Journal
Volume 30, Number 2, June, 2009

                      Anonymous   Editorial Policy for Ada User Journal    66
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 67
                      Anonymous   News . . . . . . . . . . . . . . . . . . 69
                      Anonymous   Conference Calendar  . . . . . . . . . . 98
                      Anonymous   Forthcoming Events . . . . . . . . . . . 106
                    K. Fairlamb   Ada UK Conference 2009 . . . . . . . . . 111
                 J. S. Harbaugh   Pattern-Based Refactoring Shrinks
                                  Maintenance Costs  . . . . . . . . . . . 115
                       Q. Ochem   Building Cross Language Applications
                                  with Ada . . . . . . . . . . . . . . . . 119
                R. I. Davis and   
                     I. Broster   Execution Time: Analysis, Verification
                                  and Optimization for Reliable Systems    121
                      P. Rogers   Software Fault Tolerance . . . . . . . . 125
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 129
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 132

Ada User Journal
Volume 30, Number 3, September, 2009

                      Anonymous   Editorial Policy for Ada User Journal    134
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 135
                      Anonymous   News . . . . . . . . . . . . . . . . . . 137
                      Anonymous   Conference Calendar  . . . . . . . . . . 163
                      Anonymous   Forthcoming Events . . . . . . . . . . . 169
                    J. L. Tokar   Ada Europe 2009 --- Workshop on Software
                                  Vulnerabilities  . . . . . . . . . . . . 175
                    J.-P. Rosen   On Removing Programming Language Bias
                                  from the Vulnerabilities Document  . . . 177
                     S. Michell   Ada and Programming Language
                                  Vulnerabilities  . . . . . . . . . . . . 180
                   T. Vardanega   An Argument for Language Subsetting  . . 185
                   A. Burns and   
                 A. J. Wellings   Concurrency Vulnerabilities  . . . . . . 187
                  R. C. Chapman   The Pros and Cons of Enumerating
                                  Programming Language Vulnerabilities . . 190
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 194
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 200

Ada User Journal
Volume 30, Number 4, December, 2009

                      Anonymous   Editorial Policy for Ada User Journal    202
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 203
                      Anonymous   News . . . . . . . . . . . . . . . . . . 205
                      Anonymous   Conference Calendar  . . . . . . . . . . 230
                      Anonymous   Forthcoming Events . . . . . . . . . . . 236
                   T. Vardanega   Book review: \em Ada for Software
                                  Engineers, by Mordechai Ben-Ari  . . . . 241
                     M. Sobczak   Experiences in Evaluating Ada with a
                                  Pilot Project  . . . . . . . . . . . . . 243
                 J. Delange and   
                  J. Hugues and   
                      L. Pautet   Couverture: an Innovative Open Framework
                                  for Coverage Analysis of Safety Critical
                                  Applications . . . . . . . . . . . . . . 248
                T. Vergnaud and   
                F. Gilliers and   
                        H. Balp   Generating Component-based AADL
                                  Applications with MyCCM-HI and Ocarina   256
             M. Aldea Rivas and   
     M. González-Harbour   Ada User Guide on MaRTE OS . . . . . . . 264
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 272


Ada User Journal
Volume 31, Number 1, March, 2010

                      Anonymous   Editorial Policy for Ada User Journal    2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3
                      Anonymous   Quarterly News Digest  . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 29
                      Anonymous   Forthcoming Events . . . . . . . . . . . 36
                       B. Tooby   Opinion: The Word 'Coding' Considered
                                  Harmful  . . . . . . . . . . . . . . . . 41
                   E. Schonberg   Origins and history of GNAT  . . . . . . 42
                      J. Barnes   We don't know nothing  . . . . . . . . . 45
                     B. Dobbing   The Ravenscar Tasking Profile for High
                                  Integrity Real-Time Programs . . . . . . 47
                      J. Barnes   The SPARK way to Correctness is Via
                                  Abstraction  . . . . . . . . . . . . . . 55
                     S. T. Taft   Object-Oriented Programming Enhancements
                                  in Ada 200Y  . . . . . . . . . . . . . . 65
                       P. Leroy   Memories of a Language Designer  . . . . 74
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 76

Ada User Journal
Volume 31, Number 2, June, 2010

                      Anonymous   Editorial Policy for Ada User Journal    78
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 79
                      Anonymous   Quarterly News Digest  . . . . . . . . . 81
                      Anonymous   Conference Calendar  . . . . . . . . . . 109
                      Anonymous   Forthcoming Events . . . . . . . . . . . 116
                      Anonymous   Annual Student Programming Contest The
                                  Ada Way  . . . . . . . . . . . . . . . . 121
                      Anonymous   WG9 Letter to the Community: Maintenance
                                  and Revision of the Ada Programming
                                  Language . . . . . . . . . . . . . . . . 122
            J. López and   
         Á. Esquinas and   
                J. Zamorano and   
             J. A. de la Puente   Experience in programming device drivers
                                  with the Ravenscar profile . . . . . . . 123
                 C. Baillon and   
     S. Bouchez-Mongardé   Executable Requirements in a
                                  Safety-Critical Context with Ada . . . . 131
                     M. Sobczak   Polymorphic Callbacks for Ada/C++
                                  Bindings . . . . . . . . . . . . . . . . 136
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 140
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 148

Ada User Journal
Volume 31, Number 3, September, 2010

                      Anonymous   Editorial Policy for Ada User Journal    150
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 151
                      Anonymous   Quarterly News Digest  . . . . . . . . . 153
                      Anonymous   Conference Calendar  . . . . . . . . . . 179
                      Anonymous   Forthcoming Events . . . . . . . . . . . 185
                      Anonymous   Student Programming Contest ``The Ada
                                  Way''  . . . . . . . . . . . . . . . . . 189
                   A. Burns and   
                    J. L. Tokar   Ada and the Software Vulnerabilities
                                  Project  . . . . . . . . . . . . . . . . 191
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 217
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 220
                      Anonymous   Ada--Europe 2010 Sponsors  . . . . . . . c2

Ada User Journal
Volume 31, Number 4, December, 2010

                      Anonymous   Editorial Policy for Ada User Journal    222
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 223
                      Anonymous   Quarterly News Digest  . . . . . . . . . 225
                      Anonymous   Conference Calendar  . . . . . . . . . . 250
                      Anonymous   Forthcoming Events . . . . . . . . . . . 257
                   A. Burns and   
                 A. J. Wellings   Multiprocessor Systems Session Summary   263
               T. Vardanega and   
 M. González-Harbour and   
                    L. M. Pinho   Session Summary: Language and
                                  Distribution Issues  . . . . . . . . . . 266
                 S. Michell and   
                        J. Real   Conclusions of the 14th International
                                  Real-Time Ada Workshop . . . . . . . . . 273
                       A. Burns   Progress Report from the 14th
                                  International Real-Time Ada Workshop ---
                                  IRTAW14  . . . . . . . . . . . . . . . . 275
                   A. Burns and   
                    J. L. Tokar   Ada and the Software Vulnerabilities
                                  Project: the SPARK Annex . . . . . . . . 278
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 278
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 296
                      Anonymous   Ada--Europe 2010 Sponsors  . . . . . . . c2


Ada User Journal
Volume 32, Number 1, March, 2011

                      Anonymous   Editorial Policy for Ada User Journal    2--2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3--4
                      Anonymous   Quarterly News Digest  . . . . . . . . . 5--29
                      Anonymous   Conference Calendar  . . . . . . . . . . 30--36
                      Anonymous   Student Programming Contest ``The Ada
                                  Way''  . . . . . . . . . . . . . . . . . 40--42
                    B. J. Moore   A comparison of work-sharing,
                                  work-seeking, and work-stealing
                                  parallelism strategies using Paraffin
                                  with Ada 2005  . . . . . . . . . . . . . 43--48
                     S. T. Taft   Designing ParaSail --- Parallel
                                  Specification and Implementation
                                  Language . . . . . . . . . . . . . . . . 49--59
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 60--63
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 64
                      Anonymous   Ada--Europe 2010 Sponsors  . . . . . . . C3--C3

Ada User Journal
Volume 32, Number 2, June, 2011

                      Anonymous   Editorial Policy for Ada User Journal    66--66
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 67--68
                      Anonymous   Quarterly News Digest  . . . . . . . . . 69--96
                      Anonymous   Conference Calendar  . . . . . . . . . . 97--102
                      Anonymous   Forthcoming Events . . . . . . . . . . . 103--106
                 R. Bridges and   
               F. Dordowsky and   
                H. Tschöpe   Implementing a Software Product Line for
                                  a complex Avionics System in Ada 83  . . 107--115
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 116--127

Ada User Journal
Volume 32, Number 1, March, 2011

                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 128
                      Anonymous   Ada--Europe 2011 Sponsors  . . . . . . . C3--C3

Ada User Journal
Volume 32, Number 3, September, 2011

                      Anonymous   Editorial Policy for Ada User Journal    130--130
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 131--132
                      Anonymous   Quarterly News Digest  . . . . . . . . . 133--153
                      Anonymous   Conference Calendar  . . . . . . . . . . 154--157
                      Anonymous   Forthcoming Events . . . . . . . . . . . 158--163
                      J. Barnes   Rationale for Ada 2012: Introduction . . 164--181
                    P. Thornley   The Implementation of High Integrity
                                  Data Structures  . . . . . . . . . . . . 182--187
                 J. S. Andersen   Crimeville --- using Ada inside an
                                  on-line multi-user game  . . . . . . . . 188--193
              P. J. Bradley and   
         J. A. de la Puente and   
                    J. Zamorano   Ada User Guide for LEGO MINDSTORMS NXT   194--203
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 204
                      Anonymous   Ada--Europe 2011 Sponsors  . . . . . . . C3--C3

Ada User Journal
Volume 32, Number 4, December, 2011

                      Anonymous   Editorial Policy for Ada User Journal    206--206
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 207--208
                      Anonymous   Quarterly News Digest  . . . . . . . . . 209--234
                      Anonymous   Conference Calendar  . . . . . . . . . . 235--240
                      Anonymous   Forthcoming Events . . . . . . . . . . . 241--246
                      J. Barnes   Rationale for Ada 2012: 1 Contracts and
                                  aspects  . . . . . . . . . . . . . . . . 247--264
           K. N. Gregertsen and   
                    A. Skavhaug   Implementation and Usage of the new Ada
                                  2012 Execution Time Control Features . . 265--275
                 M. Aldea Rivas   15th International Real-Time Ada
                                  Workshop (IRTAW-15)  . . . . . . . . . . 276--280
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 281--283
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 284
                      Anonymous   Ada--Europe 2011 Sponsors  . . . . . . . C3--C3


Ada User Journal
Volume 33, Number 1, March, 2012

                      Anonymous   Editorial Policy for Ada User Journal    2--2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3--4
                      Anonymous   Quarterly News Digest  . . . . . . . . . 5--31
                      Anonymous   Conference Calendar  . . . . . . . . . . 32--39
                      Anonymous   Forthcoming Events . . . . . . . . . . . 40--44
                J. G. P. Barnes   Rationale for Ada 2012: 2 Expressions    45--53
               B. Sandén   Entity-Life Modeling: Designing Reactive
                                  Software Architectures to the Strengths
                                  of Tasks . . . . . . . . . . . . . . . . 54--62
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 63--67
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 68
                      Anonymous   Ada--Europe 2011 Sponsors  . . . . . . . C3--C3

Ada User Journal
Volume 33, Number 2, June, 2012

                      Anonymous   Editorial Policy for Ada User Journal    70--70
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 71--72
                      Anonymous   Quarterly News Digest  . . . . . . . . . 73--93
                      Anonymous   Conference Calendar  . . . . . . . . . . 94--98
                      Anonymous   Forthcoming Events . . . . . . . . . . . 99--102
                      Anonymous   Press Release: Ada 2012 Language
                                  Standard Submitted to ISO  . . . . . . . 103--105
                J. G. P. Barnes   Rationale for Ada 2012: 3 Structure and
                                  visibility . . . . . . . . . . . . . . . 106--114
                        S. Palm   Use of Model Driven Code Generation on
                                  the ASIM Project . . . . . . . . . . . . 115--123
                 T. J. Jennings   The Benefits of Using SPARK for
                                  High-Assurance Software  . . . . . . . . 124--126
                 T. J. Jennings   The Use of Proof and Generics in SPARK   127--131
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 132--135
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 136
                      Anonymous   Ada--Europe 2012 Sponsors  . . . . . . . C3--C3

Ada User Journal
Volume 33, Number 3, September, 2012

                      Anonymous   Editorial Policy for Ada User Journal    138--138
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 139--140
                      Anonymous   Quarterly News Digest  . . . . . . . . . 141--164
                      Anonymous   Conference Calendar  . . . . . . . . . . 165--169
                      Anonymous   Forthcoming Events . . . . . . . . . . . 170--174
                      Anonymous   Press Release: First `Ada Way' Award
                                  Winners and `Try and Beat Me' Challenge  175--177
                J. G. P. Barnes   Rationale for Ada 2012: 4 Tasking and
                                  Real-Time  . . . . . . . . . . . . . . . 178--186
               T. Vardanega and   
               F. Gasperoni and   
         E. Plödereder and   
J. M. Martínez Rodríguez and   
                   B. Meyer and   
              A. Llemosí   What is language technology in our time? 187--203
               J. Bundgaard and   
        A. Rodríguez and   
                    S. Palm and   
                R. E. Sward and   
                        J. Ruiz   Reliable software, a perspective from
                                  industry . . . . . . . . . . . . . . . . 204--211
           R. Aguirre Reyes and   
                A. Graziano and   
                   M. Teoli and   
                     A. Zuccato   The Ada Way: development of a soccer
                                  simulator  . . . . . . . . . . . . . . . 212--216
               F. Dordowsky and   
                 R. Bridges and   
                H. Tschöpe   Combining Code Generation and Ada
                                  Generics to implement a Software Product
                                  Line . . . . . . . . . . . . . . . . . . 217--226
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 227--229
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 230
                      Anonymous   Ada--Europe 2012 Sponsors  . . . . . . . C3--C3

Ada User Journal
Volume 33, Number 4, December, 2012

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 232--232
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 233--234
                      Anonymous   Quarterly News Digest  . . . . . . . . . 235
                      Anonymous   Conference Calendar  . . . . . . . . . . 259
                      Anonymous   Forthcoming Events . . . . . . . . . . . 264
                      Anonymous   AdaWay Try-and-Beat-Me Challenge . . . . 270
                J. G. P. Barnes   Rationale for Ada 2012: 5 Iterators,
                                  Pools, etc.  . . . . . . . . . . . . . . 271
                   F. Kamei and   
                D. C. Carta and   
                 I. Broster and   
                     W. Lunniss   Tool Support for Verification of
                                  Software Timing and Stack Usage for a
                                  DO-178B Level A System . . . . . . . . . 289
                 F. Ferrero and   
            E. Alaña and   
     A. I. Rodríguez and   
                J. Zamorano and   
             J. A. de la Puente   Including Hardware/Software Co-design in
                                  the ASSERT Model Driven Engineering
                                  Process  . . . . . . . . . . . . . . . . 293
                     P. V. Rego   Ada User Guide: Integrating 8-bit AVR
                                  Micro-Controllers in Ada . . . . . . . . 301
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 306


Ada User Journal
Volume 34, Number 1, March, 2013

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 2--2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3--4
                      Anonymous   Quarterly News Digest  . . . . . . . . . 5
                      Anonymous   Conference Calendar  . . . . . . . . . . 22
                      Anonymous   Forthcoming Events . . . . . . . . . . . 29
                      Anonymous   Ada 2012 Language Standard Approved by
                                  ISO  . . . . . . . . . . . . . . . . . . 35
                J. G. P. Barnes   Rationale for Ada 2012: 6 Predefined
                                  Library  . . . . . . . . . . . . . . . . 38
                    J.-P. Rosen   Designing and Checking Coding Standards
                                  for Ada  . . . . . . . . . . . . . . . . 45
                 M. Aldea Rivas   Advanced Ada Support for Real-Time
                                  Programming  . . . . . . . . . . . . . . 49
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 57
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 

Ada User Journal
Volume 34, Number 2, June, 2013

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 62--62
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 63--63
                      Anonymous   Quarterly News Digest  . . . . . . . . . 64--78
                      Anonymous   Forthcoming Events . . . . . . . . . . . 85--89
                J. G. P. Barnes   Rationale for Ada 2012: 6a Containers    90--107
                      Anonymous   Overview of the 15th International
                                  Real-Time Ada Workshop (IRTAW 2011)  . . 108--108
                    J. Real and   
                     J. F. Ruiz   Session Summary: Multiprocessor Issues,
                                  part 1 . . . . . . . . . . . . . . . . . 109--111
                A. Wellings and   
                    L. M. Pinho   Session Summary: Multiprocessor Issues,
                                  part 2 (resource control protocols)  . . 112--116
                   A. Burns and   
                   T. Vardanega   Session Summary: Language Profile and
                                  Application Frameworks . . . . . . . . . 117--119
         J. A. de la Puente and   
                     S. Michell   Session Summary: Concurrency Issues  . . 120--124
                    S. Robinson   Report: Ada Conference UK 2013 . . . . . 125--126
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 127--131
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 132
                      Anonymous   Ada--Europe 2013 Sponsors  . . . . . . . c3--c3

Ada User Journal
Volume 34, Number 3, September, 2013

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 134--134
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 135--135
                      Anonymous   Quarterly News Digest  . . . . . . . . . 136--156
                      Anonymous   Conference Calendar  . . . . . . . . . . 157--161
                      Anonymous   Forthcoming Events . . . . . . . . . . . 162--166
                J. G. P. Barnes   Rationale for Ada 2012: Epilogue . . . . 167--174
                     D. Bigelow   Using the GNAT environment to maintain a
                                  large codebase inherited from another
                                  compilation system . . . . . . . . . . . 175--182
                       A. Burns   Report: 16th International Real-Time Ada
                                  Workshop . . . . . . . . . . . . . . . . 183--186
         E. Plödereder and   
                   J. Bundgaard   How to Use the Heap in Real-Time
                                  Systems: Panel Report  . . . . . . . . . 187--189
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 190--191
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 192
                      Anonymous   Ada--Europe 2013 Sponsors  . . . . . . . c3--c3

Ada User Journal
Volume 34, Number 4, December, 2013

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 194--194
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 195--195
                      Anonymous   Letter from the President of Ada--Europe 196--196
                      Anonymous   Quarterly News Digest  . . . . . . . . . 197--210
                      Anonymous   Conference Calendar  . . . . . . . . . . 211--216
                      Anonymous   Forthcoming Events . . . . . . . . . . . 217--222
                      Anonymous   Press Release: Ada 2012 Language
                                  Rationale Published  . . . . . . . . . . 223--225
          Jacob Sparre Andersen   Alice in Adaland . . . . . . . . . . . . 223--225
                L. M. Pinho and   
                 S. Michell and   
                       B. Moore   Session Summary: Parallel and Multicore
                                  Systems  . . . . . . . . . . . . . . . . 230--230
                   A. Burns and   
                    A. Wellings   Session Summary: Locking Protocols . . . 237--238
               T. Vardanega and   
                       R. White   Session Summary: Improvements to Ada . . 239--241
                    J. Real and   
             J. A. de la Puente   Session Summary: Open Issues . . . . . . 242--242
                         Y. Moy   SPARK 2014 Rationale . . . . . . . . . . 243--252
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 243--252
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 256
                      Anonymous   Ada--Europe 2013 Sponsors  . . . . . . . c3--c3


Ada User Journal
Volume 35, Number 1, March, 2014

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 2--2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3--3
                      Anonymous   Quarterly News Digest  . . . . . . . . . 4
                      Anonymous   Conference Calendar  . . . . . . . . . . 26
                      Anonymous   Forthcoming Events . . . . . . . . . . . 33
                    K. Sargsyan   Reliable Software in Bioinformatics:
                                  Sequence Alignment with Coq, Ada and
                                  SPARK  . . . . . . . . . . . . . . . . . 38
                 C. K. W. Grein   Physical Units with GNAT . . . . . . . . 42
                   M. Ekman and   
                   H. Thane and   
                D. Sundmark and   
                     S. Larsson   Tool Qualification for Safety Related
                                  Systems  . . . . . . . . . . . . . . . . 47
         J. A. de la Puente and   
                  A. Alonso and   
                J. Zamorano and   
                 J. Garrido and   
                 E. Salazar and   
                M. A. de Miguel   Experience in Spacecraft On-board
                                  Software Development . . . . . . . . . . 55
                       C. Dross   SPARK 2014 Rationale: Formal Containers  61
                      Anonymous   Ada Gems . . . . . . . . . . . . . . . . 65
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 68
                      Anonymous   Ada--Europe 2013 Sponsors  . . . . . . . ibc--ibc

Ada User Journal
Volume 35, Number 2, June, 2014

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 70--70
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 71--71
                      Anonymous   Quarterly News Digest  . . . . . . . . . 72
                      Anonymous   Conference Calendar  . . . . . . . . . . 94
                      Anonymous   Forthcoming Events . . . . . . . . . . . 100
                      Anonymous   Press Release: Ada 2012 Language
                                  Standard Published in Springer's LNCS
                                  and as Free eBook  . . . . . . . . . . . 104
                  M. Mefteh and   
               N. Bouassida and   
                H. Ben-Abdallah   Feature Model Extraction from Documented
                                  UML Use Case Diagrams  . . . . . . . . . 107
                      Anonymous   Proceedings of the ``Workshop on Mixed
                                  Criticality for Industrial Systems'' of
                                  Ada--Europe 2014 . . . . . . . . . . . . 117
                   R. Davis and   
                         others   PROXIMA: A Probabilistic Approach to the
                                  Timing Behaviour of Mixed-Criticality
                                  Systems  . . . . . . . . . . . . . . . . 118
                  A. Alonso and   
                     E. Salazar   Toolset for Mixed-Criticality
                                  Partitioned Systems: Partitioning
                                  Algorithm and Extensibility Support  . . 123
                P. Lindgren and   
                 D. Pereira and   
                J. Eriksson and   
                  M. Linder and   
                    L. M. Pinho   RTFM-lang Static Semantics for Systems
                                  with Mixed Criticality . . . . . . . . . 128
                     M. Jan and   
                 L. Zaourar and   
                  V. Legout and   
                      L. Pautet   Handling Criticality Mode Change in
                                  Time-Triggered Systems through Linear
                                  Programming  . . . . . . . . . . . . . . 133
                    O. Cros and   
              F. Fauberteau and   
                  L. George and   
                          X. Li   Mixed Criticality over Switched Ethernet
                                  Networks . . . . . . . . . . . . . . . . 138
                   A. Cohen and   
                V. Perrelle and   
          D. Potop-Butucaru and   
                E. Soubiran and   
                       Z. Zhang   Mixed Criticality in Railway Systems: A
                                  Case Study on Signaling Application  . . 144
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 148
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc

Ada User Journal
Volume 35, Number 3, September, 2014

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 150--150
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 151--151
                      Anonymous   Quarterly News Digest  . . . . . . . . . 152
                      Anonymous   Conference Calendar  . . . . . . . . . . 172
                      Anonymous   Forthcoming Events . . . . . . . . . . . 178
            A. Rodríguez   Critical Software for the First European
                                  Rail Traffic Management System . . . . . 186
                 J. S. Andersen   Privacy Leaks in Java Classes  . . . . . 191
                    A. M. Pedro   Implementation of Task Types in AVR-Ada  194
              P. Efstathopoulos   SPARK 2014 Rationale: Data Dependencies
                                  and Information Flow . . . . . . . . . . 204
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 208
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc

Ada User Journal
Volume 35, Number 4, December, 2014

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 210--210
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 211--211
                      Anonymous   Quarterly News Digest  . . . . . . . . . 212--233
                      Anonymous   Conference Calendar  . . . . . . . . . . 234--239
                      Anonymous   Forthcoming Events . . . . . . . . . . . 240--245
                      R. Cholay   AdDoc (beyond a document generator)  . . 246--248
                      Anonymous   Proceedings of the ``Workshop on
                                  Challenges and New Approaches for
                                  Dependable and Cyber-Physical System
                                  Engineering'' of Ada--Europe 2014  . . . 249--249
                 D. Cancila and   
              J-L. Gerstenmayer   Editorial  . . . . . . . . . . . . . . . 250--250
                 K. Attwood and   
                   P. Conmy and   
                       T. Kelly   The Use of Controlled Vocabularies and
                                  Structured Expressions in the Assurance
                                  of CPS . . . . . . . . . . . . . . . . . 251--258
                   V. David and   
                  A. Barbot and   
                     D. Chabrol   Dependable Real-Time System and Mixed
                                  Criticality: Seeking Safety, Flexibility
                                  and Efficiency with Kron-OS  . . . . . . 259--265
                S. Nakajima and   
                   M. Toyoshima   Behavioral Contracts for Energy
                                  Consumption  . . . . . . . . . . . . . . 266--271
                 D. Cancila and   
                E. Soubiran and   
                   R. Passerone   Feasibility Study in the Use of
                                  Contract-Based Approaches to Deal with
                                  Safety-Related Properties in CPS . . . . 272--277
                 D. Cancila and   
          J-L. Gerstenmayer and   
                C. Robinson and   
                       L. Rioux   Round Table  . . . . . . . . . . . . . . 278--279
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 280
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc


Ada User Journal
Volume 36, Number 1, March, 2015

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 2--2
       Luís Miguel Pinho   Editorial  . . . . . . . . . . . . . . . 3--3
          Jacob Sparre Andersen   Quarterly News Digest  . . . . . . . . . 4--23
                 Dirk Craeynest   Conference Calendar  . . . . . . . . . . 24--31
                      Anonymous   Forthcoming Events . . . . . . . . . . . 32--35
           Suw Charman-Anderson   Ada Lovelace: Victorian Computing
                                  Visionary  . . . . . . . . . . . . . . . 35--41
          Jacob Sparre Andersen   Persistent Containers with Ada 2012  . . 43--48
Francisco Sáchez-Ledesma and   
                Juan Pastor and   
               Diego Alonso and   
   Bárbara Ávarez   A Task-Based Concurrency Scheme for
                                  Executing Component-Based Applications   49--55
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 56
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc

Ada User Journal
Volume 36, Number 2, June, 2015

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 58--58
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 59--59
                      Anonymous   Quarterly News Digest  . . . . . . . . . 60--77
                      Anonymous   Conference Calendar  . . . . . . . . . . 78--84
                      Anonymous   Forthcoming Events . . . . . . . . . . . 85--88
                   J. Fuegi and   
                     J. Francis   Lovelace & Babbage and the Creation of
                                  the 1843 '\booktitleNotes' . . . . . . . 89--98
              M. Martignano and   
                    A. Jung and   
                 T. Lehmann and   
                     C. Schmidt   Source Code Analysis of Flight Software
                                  using a SonarQube based Code Quality
                                  Platform . . . . . . . . . . . . . . . . 99--104
                   S. Baird and   
                   C. Dross and   
                     Y. Moy and   
                    T. Taft and   
                     F. Schanda   Support of Ravenscar in SPARK 2014 . . . 105--112
                         Y. Moy   SPARK 2014 Rationale: Ghost Code, Object
                                  Oriented Programming and Functional
                                  Update . . . . . . . . . . . . . . . . . 113--115
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 116
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc

Ada User Journal
Volume 36, Number 3, September, 2015

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 118--118
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 119--119
                      Anonymous   Quarterly News Digest  . . . . . . . . . 120--140
                      Anonymous   Conference Calendar  . . . . . . . . . . 141--145
                      Anonymous   Forthcoming Events . . . . . . . . . . . 146--151
                 A. A. Lovelace   1842 Notes to the translation of the
                                  Sketch of The Analytical Engine  . . . . 152--181
                     S. Law and   
                 M. Bennett and   
              S. Hutchesson and   
                   I. Ellis and   
                  G. Bernat and   
                   A. Colin and   
                     A. Coombes   Effective Worst-Case Execution Time
                                  Analysis of DO178C Level A Software  . . 182--186
                 R. Hawkins and   
                   I. Habli and   
                       T. Kelly   The Need for a Weaving Model in
                                  Assurance Case Automation  . . . . . . . 187--191
                   P. H. Feiler   Architecture-led Requirements and Safety
                                  Analysis of an Aircraft Survivability
                                  Situational Awareness System . . . . . . 192--195
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 196
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc

Ada User Journal
Volume 36, Number 4, December, 2015

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 198--198
       Luís Miguel Pinho   Editorial  . . . . . . . . . . . . . . . 199--199
          Jacob Sparre Andersen   Quarterly News Digest  . . . . . . . . . 200--215
                 Dirk Craeynest   Conference Calendar  . . . . . . . . . . 216--220
                      Anonymous   Forthcoming Events . . . . . . . . . . . 221--225
       Gabriela Asli Rino Nesin   The Ada Lovelace Symposium in Oxford . . 225--230
              John G. P. Barnes   From Byron to the Ada Language . . . . . 231--235
            Barbara Gallina and   
             Luciana Provenzano   Deriving Reusable Process-based
                                  Arguments from Process Models in the
                                  Context of Railway Safety Standards  . . 237--241
                      Anonymous   Proceedings of the ``Workshop on
                                  Challenges and New Approaches for
                                  Dependable and Cyber-Physical System
                                  Engineering'' of Ada--Europe 2015  . . . 243--243
            Daniela Cancila and   
               Charles Robinson   Editorial  . . . . . . . . . . . . . . . 244--245
               Imran Quadri and   
         Alessandra Bagnato and   
             Etienne Brosse and   
                Andrey Sadovykh   Modeling Methodologies for
                                  Cyber-Physical Systems: Research Field
                                  Study on Inherent and Future Challenges  246--253
                Adam Pawlak and   
            Janusz Jezewski and   
               Krzysztof Horoba   Dependable Medical Cyber-Physical System
                                  for Home Telecare of High-Risk Pregnancy 254--258
               Paolo Burgio and   
             Carlos Alvarez and   
      Eduard Ayguadé and   
          Antonio Filgueras and   
Daniel Jiménez-González and   
           Xavier Martorell and   
              Nacho Navarro and   
                 Roberto Giorgi   Simulating Next-Generation
                                  Cyber-Physical Computing Platforms . . . 259--263
                 Silvia Mazzini   The CONCERTO Project: an Open Source
                                  Methodology for Designing, Deploying,
                                  and Operating Reliable and Safe CPS
                                  Systems  . . . . . . . . . . . . . . . . 264--267
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 268--268
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc


Ada User Journal
Volume 37, Number 1, March, 2016

                      Anonymous   Editorial Policy for \booktitleAda User
                                  Journal  . . . . . . . . . . . . . . . . 2--2
                      Anonymous   Editorial  . . . . . . . . . . . . . . . 3--3
                      Anonymous   Quarterly News Digest  . . . . . . . . . 4--21
                      Anonymous   Conference Calendar  . . . . . . . . . . 22--27
                      Anonymous   Forthcoming Events . . . . . . . . . . . 28--30
                      Anonymous   Press Release: Ada 2012 Language
                                  Standard Corrigendum Approved by ISO . . 31--34
                J. G. P. Barnes   Update for Ada 2012  . . . . . . . . . . 35--50
                      Anonymous   Overview of the 17th International
                                  Real-Time Ada Workshop (IRTAW 2015)  . . 51--51
                   A. Burns and   
             J. A. de la Puente   Session Summary: Conformance Issues  . . 52--52
                L. M. Pinho and   
                 S. Michell and   
                       B. Moore   Session Summary: Fine-grained
                                  Parallelism  . . . . . . . . . . . . . . 53--56
                A. Wellings and   
                        J. Real   Session Summary: Language Abstractions   57--58
               Paolo Burgio and   
             Carlos Alvarez and   
      Eduard Ayguadé and   
          Antonio Filgueras and   
Daniel Jiménez-González and   
           Xavier Martorell and   
              Nacho Navarro and   
                 Roberto Giorgi   Simulating Next-Generation
                                  Cyber-Physical Computing Platforms . . . 59--63
                      Anonymous   Ada--Europe Associate Members (National
                                  Ada Organizations) . . . . . . . . . . . 64
                      Anonymous   Ada--Europe Sponsors . . . . . . . . . . ibc--ibc