Last update: Sat Jan 6 06:34:20 MST 2024
Volume 8, Number ??, 1987B. 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