Last update:
Sat Jan 6 06:34:20 MST 2024
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
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
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
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
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
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
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
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
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
C. Anderson The Ada 9X Project --- current status 67
C. Ardouin and
P. Boulle and
M. Menes XRete: a means to integrate . . . . . . 88--97
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
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
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
A. D. Hill The choice of programming language for
highly reliable software --- a
comparison of C and Ada. 2 . . . . . . . 92--103
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
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
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
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
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
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
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
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
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
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
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
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
Richard Stuckey A fully conformant implementation of
ECMA-162 . . . . . . . . . . . . . . . . 83--94
John Barnes The Ada 95 Hierarchical Library . . . . ??
John Barnes You Can Depend Upon Ada . . . . . . . . ??
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
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
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
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
Stephen F. Zeigler Comparing Development Costs of C and Ada ??
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
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
M. Smith OO-programming in Ada . . . . . . . . . 125--131
F. Culwin Beyond the LAW, a software development
pedagogy for the 21st century . . . . . 132--142
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
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
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
W. A. Ward, Jr. A retrospective on the Rational
Environment . . . . . . . . . . . . . . 121--143
D. Simpson Ada and software engineering education 144--147
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
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
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
Yusuke Nonaka and
Jingde Cheng and
Kazuo Ushijima A Tasking Deadlock Detector for Ada 95
Programs . . . . . . . . . . . . . . . . 79--92
Christoph Karl Walter Grein Safe Pointers . . . . . . . . . . . . . ??
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Anonymous Ada--Europe Associate Members (National
Ada Organizations) . . . . . . . . . . . 128
Anonymous Ada--Europe 2011 Sponsors . . . . . . . C3--C3
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
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
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
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
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
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
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) . . . . . . . . . . .
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
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
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
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
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
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
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
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
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
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
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
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