Last update:
Mon Feb 16 10:59:20 MST 2004
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