BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Ada
Google Ada

Tag #ada

701 papers:

AdaEuropeAdaEurope-2018-BliebergerB
Safe Non-blocking Synchronization in Ada2x (JB, BB), pp. 53–69.
AdaEuropeAdaEurope-2018-GarridoZAP #on the #policy
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks (JG, JZ, AA0, JAdlP), pp. 73–86.
AdaEuropeAdaEurope-2018-MaalejTM #memory management
Safe Dynamic Memory Management in Ada and SPARK (MM, STT, YM), pp. 37–52.
AdaEuropeAdaEurope-2018-RoyuelaMQP #analysis #compilation #parallel
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (SR, XM, EQ, LMP), pp. 141–157.
AdaEuropeAdaEurope-2017-MohaqeqiA0 #execution #graph #semantics
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.
AdaEuropeAdaEurope-2017-Mosteo #api #implementation #named
RxAda: An Ada implementation of the ReactiveX API (ARM), pp. 153–166.
AdaEuropeAdaEurope-2017-RoyuelaMQP #correctness #safety
OpenMP Tasking Model for Ada: Safety and Correctness (SR, XM, EQ, LMP), pp. 184–200.
AdaEuropeAdaEurope-2016-Burns #physics #power of #programming language #why
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.
AdaEuropeAdaEurope-2016-Jones #impact analysis #problem #testing
Addressing the Regression Test Problem with Change Impact Analysis for Ada (AVJ), pp. 61–77.
AdaEuropeAdaEurope-2016-Mazzanti #experience #manycore #model checking #parallel #programming
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine (FM), pp. 94–109.
AdaEuropeAdaEurope-2016-MittermayrB #algebra #static analysis
Kronecker Algebra for Static Analysis of Barriers in Ada (RM, JB), pp. 145–159.
AdaEuropeAdaEurope-2015-PinhoMMT #execution #fine-grained #parallel
An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
AdaEuropeAdaEurope-2014-BurgstallerB #algebra #source code #static analysis
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
AdaEuropeAdaEurope-2014-PedroPPP #framework #programming language #runtime #towards #verification
Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
AdaEuropeAdaEurope-2014-PinhoMM #parallel
Parallelism in Ada: Status and Prospects (LMP, BM, SM), pp. 91–106.
AdaEuropeAdaEurope-2014-SaezRC #multi #platform #realtime #reliability #scheduling
Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012 (SS, JR, AC), pp. 74–90.
HILTHILT-2014-Anderson
From Ada 9x to spaceport America: going where no one has gone before (CA), pp. 1–2.
HILTHILT-2014-BarnesT #design #lessons learnt
Ada 83 to Ada 2012: lessons learned over 30 years of language design (JB, STT), pp. 3–4.
HILTHILT-2014-HuguesG #modelling
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
HILTHILT-2014-TaftMPM #parallel #programming
Safe parallel programming in ada with language extensions (STT, BM, LMP, SM), pp. 87–96.
AdaEuropeAdaEurope-2013-BrandonC
A SPARK/Ada CubeSat Control Program (CB, PC), pp. 51–64.
AdaEuropeAdaEurope-2013-MichellMP #fine-grained #named #parallel
Tasklettes — A Fine Grained Parallelism for Ada on Multicores (SM, BM, LMP), pp. 17–34.
AdaEuropeAdaEurope-2013-QuinotB
Lady Ada Mediates Peace Treaty in Endianness War (TQ, EB), pp. 65–80.
AdaEuropeAdaEurope-2013-SalazarAMP #framework #modelling #realtime #safety
A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
HILTHILT-2013-Taft13a #parallel #programming #set
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada (STT), pp. 37–40.
AdaEuropeAdaEurope-2012-EdmundsRB #formal method #implementation #modelling
Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.
AdaEuropeAdaEurope-2012-FariaMP #approach #model checking #source code
An Approach to Model Checking Ada Programs (JMF, JM, JSP), pp. 105–118.
AdaEuropeAdaEurope-2012-Garcia-VallsI #configuration management #distributed #middleware #realtime
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA (MGV, FIV), pp. 35–48.
AdaEuropeAdaEurope-2012-PanunzioV #component #development
Ada Ravenscar Code Archetypes for Component-Based Development (MP, TV), pp. 1–17.
AdaEuropeAdaEurope-2012-RuizCM #development #source code
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.
AdaEuropeAdaEurope-2012-Tempelmeier #concept #education #programming language
Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.
HILTHILT-2012-BeltCHR #automation #contract #using #verification
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan (JB, PC, JH, R), pp. 3–4.
HILTHILT-2012-Kanig #testing #verification
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve — the hi-lite project (JK), pp. 5–6.
HILTHILT-2012-SchonbergP #implementation
Implementation of a simple dimensionality checking system in Ada 2012 (ES, VP), pp. 35–42.
AdaEuropeAdaEurope-2011-BaruahB #implementation
Implementing Mixed Criticality Systems in Ada (SKB, AB), pp. 174–188.
AdaEuropeAdaEurope-2011-ChilAOP #interface #using
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot (RC, DA, FJO, JAP), pp. 147–159.
AdaEuropeAdaEurope-2011-CoqR #analysis #modelling #quality #source code
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code (TC, JPR), pp. 61–74.
AdaEuropeAdaEurope-2011-EsquinasZPMRC #clustering #framework #platform
ORK+/XtratuM: An Open Partitioning Platform for Ada (ÁE, JZ, JAdlP, MM, IR, AC), pp. 160–173.
AdaEuropeAdaEurope-2011-MedinaC #analysis #design #distributed #modelling #realtime #uml
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE (JLM, ÁGC), pp. 89–102.
AdaEuropeAdaEurope-2011-SaezTC #framework #multi #platform #realtime #using
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012 (SS, ST, AC), pp. 46–60.
AdaSIGAda-2011-AbrahamCP #analysis #quality
Improving quality of Ada software with range analysis (JA, JC, CP), pp. 7–8.
AdaSIGAda-2011-AbrahamCP11a #analysis #quality
Improving quality of Ada software with range analysis (JA, JC, CP), pp. 69–74.
AdaSIGAda-2011-AliP #parallel #programming
A parallel programming model for ada (HIA, LMP), pp. 19–26.
AdaSIGAda-2011-Booch
Everything i know i learned from ada (GB), pp. 17–18.
AdaSIGAda-2011-Carlisle #why
Why i came back to Ada (MCC), pp. 37–38.
AdaSIGAda-2011-Feldman
Introduction to Ada (MF), pp. 9–10.
AdaSIGAda-2011-GaudelSPRDL #analysis #design pattern #pattern matching #pattern recognition #performance #recognition
An Ada design pattern recognition tool for AADL performance analysis (VG, FS, AP, SR, PD, JL), pp. 61–68.
AdaSIGAda-2011-Rosen #design #standard
Designing and checking coding standards for ada (JPR), pp. 13–14.
SIGAdaSIGAda-2011-RosenMT #how
How to make Ada go “viral” (JPR, BM, STT), pp. 35–36.
AdaEuropeAdaEurope-2010-AnderssonP #algorithm #implementation #manycore #realtime #scheduling #using
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (BA, LMP), pp. 54–67.
AdaEuropeAdaEurope-2010-Brosgol #comparison #java
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM (BMB), pp. 222–237.
AdaEuropeAdaEurope-2010-BurnsW #multi #platform #representation
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (AB, AJW), pp. 41–53.
AdaEuropeAdaEurope-2010-HongHBB #named #programming #type system
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 (GH, KH, BB, JB), pp. 208–221.
AdaEuropeAdaEurope-2010-MezzettiPV
Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.
AdaEuropeAdaEurope-2010-SaezC #linux #multi
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems (SS, AC), pp. 68–82.
AdaEuropeAdaEurope-2010-Schonberg #towards
Towards Ada 2012: An Interim Report (ES), pp. 238–250.
AdaEuropeAdaEurope-2010-WellingsB #evolution #programming #realtime
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (AJW, AB), pp. 196–207.
AdaEuropeAdaEurope-2010-White #hardware #scheduling #using
Using Hardware Support for Scheduling with Ada (RW), pp. 125–138.
AdaSIGAda-2010-BradleyPZ #development #realtime #using
Real-time system development in ada using LEGO® mindstorms® NXT (PJB, JAdlP, JZ), pp. 37–40.
AdaSIGAda-2010-CicaleseSSW
Unmanned systems with Ada and RTEMS (CDTC, JS, RES, RMW), pp. 9–10.
AdaSIGAda-2010-LiYBWZL #fault tolerance #manycore #monitoring
Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
AdaSIGAda-2010-McCormick #embedded #parallel #realtime
Ada for parallel, embedded, and real-time applications (JWM), pp. 5–6.
AdaSIGAda-2010-Moore #parallel
Parallelism generics for Ada 2005 and beyond (BJM), pp. 41–52.
AdaSIGAda-2010-Pettit #concurrent #design #embedded #realtime #uml #using
Designing real-time, concurrent, and embedded software systems using UML and Ada (RGPI), pp. 7–8.
AdaSIGAda-2010-Schmidt #case study #experience #integration #java
Experience report: Ada & Java integration in the FAA’s ERAM SWIM program (RBS), pp. 33–34.
AdaSIGAda-2010-Schonberg #towards
Towards Ada 2012: an interim report (ES), pp. 63–70.
AdaSIGAda-2010-Sward #persistent
The rise, fall and persistence of Ada (RES), pp. 71–74.
AdaSIGAda-2010-Weatherly
Unmanned systems and Ada (RMW), pp. 35–36.
HCIHCD-2009-Clemmensen #comparison #formal method #towards #usability
Towards a Theory of Cultural Usability: A Comparison of ADA and CM-U Theory (TC), pp. 416–425.
AdaEuropeAdaEurope-2009-BurnsWZ #analysis #implementation #scheduling
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (AB, AJW, FZ), pp. 119–133.
AdaEuropeAdaEurope-2009-Montoya-DatoAG #experience #online #programming #using
An Experience on Ada Programming Using On-Line Judging (FJMD, JLFA, GGM), pp. 75–89.
AdaEuropeAdaEurope-2009-RivasHR #implementation
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.
AdaEuropeAdaEurope-2009-SaezTGC #implementation #state machine #uml
Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.
AdaSIGAda-2009-Barkstrom #algorithm #concurrent #multi #on the #problem #using
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms (BRB), pp. 61–72.
AdaSIGAda-2009-CicaleseSSW
Unmanned systems and Ada (CDTC, JS, RES, RMW), pp. 11–12.
AdaSIGAda-2009-Feldman
Introduction to Ada (MBF), pp. 1–2.
AdaSIGAda-2009-Gardinier #development #open source #safety
Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE) (MG), pp. 23–30.
AdaSIGAda-2009-Knight #approach #named #verification
Echo: a new approach to formal verification based on Ada (JK), pp. 85–86.
AdaSIGAda-2009-Lathrop #branch #dynamic analysis #predict
Dynamic analysis of branch mispredictions in Ada (SML), pp. 79–84.
AdaSIGAda-2009-McCormick #parallel #realtime
Ada for real-time and parallel processing (JWM), pp. 13–14.
AdaSIGAda-2009-Mentis #api #type safety
A robotics API dialect for type-safe robots: translating Myro to Ada (ASM), pp. 91–102.
AdaSIGAda-2009-MurtaghH #how #object-oriented
How Ada object orientation works (JLM, DH), pp. 5–6.
AdaSIGAda-2009-Ochem #multi #programming
Multi-language programming with Ada (QO), pp. 19–20.
AdaSIGAda-2009-Rogers #embedded #realtime
Embedded, hard, real-time systems with Ada (PR), pp. 17–18.
AdaSIGAda-2009-RosenT #semantics
The new semantic model in ASIS for Ada 2005 (JPR, STT), pp. 127–132.
AdaSIGAda-2009-Schmidt #maturity #reliability #scalability
An ada retrospective: developing large, mature, reliable systems (RBS), pp. 21–22.
AdaSIGAda-2009-Smart
A look at Ada from both sides now (a government, and a defense contractor perspective) (JCS), pp. 119–120.
AdaSIGAda-2009-Sward09a #using
Georegistration of imagery from unmanned aircraft systems using Ada (RES), pp. 121–126.
AdaSIGAda-2009-TardieuP #programming language
Complementing Ada with other programming languages (ST, AP), pp. 105–114.
AdaSIGAda-2009-TijeroG #experience #middleware #policy #scheduling
Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada (HPT, JJG), pp. 73–78.
DATEDATE-2009-GregertsenS #multi #performance #runtime
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller (KNG, AS), pp. 1572–1575.
AdaEuropeAdaEurope-2008-AlonsoVPA #modelling #state machine #thread #visual notation
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code (DA, CVC, JAP, ), pp. 158–170.
AdaEuropeAdaEurope-2008-Brosgol #comparison #java #object-oriented
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM (BMB), pp. 115–129.
AdaEuropeAdaEurope-2008-FecheteKB #framework #program analysis #source code
A Framework for CFG-Based Static Program Analysis of Ada Programs (RF, GK, JB), pp. 130–143.
AdaEuropeAdaEurope-2008-HamidN #semantics
Operational Semantics of Ada Ravenscar (IH, EN), pp. 44–58.
AdaEuropeAdaEurope-2008-MartinezDPM #component #distributed #realtime
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications (PLM, JMD, PP, JLM), pp. 254–267.
AdaEuropeAdaEurope-2008-PerezGSH #middleware #perspective #realtime
Real-Time Distribution Middleware from the Ada Perspective (HP, JJG, DS, MGH), pp. 268–281.
AdaSIGAda-2008-Brosgol08a
From strawman to Ada 2005: a socio-technical retrospective (BMB), pp. 13–14.
AdaSIGAda-2008-Doran #development #embedded #named #programming language #realtime
Anima: a Ada derived programming language for real-time embedded software development (SD), pp. 121–132.
AdaSIGAda-2008-Feldman #named
SF1: introduction to ada (MBF), pp. 1–2.
AdaSIGAda-2008-LiangRB #architecture #named #reliability
Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model (SXL, LAR, JB), pp. 39–56.
AdaSIGAda-2008-Maurer #problem #source code
Removing backward go-to statements from Ada programs: possibilities and problems (WDM), pp. 105–108.
AdaSIGAda-2008-McCormick #named #parallel #realtime
MA1: Ada for real-time and parallel processing (JWM), pp. 5–6.
AdaSIGAda-2008-McCormick08a #case study #education #experience #re-engineering
Ada and software engineering education: one professor’s experiences (JWM), pp. 91–96.
AdaSIGAda-2008-Moore #using
A buffer container class hierarchy using Ada 2005 (BJM), pp. 57–74.
AdaSIGAda-2008-Moore08a #distributed #monitoring
Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.
AdaSIGAda-2008-Rosen
The Ada paradox(es) (JPR), pp. 11–12.
AdaSIGAda-2008-Safari-SharifabadiC #comprehension #dynamic analysis #metric #quality #source code
Dynamic analysis of Ada programs for comprehension and quality measurement (ESS, CC), pp. 15–38.
AdaSIGAda-2008-Sward #architecture #concept #implementation #named
SP1: service oriented architecture (SOA) concepts and implementations for Ada (RES), pp. 3–4.
AdaSIGAda-2008-Taft #implementation
Implementing the extended return statement for Ada 2005 (STT), pp. 97–104.
AdaEuropeAdaEurope-2007-AlonsoVSAL #approach #automation #code generation #modelling #using
Automatic Ada Code Generation Using a Model-Driven Engineering Approach (DA, CVC, PS, , FL), pp. 168–179.
AdaEuropeAdaEurope-2007-BliebergerBM #detection #multi #source code #static analysis
Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.
AdaEuropeAdaEurope-2007-Garcia-RodriguezMG #compilation #garbage collection #precise
Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.
AdaEuropeAdaEurope-2007-KaiserPP #concurrent #modelling
Modelling Remote Concurrency with Ada (CK, CP, JFPP), pp. 192–207.
AdaEuropeAdaEurope-2007-MosteoM #architecture #mobile #named #research
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research (ARM, LM), pp. 221–234.
AdaEuropeAdaEurope-2007-PulidoUZP #fault
Handling Temporal Faults in Ada 2005 (JAP, SU, JZ, JAdlP), pp. 15–28.
AdaEuropeAdaEurope-2007-RivasR #implementation #realtime
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
AdaEuropeAdaEurope-2007-SinghoffP #empirical #library #towards
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar (FS, AP), pp. 180–191.
AdaEuropeAdaEurope-2007-WellingsB #realtime
Real-Time Utilities for Ada 2005 (AJW, AB), pp. 1–14.
AdaSIGAda-2007-Barnes #named
SA1: introducing the best of ada (JGPB), p. 1.
AdaSIGAda-2007-Barnes07a #named
SP1: introducing the best of ada 2005 (JGPB), p. 3.
AdaSIGAda-2007-CarlisleB #c #network
Timing neural networks in C and ada (MCC, LCBI), pp. 71–74.
AdaSIGAda-2007-Grosman #development #eclipse #named #tool support
Hibachi: the eclipse ada development toolset (TG), p. 99.
AdaSIGAda-2007-HallmarkR #evaluation #evolution #game studies #parallel
Parallel evolution of game evaluation functions in ada (TBH, EKR), pp. 59–62.
AdaSIGAda-2007-Maurer #proving #using
Using mathematics to improve ada compiled code, part 2: the proof (WDM), pp. 11–26.
AdaSIGAda-2007-McCormick #named #parallel #realtime
MA1: real-time and parallel processing in ada (JWM), p. 7.
AdaSIGAda-2007-NettletonIM #compilation #towards
Towards a demonstrably-correct ada compiler (CN, WI, CM), pp. 89–96.
AdaSIGAda-2007-OLeary
Federal aviation administration and Ada (JO), pp. 69–70.
AdaSIGAda-2007-Singhoff #named #realtime #scheduling
MP1: real time scheduling theory and its use with ada (FS), p. 8.
AdaSIGAda-2007-Sward #architecture #named #using #web #web service
SP2: exposing ada web services using a service-oriented architecture (SOA) (RES), p. 4.
AdaSIGAda-2007-Sward07a #architecture #using
Using ada in a service-Ooriented architecture (RES), pp. 63–68.
AdaEuropeAdaEurope-2006-ArandaPETG #multi #towards
Towards Developing Multi-agent Systems in Ada (GAB, JPC, AE, AT, AGF), pp. 131–142.
AdaEuropeAdaEurope-2006-BrosgolW #comparison #java #realtime #safety
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (BMB, AJW), pp. 13–26.
AdaEuropeAdaEurope-2006-BurgstallerBM #detection #static analysis
Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.
AdaEuropeAdaEurope-2006-Cheng #detection #realtime #runtime
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.
AdaEuropeAdaEurope-2006-Maurer #using
Using Mathematics to Improve Ada Compiled Code (WDM), pp. 191–202.
AdaEuropeAdaEurope-2006-PulidoUZVP #scheduling
Hierarchical Scheduling with Ada 2005 (JAP, SU, JZ, TV, JAdlP), pp. 1–12.
AdaSIGAda-2006-Carlisle #automation #generative #object-oriented #parsing #using
Automatic OO parser generation using visitors for Ada 2005 (MCC), pp. 3–8.
AdaSIGAda-2006-CarlisleH #visual notation
Integrating Ada 2005 into visual studio 2005 (MCC, JAHJ), pp. 15–20.
AdaSIGAda-2006-Dewar
Ada 2005 & high integrity systems (RD), p. 43.
AdaSIGAda-2006-Klein #using
Use of Ada in Lockheed Martin for air traffic management and beyond (JK), p. 1.
AdaSIGAda-2006-PlantecS #automation #library #refactoring
Refactoring of an Ada 95 library with a Meta CASE tool (AP, FS), pp. 61–70.
AdaSIGAda-2006-Taft #exclamation #using #why
Why you should be using Ada 2005 now! (STT), p. 75.
AdaEuropeAdaEurope-2005-BordinV
A New Strategy for the HRT-HOOD to Ada Mapping (MB, TV), pp. 51–66.
AdaEuropeAdaEurope-2005-Brosgol #comparison #java #realtime #specification
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM (BMB), pp. 129–143.
AdaEuropeAdaEurope-2005-MasmanoRCR
Distributing Criticality Across Ada Partitions (MM, JR, AC, IR), pp. 196–207.
AdaEuropeAdaEurope-2005-MirandaSD #compilation #implementation #interface
The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.
AdaEuropeAdaEurope-2005-PinhoNB #framework
An Ada Framework for QoS-Aware Applications (LMP, LN, RB), pp. 25–38.
AdaEuropeAdaEurope-2005-RivasMH #policy #scheduling
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks (MAR, JM, MGH), pp. 220–235.
AdaEuropeAdaEurope-2005-RogersW #fault tolerance #using
The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 (PR, AJW), pp. 236–247.
AdaEuropeAdaEurope-2005-SimonVP #education #re-engineering
Teaching Software Engineering with Ada 95 (DS, GV, EP), pp. 115–128.
AdaSIGAda-2005-AlexandrID #analysis #clustering #performance #source code
Experimental performance analysis of ada programs in cluster system (KA, SI, KD), pp. 31–36.
AdaSIGAda-2005-Berns #comparison #corba #distributed
A comparison of CORBA and ada’s distributed systems annex (AB), pp. 103–108.
AdaSIGAda-2005-Mark #c #c++
Data sharing between ada and C/C++ (MM), pp. 93–102.
AdaSIGAda-2005-MirandaSK #compilation #implementation #interface
The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.
AdaSIGAda-2005-PedersenC #aspect-oriented #named #programming
AspectAda: aspect oriented programming for ada95 (KHP, CC), pp. 79–92.
AdaSIGAda-2005-Romanski #industrial
Ada in the avionics industry (GR), pp. 109–114.
AdaEuropeAdaEurope-2004-AlvarezPOSN #education #framework #platform #realtime #using
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada (, JAP, FJO, PS, PJNL), pp. 213–224.
AdaEuropeAdaEurope-2004-Alves #formal method #persistent
A Theory of Persistent Containers and Its Application to Ada (MAA), pp. 297–308.
AdaEuropeAdaEurope-2004-AmeyW #c #uml
High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.
AdaEuropeAdaEurope-2004-BurgstallerBS #on the #source code
On the Tree Width of Ada Programs (BB, JB, BS), pp. 78–90.
AdaEuropeAdaEurope-2004-BurnsWT #scheduling
Supporting Deadlines and EDF Scheduling in Ada (AB, AJW, STT), pp. 156–165.
AdaEuropeAdaEurope-2004-CamposGH #embedded #realtime
The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.
AdaEuropeAdaEurope-2004-Gasperoni
Vector Processing in Ada (FG), pp. 321–331.
AdaEuropeAdaEurope-2004-GiriMJK #approach #random #safety #testing
A Randomised Test Approach to Testing Safety Critical Ada Code (SKG, AM, YVJ, KK), pp. 190–199.
AdaEuropeAdaEurope-2004-HagenauerMP
Ada Meets Giotto (HH, NM, WP), pp. 237–248.
AdaEuropeAdaEurope-2004-HiltonH #logic #programmable
High-Integrity Interfacing to Programmable Logic with Ada (AJH, JGH), pp. 249–260.
AdaEuropeAdaEurope-2004-MinguetFGB #policy #scheduling
Mixing Scheduling Policies in Ada (AEM, AGF, VLG, ATB), pp. 273–282.
AdaEuropeAdaEurope-2004-RealBGSC
Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.
AdaEuropeAdaEurope-2004-RivasGH #framework #implementation #scheduling
Implementing an Application-Defined Scheduling Framework for Ada Tasking (MAR, FJMG, MGH), pp. 283–296.
AdaEuropeAdaEurope-2004-RogersW #named
OpenAda: Compile-Time Reflection for Ada 95 (PR, AJW), pp. 166–177.
AdaEuropeAdaEurope-2004-Sward #legacy #source code
Extracting Ada 95 Objects from Legacy Ada Programs (RES), pp. 65–77.
AdaEuropeAdaEurope-2004-VrandecicS #using #xml
XML4Ada95 Accessing XML Using the DOM in Ada95 (ZV, DS), pp. 178–189.
AdaEuropeAdaEurope-2004-ZamoranoAPP #implementation
Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.
AdaSIGAda-2004-Anderson #refactoring
A refactoring tool for Ada 95 (PA), pp. 23–28.
AdaSIGAda-2004-Brown #education #using
Teaching graphics using Ada (CWB), pp. 47–50.
AdaSIGAda-2004-Lapping #development #modelling
Model driven development with Ada (AL), pp. 19–22.
AdaSIGAda-2004-MirandaS #named
GNAT: on the road to Ada 2005 (JM, ES), pp. 51–60.
AdaSIGAda-2004-SwardC #re-engineering
Re-engineering global variables in Ada (RES, ATC), pp. 29–34.
AdaEuropeAdaEurope-2003-AlvesJH #using #xml
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.
AdaEuropeAdaEurope-2003-BriotGDCW #memory management
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.
AdaEuropeAdaEurope-2003-BrosgolW #comparison #java #realtime
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (BMB, AJW), pp. 113–128.
AdaEuropeAdaEurope-2003-BurnsHW #policy #scheduling
A Round Robin Scheduling Policy for Ada (AB, MGH, AJW), pp. 334–343.
AdaEuropeAdaEurope-2003-EvancoV #architecture #fault
Some Architectural Features of Ada Systems Affecting Defects (WME, JMV), pp. 232–245.
AdaEuropeAdaEurope-2003-EvangelistaKPR #analysis #concurrent #named #source code
Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
AdaEuropeAdaEurope-2003-FranchM #library #quality #standard
A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.
AdaEuropeAdaEurope-2003-GonzalezH
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 (FJMG, MGH), pp. 344–358.
AdaEuropeAdaEurope-2003-GreinKW #overview #physics
A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.
AdaEuropeAdaEurope-2003-Heaney #data type #library #named
Charles: A Data Structure Library for Ada95 (MH), pp. 271–282.
AdaEuropeAdaEurope-2003-JeppuKS #realtime #safety #testing #using
Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.
AdaEuropeAdaEurope-2003-Lamm #design #education #java
Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design (EL), pp. 102–112.
AdaEuropeAdaEurope-2003-Leroy
An Invitation to Ada 2005 (PL), pp. 1–23.
AdaEuropeAdaEurope-2003-MasmanoRRC #linux #realtime
Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
AdaEuropeAdaEurope-2003-Thom #standard #uml
The Standard UML-Ada Profile (FT), pp. 394–404.
AdaSIGAda-2003-EvangelistaKPR #concurrent #linear #logic #source code #verification
Verifying linear time temporal logic properties of concurrent Ada programs with quasar (SE, CK, JFPP, PR), pp. 17–24.
AdaSIGAda-2003-HumphriesCW #dot-net #multi #programming
Multilanguage programming with ada in the .Net environment (JWH, MCC, TAW), pp. 1–3.
AdaSIGAda-2003-MarcoF #design #framework #implementation #library #standard
A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.
AdaSIGAda-2003-Potratz #comparison #embedded #implementation #java #realtime
A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.
AdaSIGAda-2003-SwardC #named #slicing
AdaSlicer: an Ada program slicer (RES, ATC), pp. 10–16.
AdaSIGAda-2003-SwardCFG
The case for Ada at the USAF academy (RES, MCC, BSF, DSG), pp. 68–70.
AdaSIGAda-2003-XuCZ
Measuring cohesion of packages in Ada95 (BX, ZC, JZ), pp. 62–67.
SCAMSCAM-J-2001-ChenXYZ02 #concurrent #detection
Concurrent Ada dead statements detection (ZC, BX, HY, JZ), pp. 733–741.
AdaEuropeAda-2002-BarrM #embedded #named #open source #operating system #safety
Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.
AdaEuropeAda-2002-BlotzHLPSZ #development #modelling #re-engineering #safety
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.
AdaEuropeAda-2002-Siara #algebra #german
Ada trifft Algebra (RS), pp. 147–151.
AdaEuropeAda-2002-Thom #exclamation #integration #modelling #programming language #standard #uml #using
Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.
AdaEuropeAdaEurope-2002-ChenBZY #analysis #concurrent #dependence #source code
Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.
AdaEuropeAdaEurope-2002-CzarneckiHRVR #analysis #approach #data flow #named
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 (KC, MH, ER, FV, AR), pp. 231–244.
AdaEuropeAdaEurope-2002-DewarHCW #runtime
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
AdaEuropeAdaEurope-2002-Erdmann #database #development
GNAT Ada Database Development Environment (ME), pp. 334–343.
AdaEuropeAdaEurope-2002-GonzalezSMMG #how
How to Use GNAT to Efficiently Preprocess New Ada Sentences (FJMG, FGS, EM, JM, AG), pp. 179–192.
AdaEuropeAdaEurope-2002-Lamm #contract #design
Adding Design by Contract to the Ada Language (EL), pp. 205–218.
AdaEuropeAdaEurope-2002-MedinaGDH #analysis #component #distributed #modelling #realtime #scheduling
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components (JLM, JJG, JMD, MGH), pp. 282–296.
AdaEuropeAdaEurope-2002-MinguetGC #standard
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.
AdaEuropeAdaEurope-2002-OrtizMAIF #development #uml #using
Development of a Control System for Teleoperated Robots Using UML and Ada95 (FJO, ASM, , AI, JMF), pp. 113–124.
AdaEuropeAdaEurope-2002-Rosen #interface #paradigm
Ada, Interfaces and the Listener Paradigm (JPR), pp. 344–356.
AdaEuropeAdaEurope-2002-RybinS #pretty-printing
About the Difficulties of Building a Pretty-Printer for Ada (SR, AS), pp. 257–268.
AdaEuropeAdaEurope-2002-WardA #compilation #hardware
Language Issues of Compiling Ada to Hardware (MW, NCA), pp. 88–99.
AdaSIGAda-2002-CareyAW #experience #scalability
The national ignition facility: early operational experience with a large Ada control system (RWC, PJVA, JPW), p. 11.
AdaSIGAda-2002-CarlisleSH #dot-net #weaving
Weaving Ada 95 into the .net environment (MCC, RES, JWH), pp. 22–26.
AdaSIGAda-2002-Conn
Ada, CMM level 4, and the C-130J aircraft (RC), p. 10.
AdaSIGAda-2002-Dulman #developer #visual notation
Visual Ada developer (LD), pp. 30–34.
AdaSIGAda-2002-KorochkinK #analysis #java #parallel #performance
Experimental performance analysis of the Ada95 and Java parallel program on SMP systems (DK, SK), pp. 53–56.
AdaSIGAda-2002-LeifLL #xml
XML and Ada complement each other (RCL, SBL, SHL), p. 44.
AdaSIGAda-2002-McEvilley #assurance #community
The essence of information assurance and its implications for the Ada community (MM), pp. 35–39.
AdaSIGAda-2002-Santhanam #compilation #set
The anatomy of an FAA-qualifiable Ada subset compiler (VS), pp. 40–43.
PDPPDP-2002-MirandaGMG #preprocessor
A Technique to Build Ada Preprocessors (JM, FGS, JM, AG), pp. 196–200.
TOOLSTOOLS-USA-2001-Brosgol #comparison #concurrent #java #overview #programming #realtime
A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix (BMB), p. 362.
AdaEuropeAdaEurope-2001-Alves #web #xml
Safe Web Forms and XML Processing with Ada (MAA), pp. 349–358.
AdaEuropeAdaEurope-2001-BernatB #flexibility #implementation
Implementing a Flexible Scheduler in Ada (GB, AB), pp. 179–190.
AdaEuropeAdaEurope-2001-Burns #policy
Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
AdaEuropeAdaEurope-2001-ChenBY #slicing
Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.
AdaEuropeAdaEurope-2001-CrespoBT #implementation
Complex Task Implementation in Ada (AC, PB, ST), pp. 167–178.
AdaEuropeAdaEurope-2001-Duret-Lutz
Expression Templates in Ada (ADL), pp. 191–202.
AdaEuropeAdaEurope-2001-GellerichP #alias
Parameter-Induced Aliasing in Ada (WG, EP), pp. 88–99.
AdaEuropeAdaEurope-2001-HeraudL #interactive #using
Using Ada in Interactive Digital Television Systems (PH, TL), pp. 21–34.
AdaEuropeAdaEurope-2001-KienzleJRM #transaction
Transaction Support for Ada (JK, RJP, ABR, MPM), pp. 290–304.
AdaEuropeAdaEurope-2001-KuchumovRS #library #named #object-oriented
OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.
AdaEuropeAdaEurope-2001-Rivas #embedded #kernel #realtime
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.
AdaEuropeAdaEurope-2001-TaylorK #uml
Mapping UML to Ada (BT, EWK), pp. 359–370.
AdaEuropeAdaEurope-2001-Tokar #runtime
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
AdaEuropeAdaEurope-2001-WaroquiersVCHD #migration #scalability
Migrating Large Applications from Ada83 to Ada95 (PW, SvV, DC, AH, ED), pp. 380–391.
AdaEuropeAdaEurope-2001-ZamoranoRP #implementation #kernel #realtime
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels (JZ, JFR, JAdlP), pp. 317–327.
AdaSIGAda-2001-Barkstrom
Ada 95 bindings for the NCSA hierarchical data format (BRB), pp. 27–30.
AdaSIGAda-2001-BrosgolD #convergence #realtime
Real-time convergence of Ada and Java™ (BMB, BD), pp. 11–26.
AdaSIGAda-2001-Carlisle
Keynote address: confessions of an academic Ada zealot (MCC), pp. 71–72.
AdaSIGAda-2001-Dewar #development
Keynote address: future development of the Ada language (RD), pp. 1–2.
AdaSIGAda-2001-FaginME #education #using
Teaching computer science with robotics using Ada/Mindstorms 2.0 (BSF, LDM, TWE), pp. 73–78.
AdaSIGAda-2001-Fassbender #information management #re-engineering #uml #using
Reengineering an Ada95-programmed command and control information system by using UML (HF), pp. 53–60.
AdaSIGAda-2001-Gantsou #communication #distributed #multi #network #simulation
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.
AdaSIGAda-2001-Pritchett #metric #object-oriented
An object-oriented metrics suite for Ada 95 (WWP), pp. 117–126.
AdaSIGAda-2001-SherrillAH #architecture #implementation #product line
Implementing a product line-based architecture in Ada (JS, JA, GH), pp. 39–46.
AdaSIGAda-2001-Taft #compilation #using
Using Ada 95 in a compiler course (STT), pp. 79–80.
AdaSIGAda-2001-WhiteW #dynamic analysis
Dynamic analysis for locating product features in Ada code (LJW, NW), pp. 99–106.
ITiCSEITiCSE-2000-Fagin #education #using
Using Ada-based robotics to teach computer science (BSF), pp. 148–151.
AdaEuropeAdaEurope-2000-BliebergerBS #analysis #data flow #detection #source code
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.
AdaEuropeAdaEurope-2000-BriotBC #design #implementation #named
GtkAda: Design and Implementation of a High Level Binding in Ada (EB, JB, AC), pp. 112–124.
AdaEuropeAdaEurope-2000-CloshenH #implementation #programming #using
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.
AdaEuropeAdaEurope-2000-FlintD #api #compilation #java #using
Using JavaTM APIs with Native Ada Compilers (SF, BD), pp. 41–55.
AdaEuropeAdaEurope-2000-Kallberg #question
Is an Ada Lint Necessary? (BK), pp. 29–40.
AdaEuropeAdaEurope-2000-KienzleR #on the #persistent #reliability #streaming
On Persistent and Reliable Streaming in Ada (JK, ABR), pp. 82–95.
AdaEuropeAdaEurope-2000-LacommeCCN #uml
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.
AdaEuropeAdaEurope-2000-NonakaCU #development #self #source code
A Supporting Tool for Development of Self-Measurement Ada Programs (YN, JC, KU), pp. 69–81.
AdaEuropeAdaEurope-2000-Pflug #question
Ada after 10 Years of Usage — Is There a Commercial Future? (BP), p. 4.
AdaEuropeAdaEurope-2000-Schmitt #analysis #design #framework #implementation #object-oriented
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 (DS), pp. 196–210.
AdaEuropeAdaEurope-2000-Weiss #java #monitoring
Kingcat MCAS — Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java (RW), pp. 2–3.
AdaEuropeAdaEurope-2000-WellingsJSKWM #object-oriented #programming
Object-Oriented Programming and Protected Objects in Ada 95 (AJW, BJ, BS, JK, TW, SM), pp. 16–28.
ICSMEICSM-1999-ZhouB #source code #using
Extracting Objects of Ada Programs Using Module Features (YZ, BX), p. 23–?.
TOOLSTOOLS-ASIA-1999-GuangWJ #compilation #distributed #parallel
Parallel Objects in Distributed Ada95 Compiler and Running System — PDEFA (YG, DW, LJ), pp. 320–325.
TOOLSTOOLS-USA-1999-Brosgol
Ada and the Objects (BMB), p. 438.
AdaEuropeAdaEurope-1999-BliebergerBS #alias #evaluation #interprocedural #source code #symbolic computation
Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.
AdaEuropeAdaEurope-1999-BliebergerKK
Ada Binding to a Shared Object Layer (JB, JK, EK), pp. 263–274.
AdaEuropeAdaEurope-1999-BrunetonP #automation #concurrent #source code #verification
Automatic Verification of Concurrent Ada Programs (EB, JFPP), pp. 146–157.
AdaEuropeAdaEurope-1999-Canazzi #framework #runtime
yaRTI, an Ada 95 HLA Run-Time Infrastructure (DC), pp. 187–198.
AdaEuropeAdaEurope-1999-Frost #certification #embedded #safety
An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
AdaEuropeAdaEurope-1999-GarciaV #petri net
Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.
AdaEuropeAdaEurope-1999-GonzalezC #development #realtime #source code #specification
Environment for the Development and Specification of Real-Time Ada Programs (AG, AC), pp. 124–135.
AdaEuropeAdaEurope-1999-Kamrad
An Application (Layer 7) Routing Switch with Ada95 Software (JMKI), pp. 250–262.
AdaEuropeAdaEurope-1999-KamradS #implementation #runtime
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch (JMKI, BAS), pp. 26–38.
AdaEuropeAdaEurope-1999-Kordon
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines (FK), pp. 308–319.
AdaEuropeAdaEurope-1999-Korochkin #education
Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine (AK), pp. 181–186.
AdaEuropeAdaEurope-1999-Locke #architecture #realtime
An Architectual Perspective of Real-Time Ada Applications (CDL), pp. 1–11.
AdaEuropeAdaEurope-1999-LopezVV #design #embedded #hardware #using
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.
AdaEuropeAdaEurope-1999-LundqvistAM #formal method
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.
AdaEuropeAdaEurope-1999-MillanLM #adaptation #java #persistent #using
An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence (TM, ML, FM), pp. 320–331.
AdaEuropeAdaEurope-1999-MirandaGMG #empirical #how
How to Modify the GNAT Frontend tp Experiment with Ada Extensions (FJMG, FGS, JM, AG), pp. 226–237.
AdaEuropeAdaEurope-1999-Rosskopf #architecture #design #development
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches (AR), pp. 437–449.
AdaEuropeAdaEurope-1999-ShenCB #implementation #kernel #linux #multi
A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel (HS, AC, TPB), pp. 287–297.
AdaEuropeAdaEurope-1999-Strohmeier #design #object-oriented
Mapping Object-Oriented Designs to Ada (AS), pp. 76–90.
AdaEuropeAdaEurope-1999-Tuosto #coordination #implementation #network
An Ada95 Implementation of a Network Coordination Language with Code Mobility (ET), pp. 199–210.
AdaEuropeAdaEurope-1999-WolfS #distributed #fault tolerance #replication
Fault Tolerance by Transparent Replication for Distributed Ada 95 (TW, AS), pp. 412–424.
AdaSIGAda-1999-BallbastreTVC #case study #distributed #experience #realtime #using
Experiences using Ada in a real-time and distributed laboratory (PB, ST, JViC, AC), pp. 145–155.
AdaSIGAda-1999-BernsteinD #on the fly #optimisation
Optimizing Ada on the fly (SJB, RSD), pp. 169–179.
AdaSIGAda-1999-Botton
Interfacing Ada 95 to Microsoft COM and DCOM technologies (DB), pp. 9–14.
AdaSIGAda-1999-BuhlerF #corba #framework #independence #information management #java #platform
Applying Ada, Java and CORBA for making a command and control information system platform independent (GB, HF), pp. 83–88.
AdaSIGAda-1999-Doran #c #low level
Interfacing low-level C device drivers with Ada 95 (SD), pp. 133–143.
AdaSIGAda-1999-GedelaSX #concurrent #formal method #modelling
Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.
AdaSIGAda-1999-Gilchrist
Attitudes to Ada in the UK high-reliability software sector (plenary session) (IG), p. 221.
AdaSIGAda-1999-Gilchrist99a #overview
Attitudes to Ada — a market survey (IG), pp. 229–242.
AdaSIGAda-1999-James #distributed
Redistribution in distributed Ada (SJ), pp. 3–8.
AdaSIGAda-1999-Kermarrec #corba #perspective
CORBA vs. Ada 95 DSA: a programmer’s view (YK), pp. 39–46.
AdaSIGAda-1999-Lopes #overview #perspective #sql
Ada+SQL — an overview (AVL), pp. 157–162.
AdaSIGAda-1999-LortzT #abstract syntax tree #c++ #distributed #realtime
The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program (HAL, TAT), pp. 181–182.
AdaSIGAda-1999-Lowe #development #embedded #multi
Extending Ada to assist multiprocessor embedded development (TL), pp. 125–132.
AdaSIGAda-1999-LundqvistA #formal method
A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
AdaSIGAda-1999-McCormick #education #re-engineering #realtime
Ada, model railroading, and real-time software engineering education (JWM), pp. 111–112.
AdaSIGAda-1999-NeedhamDP #distributed #object-oriented #towards #using
Towards a distributed object-oriented propagation model using Ada95 (DMN, SAD, TJP), pp. 203–210.
AdaSIGAda-1999-Tonndorf #programming language #question
Ada conformity assessments: a model for other programming languages? (MT), pp. 89–99.
AdaSIGAda-1999-Wang #approach #re-engineering
Integrating a software engineering approach into an Ada closed laboratory (MW), pp. 163–168.
AdaSIGAda-1999-Wisniewski
Transitioning an ASIS application: version 1 to Ada95 2.0 (JRW), pp. 53–65.
DATEDATE-1999-NebelM #c #java #question #specification
Java, VHDL-AMS, ADA or C for System Level Specifications? (WN, EM), p. 720.
TOOLSTOOLS-ASIA-1998-WangZZ #automation #concurrent #generative
Automatically Generating Ada95 Codes for Concurrent Objects (ZW, HZ, LZ), p. 222–?.
TOOLSTOOLS-USA-1998-Brosgol
Ada and the Objects (BMB), p. 404.
AdaEuropeAdaEurope-1998-BliebergerB #analysis #source code
Symbolic Reaching Definitions Analysis of Ada Programs (JB, BB), pp. 238–250.
AdaEuropeAdaEurope-1998-Chapront #development #safety
Ada+B The Formula for Safety Critical Software Development (PC), pp. 13–18.
AdaEuropeAdaEurope-1998-EmeryMN #automation #how #process #question
Automating the Ada Binding Process for Java- How Far Can We Go? (DEE, RFM, KAN), pp. 29–40.
AdaEuropeAdaEurope-1998-EspinosaJCTG #component #programming #realtime
Programming Hard Real-Time Systems with Optional Components in Ada (AE, VJ, CC, AT, AGF), pp. 102–111.
AdaEuropeAdaEurope-1998-Frisberg
Ada in the JAS 39 Gripen Flight Control System (BF), pp. 288–296.
AdaEuropeAdaEurope-1998-Gonzalez-BarahonaQCB #approach #communication #composition
Building Modular Communication Systems in Ada: The Simple_Com Approach (JMGB, PdlHQ, JCG, FJB), pp. 225–237.
AdaEuropeAdaEurope-1998-HagenauerP #distributed #simulation
Ada 95 for a Distributed Simulation System (HH, WP), pp. 140–150.
AdaEuropeAdaEurope-1998-HarbourRGG #execution #implementation #realtime #using
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications (MGH, MAR, JJGG, JCPG), pp. 90–101.
AdaEuropeAdaEurope-1998-Patino-MartinezJA #fault tolerance #transaction
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.
AdaEuropeAdaEurope-1998-Saaltink #using
Guidance on the Use of Ada95 in High Integrity Systems (SM, MS), pp. 276–287.
AdaEuropeAdaEurope-1998-SchumacherN #how #inheritance
How to Avoid the Inheritance Anomaly in Ada (GS, WN), pp. 53–64.
AdaEuropeAdaEurope-1998-Stift #object-oriented #physics
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative (MJS), pp. 128–139.
AdaEuropeAdaEurope-1998-Tonndorf #case study #compilation #experience
Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.
AdaSIGAda-1998-AlbertiniB #communication
Ada in an On-Board Military Communication System (VDA, CJB), pp. 132–136.
AdaSIGAda-1998-Brosgol #comparison #concurrent #java
A Comparison of the Concurrency Features of Ada 95 and Java (BMB), pp. 175–192.
AdaSIGAda-1998-ChamillardLY #using
Using Ada in Non-CS Majors (ATC, RJL, RRY), pp. 61–67.
AdaSIGAda-1998-Duncan #data type #infinity #library #reuse
Reusable Ada Libraries Supporting Infinite Data Structures (AGD), pp. 89–103.
AdaSIGAda-1998-Flint #api #compilation #java #using
Using Java APIs with Native Ada Compilers (SF), pp. 193–203.
AdaSIGAda-1998-Frisberg
Usage of Ada in the Gripen Flight Control System (BF), pp. 140–141.
AdaSIGAda-1998-HendrixCBM #abstraction #incremental #refinement #visual notation
Visual Support for Incremental Abstraction and Refinement in Ada 95 (TDH, JHCI, LAB, KSM), pp. 152–157.
AdaSIGAda-1998-HoffmanNS #testing
Testing Generic Ada Packages with APE (DH, JN, PAS), pp. 255–262.
AdaSIGAda-1998-HopperBHH #simulation #using
Use of Ada in Digital Radar Landmass Simulation (DRLMS) (JH, JDB, HH, TH), pp. 137–139.
AdaSIGAda-1998-James #data flow #distributed #evolution #using
The Evolution of a Distributed dataflow Processing Model Using Ada (SJ), pp. 39–44.
AdaSIGAda-1998-JarcF #algorithm #animation #data type #empirical
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course (DJJ, MBF), pp. 68–74.
AdaSIGAda-1998-KaislerF #concurrent #design #object-oriented
Object-Oriented and Concurrent Program Design Issues in Ada 95 (SHK, MBF), pp. 246–254.
AdaSIGAda-1998-Kamrad #case study #experience
Ada experience report for BlazeNet, Inc. (JMKI), pp. 215–216.
AdaSIGAda-1998-LaskiSH #analysis #dependence #source code
Dependency Analysis of Ada Programs (JWL, WS, JH), pp. 263–275.
AdaSIGAda-1998-LeifL #embedded
Ada in Embedded Boards for Scientific and Medical Instruments (RCL, SBL), pp. 114–120.
AdaSIGAda-1998-LiBY
Transforming Ada Serving Tasks into Protected Objects (BL, BX, HY), pp. 240–245.
AdaSIGAda-1998-MillsP #analysis #co-evolution #design #hardware #migration
Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis (MM, GP), pp. 18–27.
AdaSIGAda-1998-MurtaghH #comparison #pascal
A Comparison of Ada and Pascal in an Introductory Computer Science Course (JLM, JAHJ), pp. 75–80.
AdaSIGAda-1998-PinhoV #architecture #fault tolerance #multi #named #realtime
Multi-μ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems (LMP, FV), pp. 52–60.
AdaSIGAda-1998-ReisnerLPS #algorithm #implementation #self
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95 (JAR, ZL, TJP, SAD), pp. 104–113.
AdaSIGAda-1998-Silberberg #process
Applying the Personal Software Process (PSP) with Ada (DS), pp. 219–228.
AdaSIGAda-1998-Wainwright #component
An Application Engineering Workbench for Tailoring Ada Flight Components (RHW), pp. 165–174.
AdaSIGAda-1998-WongL #design #hardware #kernel
Kernel Ada to Unify Hardware and Software Design (SW, GL), pp. 28–38.
AdaSIGAda-1998-WoodruffA #distributed #research #scalability #using
A Large Distributed Control System Using Ada in Fusion Research (JPW, PJVA), pp. 121–131.
ASEASE-1998-ReyesR #encapsulation #testing
Specification-based Testing of Ada Units with Low Encapsulation (AAR, DJR), pp. 22–31.
SACSAC-1998-Patino-MartinezJA #distributed #transaction
Synchronizing group transaction with rendezvous in a distributed Ada environment (MPM, RJP, SA), pp. 2–9.
AdaEuropeAdaEurope-1997-BakerO #c #implementation #interface #lessons learnt
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation (TPB, DIO), pp. 13–22.
AdaEuropeAdaEurope-1997-Bell #analysis #source code #tool support
An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.
AdaEuropeAdaEurope-1997-CelierST #consistency
Code-Data Consistency in Ada (VC, DMS, CJT), pp. 209–217.
AdaEuropeAdaEurope-1997-DobbingR #named #realtime #tool support
T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.
AdaEuropeAdaEurope-1997-Feldman #set
An Ada 95 Sort Race Construction Set (MBF), pp. 23–34.
AdaEuropeAdaEurope-1997-Franch #automation #implementation #non-functional #source code
Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection (XF), pp. 88–99.
AdaEuropeAdaEurope-1997-GuerraMAA #distributed #fault tolerance #library
An Ada Library to Program Fault-Tolerant Distributed Applications (FGS, FJMG, AA, SA), pp. 230–243.
AdaEuropeAdaEurope-1997-HarbourGG #implementation
Implementing Application-Level Sporadic Server Schedulers in Ada 95 (MGH, JJGG, JCPG), pp. 125–136.
AdaEuropeAdaEurope-1997-HolzmullerP #finite
Finite Unions for Ada 95 (BH, EP), pp. 1–12.
AdaEuropeAdaEurope-1997-JovanovicSA
Developing Scripting Capabilities for an Ada-Based Simulator (SSJ, DMS, PvA), pp. 56–63.
AdaEuropeAdaEurope-1997-Mueller #distributed
Supporting Ada 95 Passive Partitions in a Distributed Environment (FM), pp. 218–229.
AdaEuropeAdaEurope-1997-Ogren #architecture
Ada 95 as a Base to Architect Systems in O4STM (), pp. 76–87.
AdaEuropeAdaEurope-1997-Pichon #integration
CCO-Mars’96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project (PP), pp. 196–208.
AdaEuropeAdaEurope-1997-RomanovskyMW #on the #programming
On Programming Atomic Actions in Ada 95 (ABR, SEM, AJW), pp. 254–265.
AdaEuropeAdaEurope-1997-Waterman #testing
Techniques for Testing Ada 95 (SRW), pp. 278–291.
AdaEuropeAdaEurope-1997-WegenerF #source code
Systematic Unit-Testing of Ada Programs (JW, IF), pp. 64–75.
AdaEuropeAdaEurope-1997-WellingsBP #termination
Task Termination in Ada 95 (AJW, AB, OP), pp. 149–160.
AdaEuropeAdaEurope-1997-Yeung #semantics #tool support
Semantics-Based Support Tools for High Integrity Ada Software (WLY), pp. 100–111.
AdaTRI-Ada-1997-Balfour #distributed #java
Combining Ada 95, Java Byte Code, and the Distributed Systems Annex (BB), pp. 247–260.
AdaTRI-Ada-1997-BattagliaBB #named #reuse
ReUSE/Ada: A Tool to Promote Code Reuse (DB, AB, JB), pp. 113–116.
AdaTRI-Ada-1997-Brosgol #comparison #java #object-oriented
A Comparison of the Object-Oriented Features of Ada 95 and Java (BMB), pp. 213–229.
AdaTRI-Ada-1997-BrukardtM
CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows (RB, TM), pp. 91–104.
AdaTRI-Ada-1997-Celier
Managing Usage of Dynamic Structures with Ada Controlled Objects (VC), pp. 165–170.
AdaTRI-Ada-1997-ChamillardH
Transitioning to Ada in an Introductory Course for Non-Majors (ATC, WCHJ), pp. 37–40.
AdaTRI-Ada-1997-Cheng #concurrent #dependence
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications (JC), pp. 67–78.
AdaTRI-Ada-1997-Gonzalez-BarahonaCQBL #education #network #programming
Teaching Network Programming with Ada and Lower_Layer (JMGB, JCG, PdlHQ, FJBC, LLF), pp. 105–110.
AdaTRI-Ada-1997-HendrixCBM #complexity #visualisation
Visualization of Control Structure and Complexity in Ada 95 (TDH, JHCI, LAB, KSM), pp. 135–139.
AdaTRI-Ada-1997-Kienzle #network
Network Applications in Ada 95 (JK), pp. 3–9.
AdaTRI-Ada-1997-Lawlis #question
Is the Answer Always Ada? (PKL), pp. 297–302.
AdaTRI-Ada-1997-Needham #modelling
An Ada95 Basis for Propagation Modeling (DMN, SAD, TJP), pp. 263–272.
AdaTRI-Ada-1997-PriceDN #framework #metric #reuse #usability
A Reusability Measurement Framework and Tool for Ada 95 (MWP, SAD, DMN), pp. 125–132.
AdaTRI-Ada-1997-SuchanS #education #problem #using
Using Ada 95 as a Tool to Teach Problem Solving to Non-CS Majors (WKS, TLS), pp. 31–36.
AdaTRI-Ada-1997-Tucker #debugging
Debugging Highly-Optimized Ada with Code Motion (DHACM) (KT), pp. 197–203.
AdaTRI-Ada-1997-White #performance #programming
Performance Issues of Scientific Programming in Ada 95 (JBWI), pp. 279–294.
WPCWPC-1996-BailesBCJ
Derivation and Presentation of an Abstract Program Space for Ada (PAB, PB, MC, DBJ), p. 230–?.
AdaEuropeAdaEurope-1996-BliebergerLB #realtime
Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.
AdaEuropeAdaEurope-1996-Bondeli #object-oriented #programming
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming (PdB), pp. 370–384.
AdaEuropeAdaEurope-1996-Bremmon #case study #experience #information management #legacy #object-oriented
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95 (CB), pp. 427–438.
AdaEuropeAdaEurope-1996-Brosgol
The Dining Philosophers in Ada 95 (BMB), pp. 247–261.
AdaEuropeAdaEurope-1996-BurnsW #concurrent #effectiveness #programming language
Ada 95: An Effective Concurrent Programming Language (AB, AJW), pp. 58–77.
AdaEuropeAdaEurope-1996-Celier #interface #migration #scalability
Visibility Control and Migration of Interfaces in Large Ada Systems (VC), pp. 451–459.
AdaEuropeAdaEurope-1996-ChengU #detection #source code
Tasking Deadlocks in Ada 95 Programs and Their Detection (JC, KU), pp. 135–146.
AdaEuropeAdaEurope-1996-CraigenSM #approach
Ada 95 and Critical Systems: An Analytical Approach (DC, MS, SM), pp. 171–182.
AdaEuropeAdaEurope-1996-FeithT #realtime #scalability
Planning the Transition to Ada 95 for a Large Real-Time Project (RF, MT), pp. 500–511.
AdaEuropeAdaEurope-1996-Gliss #fortran #legacy
An Ada 95 Harness for Converting Legacy Fortran Applications (BG), pp. 413–426.
AdaEuropeAdaEurope-1996-Holzmuller
Extending the Object-Orientedness of Ada 95 (BH), pp. 357–369.
AdaEuropeAdaEurope-1996-KienzleWS #communication #distributed
Secure Communication in Distributed Ada (JK, TW, AS), pp. 198–210.
AdaEuropeAdaEurope-1996-KimB #approach #component #reuse #usability
An Approach to Increasing Software Component Reusability in Ada (HK, CB), pp. 89–100.
AdaEuropeAdaEurope-1996-KruchtenT #development #scalability #source code
Iterative Software Development for Large Ada Programs (PK, CJT), pp. 101–110.
AdaEuropeAdaEurope-1996-LundqvistW #object-oriented #using
Using Object-Oriented Methods in Ada 95 to Implement Linda (KL, GW), pp. 211–222.
AdaEuropeAdaEurope-1996-Madhav #architecture #consistency #source code #testing
Testing Ada 95 Programs for Conformance to Rapide Architectures (NM), pp. 123–134.
AdaEuropeAdaEurope-1996-MillanB #performance #persistent
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 (TM, PB), pp. 396–412.
AdaEuropeAdaEurope-1996-MirandaAAG #distributed #fault tolerance #named
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications (FJMG, AA, SA, FGS), pp. 235–246.
AdaEuropeAdaEurope-1996-Molenmaker
Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.
AdaEuropeAdaEurope-1996-OhBM #implementation
The GNARL Implementation of POSIX/Ada Signal Services (DIO, TPB, SJM), pp. 275–286.
AdaEuropeAdaEurope-1996-OudshoornC #persistent
Beyond Ada 95: The Addition of Persistence and Its Consequences (MO, SC), pp. 342–356.
AdaEuropeAdaEurope-1996-PuenteAA #design #library
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries (JAdlP, AA, AA), pp. 78–88.
AdaEuropeAdaEurope-1996-RealEC #prototype #realtime #using
Using Ada 95 for Prototyping Real-Time Systems (JR, AE, AC), pp. 262–274.
AdaEuropeAdaEurope-1996-Rosskopf #assessment #safety #static analysis #using
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment (AR), pp. 183–197.
AdaEuropeAdaEurope-1996-Smart #development #distributed
A Decade of Development and Development of Distributed Ada Systems (JDS), pp. 485–499.
AdaEuropeAdaEurope-1996-SotirovskiK
Handling Irregular Grammars in Ada (DMS, PK), pp. 312–318.
AdaEuropeAdaEurope-1996-Taft #internet #programming
Programming the Internet in Ada 95 (STT), pp. 1–16.
AdaEuropeAdaEurope-1996-Waroquiers #exclamation #memory management
Ada Tasking and Dynamic Memory: To Use or Not To Use, That’s a Question! (PW), pp. 460–470.
AdaTRI-Ada-1996-BailesBCS #towards
Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion (PAB, PB, MC, EJS), pp. 193–204.
AdaTRI-Ada-1996-BariGRZ #design #information management #object-oriented
Active Information Systems, From Object-Oriented Design to Ada 95 (MB, PG, CR, KZ), pp. 115–124.
AdaTRI-Ada-1996-Beidler #reuse
REUSE/Ada (JB), pp. 211–217.
AdaTRI-Ada-1996-BeugnardCK #corba #implementation #named #realtime
COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation (AB, ZC, YK), pp. 255–268.
AdaTRI-Ada-1996-CrossBHT #diagrams
Control Structure Diagrams for Ada 95 (JHCI, LAB, TDH, JCT), pp. 143–147.
AdaTRI-Ada-1996-DwyerCR #concurrent #independence
An Application-Independent Concurrency Skeleton in Ada 95 (MBD, MJC, ER), pp. 179–192.
AdaTRI-Ada-1996-HagenauerP #parallel #prototype #simulation
Prototyping a Parallel Discrete Event Simulation System in Ada (HH, WP), pp. 11–22.
AdaTRI-Ada-1996-HamiltonC #education
Ada Training and Education in the US Army and US Air Force (JAHJ, DAC), pp. 151–155.
AdaTRI-Ada-1996-KermarrecNP #distributed #fault tolerance
Providing Fault-Tolerant Services to Distributed Ada 95 Applications (YK, LN, LP), pp. 39–47.
AdaTRI-Ada-1996-KermarrecNP96a #distributed #named
GNATDIST: A Configuration Language for Distributed Ada 95 Applications (YK, LN, LP), pp. 63–72.
AdaTRI-Ada-1996-Moody #architecture #case study #experience #migration #reuse
Migrating Well Engineered Ada 83 Applications into Newer Architecture and Reuse Based Ada 95 Systems: Experiences from Boeing’s Reuse Initiative Project (SAM), pp. 219–229.
AdaTRI-Ada-1996-NebeshF #component #html #learning #using
Learning to Use Ada 95 Components Using HTML Linking (BN, MBF), pp. 207–210.
AdaTRI-Ada-1996-NeedhamDGPZME #design #eiffel #independence #inheritance #modelling #named #object-oriented
ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel (DMN, SAD, KEG, TJP, PZ, MM, HJCE), pp. 99–113.
AdaTRI-Ada-1996-ParrishCLM #assessment #learning #process #re-engineering
Active Learning and Process Assessment: Two Experiments in an Ada-Based Software Engineering Course (ASP, DC, CL, DM), pp. 157–161.
AdaTRI-Ada-1996-Pettit #design #distributed #realtime #using
Using Ada 95 for the Design of Distributed Real-Time Systems (RGPI), pp. 49–55.
AdaTRI-Ada-1996-Riley #comparison #corba #development #distributed
A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA (JDR), pp. 73–80.
AdaTRI-Ada-1996-RybinS #difference
Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
AdaTRI-Ada-1996-Westley #development #independence #named #platform #tool support #user interface #visual notation
TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada (TJW), pp. 165–178.
AdaTRI-Ada-1996-YueDL #protocol
Priority Ceiling Protocol in Ada (KbY, SD, TL), pp. 3–9.
AdaTRI-Ada-1996-YuEM #object-oriented #reuse #specification
Object Oriented Formal Specifications to Support Ada 95 Reuse (HY, ACE, JM), pp. 125–131.
AdaEuropeAdaEurope-1995-AlapideCCQ
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application (AA, SC, MC, SQ), pp. 331–343.
AdaEuropeAdaEurope-1995-BailesBCS
KBSE and Ada — Object and Enabling Technology (PAB, PB, MC, EJS), pp. 152–163.
AdaEuropeAdaEurope-1995-Barbey #object-oriented #source code #testing
Testing Ada 95 Object-Oriented Programs (SB), pp. 406–418.
AdaEuropeAdaEurope-1995-BattiniMM #evaluation
Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC) (FB, PLM, MM), pp. 379–388.
AdaEuropeAdaEurope-1995-BirusKKRT #realtime
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems (TB, PK, EK, JR, JLT), pp. 164–169.
AdaEuropeAdaEurope-1995-Bjornfot #automaton
Ada and Timed Automata (LB), pp. 389–405.
AdaEuropeAdaEurope-1995-Bossard #assessment #design #modelling #realtime
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada (FB), pp. 355–364.
AdaEuropeAdaEurope-1995-Brown #safety
The Practical Application of Safety Techniques on an Ada Based Project (RB), pp. 51–57.
AdaEuropeAdaEurope-1995-Bundgaard #compilation
An ANDF Based Ada 95 Compiler System (JB), pp. 81–98.
AdaEuropeAdaEurope-1995-ChoukairK #approach #corba #distributed #object-oriented #programming
Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach (ZC, YK), pp. 217–227.
AdaEuropeAdaEurope-1995-DavidPCC #fault tolerance #realtime
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems (PD, TP, AC, JFC), pp. 21–50.
AdaEuropeAdaEurope-1995-DaviesR #using
The Use of Ada for the ENVISAT-1 Simulator (BD, DAR), pp. 170–177.
AdaEuropeAdaEurope-1995-Gabai #french #library #named #validation
LAMPBADA: Logiciel d’Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool) (DDG), pp. 444–455.
AdaEuropeAdaEurope-1995-GargaroKPT #named
PARIS — Partitioned Ada for Remotely Invoked Services (AG, YK, LP, ST), pp. 191–205.
AdaEuropeAdaEurope-1995-Heitz #automation #c++ #code generation #reliability #reuse #using
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.
AdaEuropeAdaEurope-1995-Kaufeler #assessment #named
Ada: A Sceptical Assessment (JFK), pp. 1–3.
AdaEuropeAdaEurope-1995-Kempe #classification #data type #semistructured data
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95 (MK), pp. 71–80.
AdaEuropeAdaEurope-1995-KermarrecP #distributed #programming
Programming Distributed Systems with Both Ada 95 and PVM (YK, LP), pp. 206–216.
AdaEuropeAdaEurope-1995-Laurens
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S (AL), pp. 124–138.
AdaEuropeAdaEurope-1995-Mangold #approach #named #question
Ada95 — An Approach to Overcome the Software Crisis? (KM), pp. 4–10.
AdaEuropeAdaEurope-1995-Matthewman #empirical #named
ECLIPS — A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada (AM), pp. 311–330.
AdaEuropeAdaEurope-1995-Richard-Foy #safety
Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.
AdaEuropeAdaEurope-1995-RognesS #performance
Performance Tuning of a Check-Out System Coded in Ada (BR, PIS), pp. 99–110.
AdaEuropeAdaEurope-1995-SchneeweissAV #analysis #modelling #object-oriented
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95 (HS, VA, OV), pp. 249–270.
AdaEuropeAdaEurope-1995-TaurisanoW
Ada in Mixed Language Applications (GT, IW), pp. 58–70.
AdaTRI-Ada-1995-BalfourG #paradigm #using
Patterns and paradigms for using Ada 95 (BB, MG), pp. 243–310.
AdaTRI-Ada-1995-BarbeyKS #object-oriented #programming
Advanced Object-Oriented Features and Programming in Ada 95 (SB, MK, AS), pp. 359–489.
AdaTRI-Ada-1995-Bardin #concurrent #implementation #source code
Implementing Concurrent Programs in Ada 95 (BMB), pp. 557–654.
AdaTRI-Ada-1995-Duncan #approach #re-engineering
Conversion to Ada and Ada 95: A Software Re-engineering Approach (AGD), pp. 121–171.
AdaTRI-Ada-1995-FeldmanB #education #programming
Teaching Object Programming with Ada 95 (MBF, JB), pp. 655–685.
AdaTRI-Ada-1995-JohnsD
Intelligent Systems and Ada 95 (JJ, JLDH), pp. 311–357.
AdaTRI-Ada-1995-Shumate #approach #design #specification
Software Specification and Design with Ada: A Disciplined Approach (KS), pp. 118–119.
AdaTRI-Ada-1995-Weller #component
The GNU Ada 95 Booch Components (DW), pp. 173–223.
CSEETCSEE-1994-KermarrecP #component #distributed #education #reuse
Ada Reusable Software Components for Teaching Distributed Systems (YK, LP), pp. 77–96.
TOOLSTOOLS-EUROPE-1994-Strohmeier
Ada 9X (AS), p. 511.
AdaEuropeAdaEurope-1994-Anderson
Opening Address: Ada 9X (CA), pp. 1–10.
AdaEuropeAdaEurope-1994-BarbeyB #data type #specification #testing #using
Testing Ada Abstract Data Types Using Formal Specifications (SB, DB), pp. 76–89.
AdaEuropeAdaEurope-1994-Bondeli #communication #reuse
A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X (PdB), pp. 355–386.
AdaEuropeAdaEurope-1994-DissauxFLM #approach
A New Approach for HOOD/Ada Mapping (PD, PF, PL, PM), pp. 147–154.
AdaEuropeAdaEurope-1994-Doeuff #automation #generative #source code
Automatic Generation of Ada Source Code for the Rafale Mission Computer (HLD), pp. 333–348.
AdaEuropeAdaEurope-1994-Gale #development #recommendation
Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment (LPG), pp. 175–203.
AdaEuropeAdaEurope-1994-GerlichW #source code
Tuning Ada Programs in Advance (RG, UW), pp. 440–464.
AdaEuropeAdaEurope-1994-Gray #how #question
How Should Military Ada Software be Documented? (LG), pp. 162–169.
AdaEuropeAdaEurope-1994-HutcheonJMPWJ #tool support
Tool Support for High Integrity Ada Software (ADH, DTJ, JAM, RHP, ICW, BJJ), pp. 63–75.
AdaEuropeAdaEurope-1994-JovanovicSS #evolution
Interfacing Computer Communications from Ada in a Diverse and Evolving Environment (SSJ, LS, DMS), pp. 387–396.
AdaEuropeAdaEurope-1994-KayloeL #architecture #c++
Merging Ada 9X and C++ in a Graphics System Software Architecture (JRK, PKL), pp. 33–42.
AdaEuropeAdaEurope-1994-Kettani #how #realtime
How to Avoid and Control Proliferation of New Ada Real Time Extensions (NK), pp. 349–354.
AdaEuropeAdaEurope-1994-Moller #runtime
Run-Time Check Elimination for Ada 9X (PLM), pp. 11–23.
AdaEuropeAdaEurope-1994-ObermayerSSKKL #analysis #realtime
Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis (PEO, JS, GS, AK, PK, RL), pp. 483–488.
AdaEuropeAdaEurope-1994-Ogren
Extended Application of Ada to Cover ECBS with O4S (), pp. 215–230.
AdaEuropeAdaEurope-1994-PitetteCGS #named #realtime
Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems (GMP, JYC, DG, JMS), pp. 406–420.
AdaEuropeAdaEurope-1994-RogersP #distributed #fault tolerance
The AECSS Fault Tolerant Distributed Ada Testbed and Application (PR, MP), pp. 43–59.
AdaEuropeAdaEurope-1994-Rymer #education #evolution
Evolving an Ada Curriculum to 9X (JRR), pp. 170–174.
AdaEuropeAdaEurope-1994-SevestreB #generative #multi #operating system #thread
Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model (JS, JB), pp. 24–32.
AdaEuropeAdaEurope-1994-SilbergR #certification #runtime
FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
AdaEuropeAdaEurope-1994-Tokar
Handling Interrupts in Ada 9X (JLT), pp. 433–439.
AdaEuropeAdaEurope-1994-WiggersO
Ada Controls the European Robotic Arm (JJMW, MJAO), pp. 322–332.
AdaTRI-Ada-1994-Aldrich #architecture
Secured Systems and Ada: A Trusted System Software Architecture (MA), pp. 282–292.
AdaTRI-Ada-1994-BarbaschE #debugging
Always One More Bug: Applying AdaWise to Improve Ada Code (CB, DE), pp. 228–235.
AdaTRI-Ada-1994-Barbey
Working with Ada 9X Classes (SB), pp. 129–140.
AdaTRI-Ada-1994-BodilyEW #implementation
Implementing OSA Model Instances in Ada (SB, DWE, SNW), pp. 331–342.
AdaTRI-Ada-1994-BrelandRBN #distributed #fault tolerance
Transparent Fault Tolerance for Distributed Ada Applications (MAB, SAR, GPB, KLN), pp. 446–457.
AdaTRI-Ada-1994-Cherry #formal method #paradigm #re-engineering #visualisation
Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm (GWC), pp. 309–320.
AdaTRI-Ada-1994-ComarP #implementation
Ada 9X Tagged Types and Their Implementation in GNAT (CC, BP), pp. 71–81.
AdaTRI-Ada-1994-CrawleyO #orthogonal #persistent
Orthogonal Persistence and Ada (SC, MO), pp. 298–308.
AdaTRI-Ada-1994-Duncan #implementation
Implementing Internal Program Representations with Ada and Ada 9X (AGD), pp. 154–163.
AdaTRI-Ada-1994-GieringMB #library #runtime
Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.
AdaTRI-Ada-1994-GuemhiouiDPE #code generation #design #object-oriented #profiling
Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation (KEG, SAD, TJP, HJCE), pp. 180–190.
AdaTRI-Ada-1994-KayloeL #architecture #named #using
Easy-Sim: Using Ada 9X in a Graphics System Software Architecture (JRK, PKL), pp. 164–169.
AdaTRI-Ada-1994-Kempe #data type
Abstract Data Types are Under Full Control with Ada 9X (MK), pp. 141–152.
AdaTRI-Ada-1994-KermarrecP #distributed #named #paradigm #programming
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications (YK, LP), pp. 438–445.
AdaTRI-Ada-1994-KruchtenT #architecture #distributed #object-oriented #scalability
An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems (PK, CJT), pp. 262–271.
AdaTRI-Ada-1994-LuksL #education
Educating Educators: Lessons in Adding Ada to a Small School Curriculum (SL, SPL), pp. 203–208.
AdaTRI-Ada-1994-Moller #runtime
Run-Time Check Elimination for Ada 9X (PLM), pp. 122–128.
AdaTRI-Ada-1994-Ogren
Extended Application of Ada to Cover ECBS with O4S: ECBS = Engineering of Computer Based Systems; O4S = Objects for Systems (), pp. 322–330.
AdaTRI-Ada-1994-Oliver #concurrent #design #implementation #object-oriented #realtime
Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada (SRO), pp. 343–349.
AdaTRI-Ada-1994-RybinK #programming language
Ada-Based Programming Language Course in Moscow State University (SR, VSK), pp. 194–202.
AdaTRI-Ada-1994-Sartore #database #realtime #scalability
Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition (RGS), pp. 406–416.
AdaTRI-Ada-1994-Thornley #data flow #parallel #programming
Integrating Parallel Dataflow Programming with the Ada Tasking Model (JT), pp. 417–428.
AdaTRI-Ada-1994-WelkerS #approach #re-engineering
Software Reengineering in Ada: A Practical Approach (KDW, MWS), pp. 248–254.
ICSEICSE-1994-Vardanega #development #embedded #experience #realtime
Experience with the Development of Hard Real-Time Embedded Ada Software (TV), pp. 301–308.
ISSTAISSTA-1994-Corbett #analysis #concurrent #empirical #evaluation #source code
An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs (JCC), pp. 204–215.
WCREWCRE-1993-Cross #diagrams #named #reverse engineering
GRASP/Ada: Reverse Engineering of Control Structure Diagrams (JHCI), pp. 107–116.
SEKESEKE-1993-CanforaCCS #animation #interactive #reverse engineering #source code
Reverse Engineering and Interactive Animation of Ada Programs (GC, AC, UdC, LS), pp. 507–516.
OOPSLAOOPSLA-1993-Taft #object-oriented
Ada 9X: From Abstraction-Oriented to Object-Oriented (STT), pp. 127–136.
TOOLSTOOLS-PACIFIC-1993-Grant #object-oriented #paradigm #re-engineering #using
Software Engineering Using the Object-Oriented Paradigm: The Promise of Ada 9X (DDG), p. 329.
AdaEuropeAdaEurope-1993-BjornfotALW #distributed #protocol #runtime
Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.
AdaEuropeAdaEurope-1993-Brosgol #information management
Information Systems Support in Ada 9X (BMB), pp. 36–53.
AdaEuropeAdaEurope-1993-BrygierR #certification #realtime #safety
Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.
AdaEuropeAdaEurope-1993-BundyM #exception #scalability
Error-Prone Exception Handling in Large Ada Systems (GNB, DEM), pp. 153–170.
AdaEuropeAdaEurope-1993-BurnsWH #modelling #performance #runtime #scheduling
The Impact of an Ada Run-Time System’s Performance Characteristics on Scheduling Models (AB, AJW, ADH), pp. 240–248.
AdaEuropeAdaEurope-1993-CherniackDF #source code
Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part (JRC, HSD, JFF), pp. 180–196.
AdaEuropeAdaEurope-1993-Jorgensen #c++ #comparison #object-oriented
A Comparison of the Object-Oriented Features of Ada 9X and C++ (JJI), pp. 125–141.
AdaEuropeAdaEurope-1993-KamradH #case study #realtime
Applying Ada 9X to Two Real-Time Applications: A Case Study (JMKI, JH), pp. 79–94.
AdaEuropeAdaEurope-1993-KettaniC #realtime #standard #towards
Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 (NK, VC), pp. 330–351.
AdaEuropeAdaEurope-1993-Lebib
The Impact of Ada on MIS Applications (RL), pp. 54–63.
AdaEuropeAdaEurope-1993-Lundberg #evaluation #parallel #performance #source code #using
Performance Evaluation of Parallel Ada Programs Using an Experimental Multiprocessor (LL), pp. 280–297.
AdaEuropeAdaEurope-1993-Mathis #standard
Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.
AdaEuropeAdaEurope-1993-Pidault #development
Graphics Development in Ada (HP), pp. 13–18.
AdaEuropeAdaEurope-1993-ThyseliusSS #simulation #tool support
Adam, an Ada Simulation Toolkit (RT, MS, BS), pp. 298–313.
AdaEuropeAdaEurope-1993-Tonndorf #compilation #performance #validation
An Efficient Compiler Validation Method for Ada 9X (MT), pp. 95–107.
AdaEuropeAdaEurope-1993-WallABL #performance #source code
Performance Expectations on Ada Programs (GW, LA, LB, KL), pp. 227–239.
AdaTRI-Ada-1993-AtkinsonW #inheritance
Integrating Inheritance and Synchronization in Ada9X (CA, DW), pp. 229–241.
AdaTRI-Ada-1993-Brennan #exception
Observations on Program-Wide Ada Exception Propagation (PTB), pp. 189–195.
AdaTRI-Ada-1993-Brett #compilation #implementation #what
Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System (BRB), pp. 277–287.
AdaTRI-Ada-1993-Byrnes #migration
Porting Applications Between Two Commercial Ada/Motif Bindings (CB), pp. 37–49.
AdaTRI-Ada-1993-Cernosek #modelling #named #representation
ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation (GJC), pp. 385–406.
AdaTRI-Ada-1993-DownsDMTT #using
Using X with the ADA Mind-Set (MD, JD, KM, LT, CT), pp. 20–28.
AdaTRI-Ada-1993-FergusonW #framework #independence #platform #syntax
Platform Independent Translations for a Compilable Ada Abstract Syntax (WDF, JKW), pp. 312–322.
AdaTRI-Ada-1993-FilareyRRSD #framework #platform
Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades (ARF, WER, RR, PS, LDM), pp. 90–101.
AdaTRI-Ada-1993-Frankel #automation #perspective
Ada 9X and CASE: A Methods Perspective (MIF), pp. 200–210.
AdaTRI-Ada-1993-GieringMB #design #implementation #thread #using
Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.
AdaTRI-Ada-1993-GrossmanKE #approach #automation #programming
Automating the Ada Programming Rrocess: A Domain-Specific Approach (FG, RJK, CBEJ), pp. 302–311.
AdaTRI-Ada-1993-GuemhiouiDP #automation #code generation #design #education #object-oriented
Object-Oriented Design and Automatic Ada Code Generation in the Education of Software Engineers (KEG, SAD, TJP), pp. 126–136.
AdaTRI-Ada-1993-KermarrecP #distributed #memory management
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications (YK, LP), pp. 242–251.
AdaTRI-Ada-1993-LeifSBKLD #development
The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer (RCL, JS, IB, MK, SBL, TD), pp. 340–346.
AdaTRI-Ada-1993-LopesFH #education #empirical
A Controlled Experiment with Software for Teaching Ada Tasking (AVL, MBF, RSH), pp. 116–125.
AdaTRI-Ada-1993-MathiasR
Ada/X Window System Bindings: Conversion Strategies (KSM, MAR), pp. 29–36.
AdaTRI-Ada-1993-Nickerson #design #representation #using #visual notation
Visual Conventions for System Design Using Ada 9X: Representing Asynchronous Transfer of Control (JVN), pp. 379–384.
AdaTRI-Ada-1993-RogersOPL #distributed #fault tolerance
Demonstrable Fault Tolerance for Distributed Ada (PR, SO, MP, KL), pp. 180–188.
AdaTRI-Ada-1993-Tonndorf #compilation
An Integrated Tool Environment for Ada Compiler Validations (MT), pp. 268–276.
AdaTRI-Ada-1993-TurnerH #abstraction #generative #verification
Ada Abstraction, Generation, Verification (JAT, TLH), pp. 323–329.
AdaTRI-Ada-1993-White #interface #semantics #specification #using
A Universal Delogger Using the Ada Semantic Interface Specification (ASIS) (MW), pp. 347–353.
ISSTAISSTA-1993-DuriBDS #analysis #concurrent #reduction #using
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.
TOOLSTOOLS-USA-1992-Baker #object-oriented #programming
Object-Oriented Programming in Ada83 and Ada9X (HB), p. 262.
AdaEuropeAdaEurope-1992-AndersonS #development #object-oriented
Managing Ada Object-Oriented Development (JAA, JDS), pp. 20–34.
AdaEuropeAdaEurope-1992-BayassiBJL #distributed #paradigm #using
A Practical Use of the Ada Rendez-Vous Paradigm in Distributed Systems (MB, HB, JFJ, PL), pp. 312–324.
AdaEuropeAdaEurope-1992-BazalgetteBBFRS #named
STRAda — An Ada Transformation and Distribution System (GB, DB, CB, MF, JMR, AS), pp. 287–299.
AdaEuropeAdaEurope-1992-BrosgolEE
Decimal Arithmetic in Ada (BMB, RIE, DEE), pp. 138–149.
AdaEuropeAdaEurope-1992-Cheng #concurrent #dependence #representation #source code
Task Dependence Net as a Representation for Concurrent Ada Programs (JC), pp. 150–164.
AdaEuropeAdaEurope-1992-Do #challenge #compilation #integration #platform #reuse
Compilation Integration: A Solution for the Challenge of Developing and Reusing Ada Software on Different Platforms (TND), pp. 230–241.
AdaEuropeAdaEurope-1992-DuellSW #code generation #scalability #source code #using
Using Ada Source Code Generators in a Large Project (RD, HJS, FCAdW), pp. 47–59.
AdaEuropeAdaEurope-1992-Groeneveld #using
Using Ada in Integrating ATC Systems (MG), pp. 72–79.
AdaEuropeAdaEurope-1992-Hummel #parallel
A Highly Parallel Ada Task Scheduler (SFH), pp. 275–286.
AdaEuropeAdaEurope-1992-LanderM #detection #multi #problem #realtime
Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications (LCL, SM), pp. 165–181.
AdaEuropeAdaEurope-1992-LooneyO #distributed #using
Distributed Application Designed Using MASCOT and Implemented in Ada (MJL, AO), pp. 1–8.
AdaEuropeAdaEurope-1992-Lundberg #parallel #predict #source code
Predicting the Speedup of Parallel Ada Programs (LL), pp. 257–274.
AdaEuropeAdaEurope-1992-Mangold #multi #named #set
AMPATS — A Multi Processor Ada Tool Set (KM), pp. 300–311.
AdaEuropeAdaEurope-1992-Maymir-Ducharme #embedded #migration #realtime
Porting Embedded Real-Time Ada Software (FAMD), pp. 92–103.
AdaEuropeAdaEurope-1992-OttensT #simulation #specification
Simulation of Mosca Specifications in Ada (AO, HT), pp. 182–196.
AdaEuropeAdaEurope-1992-PuenteZAF #realtime #reuse
Reusable Executives for Hard Real-Time Systems in Ada (JAdlP, JZ, AA, JLF), pp. 104–115.
AdaEuropeAdaEurope-1992-Raines #realtime
Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
AdaEuropeAdaEurope-1992-Stilberg #validation
Considerations with Regard to Validation of Ada Debuggers (SS), pp. 197–213.
AdaEuropeAdaEurope-1992-ThomasDB #evaluation #reuse #source code
An Evaluation of Ada Source Code Reuse (WMT, AD, VRB), pp. 80–91.
AdaEuropeAdaEurope-1992-Wearing #metric #re-engineering
Software Engineering, Ada and Metrics (AW), pp. 35–46.
AdaTRI-Ada-C-1992-Acosta #concurrent #prototype #source code #specification
Specification Prototyping of Concurrent Ada Programs in DProto (RDA), pp. 258–266.
AdaTRI-Ada-C-1992-Anderson
Ada 9X for Managers (CMA), pp. 31–35.
AdaTRI-Ada-C-1992-BailesJSW #declarative #functional #programming
Full Functional Programming in a Declarative Ada Dialect (PAB, DBJ, EJS, LW), pp. 350–358.
AdaTRI-Ada-C-1992-BannerS #component #library #object-oriented #reuse
Assessing Ada 9X OOP: Building a Reusable Components Library (BB, ES), pp. 79–90.
AdaTRI-Ada-C-1992-BerryS #case study #experience #re-engineering #requirements #scalability
Estimating Requirements for a Large Software Engineering Project: Experiences with Ada COCOMO on SIDPERS-3 (RHB, RMS), pp. 375–383.
AdaTRI-Ada-C-1992-Blair #configuration management #library #using #version control
Managing Ada Using Rational’s Configuration Management/Version Control and IBM’s Software Configuration Library Manager (DJB), pp. 424–431.
AdaTRI-Ada-C-1992-BlakeB #case study #experience #interface #perspective #semantics #specification
Experiences with The Ada Semantic Interface Specification (ASIS): Developing a Tool with a View (SJB, JBB), pp. 458–468.
AdaTRI-Ada-C-1992-Brosgol #information management
Ada 9X and Information Systems (BMB), pp. 97–99.
AdaTRI-Ada-C-1992-BurgerBVTSB #distributed #source code
A Practical Tool for Distributing Ada Programs: TeleSoft’s Distributed Ada Configuration Tool (TB, JBB, RAV, RT, GS, KHB), pp. 484–492.
AdaTRI-Ada-C-1992-Cherry #behaviour
Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior (GWC), pp. 321–332.
AdaTRI-Ada-C-1992-CramerD #fault tolerance #using
The Use of Ada to Achieve Fault Tolerance in AAS (RSC, JDD), pp. 545–552.
AdaTRI-Ada-C-1992-Crespi-ReghizziMP #behaviour #concept #experience #implementation #inheritance
Behavioral Inheritance: Concepts, Ada Implementation and Experience (SCR, MDM, SP), pp. 200–210.
AdaTRI-Ada-C-1992-DismukesR #implementation
Implementing Tagged Types and Type Extensions for Ada 9X (GD, MAR), pp. 68–78.
AdaTRI-Ada-C-1992-Fussichen #cics #exclamation
Ada and CICS: or (yes! Ada can be done on an IBM Mainframe) (KF), pp. 415–422.
AdaTRI-Ada-C-1992-Gargaro #distributed #towards
Towards Distributed Systems in Ada 9X (AG), pp. 49–54.
AdaTRI-Ada-C-1992-Gerhardt #how
How “Outsiders” see Ada and its Future (MG), pp. 361–363.
AdaTRI-Ada-C-1992-GieringB #thread #using
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.
AdaTRI-Ada-C-1992-GoldsackHVW #adaptation
AdaPT and Ada 9X (SJG, AAHV, RAV, RW), pp. 493–503.
AdaTRI-Ada-C-1992-Goodenough #realtime
Ada 9X and Real-Time Systems (JBG), pp. 43–47.
AdaTRI-Ada-C-1992-GoodmanM
Ada as an Introductory Language (DRG, RAM), pp. 122–125.
AdaTRI-Ada-C-1992-Gordon #library #reuse #user interface #visual notation
A Graphical User Interface in Ada for Domain-Specific Reuse Libraries (DG), pp. 309–320.
AdaTRI-Ada-C-1992-Hermida #anti #development #named
HEmut-PoliCaza: Introducing Ada in the University Through PC Anti-Virus Software Development (AH), pp. 148–156.
AdaTRI-Ada-C-1992-Hodges #idea
Ada Program Support Environments: A Good Idea Overcome by Changes (WMH), pp. 439–448.
AdaTRI-Ada-C-1992-HummerB #design #hardware #safety
When Hardware Becomes Software: Designing a Safety-Critical System with Ada (JH, LB), pp. 538–544.
AdaTRI-Ada-C-1992-Jarc #pascal
Ada, Pascal’s Replacement for Introductory Courses in Computer Science (DJJ), pp. 126–134.
AdaTRI-Ada-C-1992-KermarrecP #communication #component #distributed #realtime
Ada Communication Components for Distributed and Real Time Applications (YK, LP), pp. 530–537.
AdaTRI-Ada-C-1992-KlabundeR #object-oriented #user interface
Developing Object-Oriented User Interfaces in Ada with the X Window System (GWK, MAR), pp. 300–308.
AdaTRI-Ada-C-1992-LawlisE #assembly #case study
Ada Outperforms Assembly: A Case Study (PKL, TWE), pp. 334–337.
AdaTRI-Ada-C-1992-Lebib
MIS and Ada Productivity (RL), pp. 366–374.
AdaTRI-Ada-C-1992-LockP #past present future #re-engineering #requirements
Requirements on Ada Reengineering Technology from Past, Present and Future Systems (EDL, NSP), pp. 384–395.
AdaTRI-Ada-C-1992-Lodge #benchmark #metric
Benchmarking Ada: A Rationale (MJL), pp. 142–147.
AdaTRI-Ada-C-1992-MayrhauserH #algorithm #communication #concurrent #graph #testing
An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs (AvM, SMSH), pp. 450–457.
AdaTRI-Ada-C-1992-McHugh #safety
Ada 9X and Safety Critical/Secure Systems (JM), pp. 55–59.
AdaTRI-Ada-C-1992-Moore92a #embedded #sql
Minimizing the Disadvantages of Embedded SQL/Ada (JWM), pp. 407–414.
AdaTRI-Ada-C-1992-Reed #case study #experience #implementation
Experiences in Implementing Ada 9X Protected Records and Requeue (PR), pp. 62–67.
AdaTRI-Ada-C-1992-RogersP #distributed #implementation
Implementing Distributed Ada (PR, MP), pp. 504–510.
AdaTRI-Ada-C-1992-Schonberg #education
Teaching Ada 9X (ES), pp. 101–106.
AdaTRI-Ada-C-1992-SeligPM #data analysis #realtime
Data Analysis and Reporting for Real-Time Ada Systems (TS, DBP, BDM), pp. 469–476.
AdaTRI-Ada-C-1992-Sielski #implementation #parallel #thread
Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment (KLS), pp. 512–517.
AdaTRI-Ada-C-1992-Simonian #development
Software Development in Core: The Application of Ada and Spiral Development (RPS), pp. 249–257.
AdaTRI-Ada-C-1992-StevensonEHJSS #standard
The Army Sustaining Base APP: An Example of Standards Engineering for Ada (JTS, DEE, JPH, BJJ, MES, MCS), pp. 432–438.
AdaTRI-Ada-C-1992-Taft #programming
Ada 9X and Systems Programming (STT), pp. 37–42.
AdaTRI-Ada-C-1992-Taft92a #object-oriented
Ada 9X and OOP (STT), pp. 91–96.
AdaTRI-Ada-C-1992-Tang #c++ #comparison
A Comparison of Ada and C++ (LST), pp. 338–349.
AdaTRI-Ada-C-1992-Tokar #implementation
Ada 9X Implementation (JLT), pp. 107–112.
AdaTRI-Ada-C-1992-Weiderman #validation
Ada 9X Validation (NHW), pp. 113–118.
AdaTRI-Ada-C-1992-Youtzy #named
Ada: Still Our First Choice (HYJ), pp. 135–139.
AdaTRI-Ada-T1-1992-FeldmanP #education #using
Teaching and Using Ada in CS1/CS2 (MBF, REP), pp. 1–59.
AdaTRI-Ada-T1-1992-GonzalezC
Introduction to Ada for Programmers (DG, DAC), pp. 59–104.
AdaTRI-Ada-T1-1992-Rogers #embedded #programming #realtime
Embedded/Real-Time Programming in Ada (PR), pp. 105–260.
AdaTRI-Ada-T2-1992-EmeryDM
POSIX and Ada (DEE, SD, JWM), pp. 758–944.
AdaTRI-Ada-T2-1992-Shumate #approach #design #specification
Software Specification and Design with Ada: A Disciplined Approach (KS), pp. 497–589.
ICSEICSE-1992-MargonoR #analysis #reuse #scalability
Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project (JM, TER), pp. 338–348.
AdaEuropeAdaEurope-1991-BadaroM #named #reuse #using
ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes (NB, TM), pp. 304–325.
AdaEuropeAdaEurope-1991-Baumgarten #case study #comparative #distributed
Distributed Systems and Ada — Current Projects and Approaches Comparative Study’s Results (UB), pp. 260–278.
AdaEuropeAdaEurope-1991-Bjornson
Information Engineering for Systems in Ada (SB), pp. 50–64.
AdaEuropeAdaEurope-1991-ChengU #petri net #using
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.
AdaEuropeAdaEurope-1991-ColombiniTP #realtime
Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques (CC, AdT, RP), pp. 384–393.
AdaEuropeAdaEurope-1991-Curley #approach #benchmark #compilation #metric
An Approach To Benchmarking Ada Compilation Systems (TC), pp. 87–108.
AdaEuropeAdaEurope-1991-CurtisS #modelling #using
Modelling the Temporal Summation of Neural Membranes Using the Ada Language (MCC, VJDS), pp. 2–19.
AdaEuropeAdaEurope-1991-DelisT #assessment #design #static analysis #using
Design Assessment of Ada Systems Using Static Analysis (AD, WMT), pp. 227–250.
AdaEuropeAdaEurope-1991-ElradW #3d #using
The Use of Ada in Reactive Systems: A 3-Dimensional Model (TE, VW), pp. 20–36.
AdaEuropeAdaEurope-1991-GilbertTB #embedded #experience #process #realtime #using
Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes (BG, MT, GB), pp. 394–403.
AdaEuropeAdaEurope-1991-Gudenberg #parallel
Modellin SIMD — Type Parallel Arithmetic Operations in Ada (JWvG), pp. 110–124.
AdaEuropeAdaEurope-1991-LevyRT #configuration management #distributed
Reconfigurable Ada Distributed Control System Software (DCL, MCR, JLT), pp. 279–302.
AdaEuropeAdaEurope-1991-Lundberg #multi #performance
A Coprocessor for High Performance Multiprocessor Ada Tasking (LL), pp. 147–165.
AdaEuropeAdaEurope-1991-Maymir-Ducharme #realtime #scheduling
Ada 9X Real-Time Scheduling Alternatives (FAMD), pp. 37–48.
AdaEuropeAdaEurope-1991-Rosskopf #reuse
Reusable Input/Output Packages for Ada Avionic Applications (AR), pp. 338–360.
AdaEuropeAdaEurope-1991-SouposG #distributed #object-oriented #transaction #using
Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS (PS, SG), pp. 252–259.
AdaEuropeAdaEurope-1991-TsalidisH #metric
AFADA, a Measurement Tool for Ada (CTT, AEH), pp. 65–86.
AdaEuropeAdaEurope-1991-Welz #safety
Ada in Safety Critical Applications (AW), pp. 193–198.
AdaEuropeAdaEurope-1991-WillainBSV #realtime
Real-Time Electronic Funds Transfer and Ada (JW, PB, JS, SvV), pp. 199–209.
CSEETSEI-1990-Scoy #concept #re-engineering
Introduction of Software Engineering Concepts in an Ada-Based Introductory Computer Science Course (FLVS), pp. 67–76.
PPDPPLILP-1990-GroschS
Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.
ICSEICSE-1990-Royce #development #incremental #process #scalability
TRW’s Ada Process Model for Incremental Development of Large Software Systems (WR), pp. 2–11.
WAGAWAGA-1990-KellerM
An OPTRAN-generated Front-End for Ada (PK, TM), pp. 266–283.
CCCC-1990-HartwigSS #implementation #interface #specification
Specification and Implementation of a Tree-Abiding Interface for Ada (MH, ES, RS), pp. 215–216.
CSEETSEI-1989-Page #approach #case study #re-engineering
Holisitc Case Study Approach to Ada Based Software Engineering Training (RDP), pp. 109–123.
SEKESEKE-1989-YangC #concurrent #testing
Testing Concurrent Ada Program with Reproducible Test Cases (RDY, CGC), pp. 19–24.
ESECESEC-1989-AdamsWT
Software Change Dynamics or Half of all Ada Compilations are Redundant (RA, AW, WFT), pp. 203–221.
ESECESEC-1989-MorascaP #concurrent #execution #source code #symbolic computation #using #validation
Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
ASPLOSASPLOS-1989-Roos #realtime
A Real-Time Support Processor for Ada Tasking (JR), pp. 162–171.
SIGMODSIGMOD-1988-VinesK #framework #named #object-oriented
Gaia: An Object-Oriented Framework for an Ada Environment (DV, TK), p. 206.
CSEETSEI-1988-ChandhokG #using
Ada Edu Project: Supporting the Use of Ada in Introductory Computer Science (RC, TAG), pp. 199–207.
FMVDME-1988-ONeill #development
VDM Development with ADA as the Target Language (DO), pp. 116–123.
PLDIPLDI-1988-SchwarzKL #case study #design #experience
An Optimizer for Ada — Design, Experiences and Results (BS, WK, RL), pp. 175–184.
ICSEICSE-1988-EmbleyW #data type #quality
Assessing the Quality of Abstract Data Types Written in Ada (DWE, SNW), pp. 144–153.
FMVDME-1987-ChedgeyKK #development #object-oriented #using
Using VDM in an Object-Oriented Development Method for Ada Software (CC, SK, HJK), pp. 63–76.
OOPSLAOOPSLA-1987-Seidewitz #object-oriented #programming #smalltalk
Object-Oriented Programming in Smalltalk and ADA (ES), pp. 202–213.
ESECESEC-1987-CailletBR #execution
High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.
ESECESEC-1987-CroweNCOJ #development
A Software Development Environment for Ada (MKC, CN, MEC, JWO, DGJ), pp. 318–326.
ESECESEC-1987-FantechiGIM
An Executon Environment for the Formal Definiton of Ada (AF, SG, PI, UM), pp. 327–335.
VLDBVLDB-1986-SpoonerKWSH #component #framework #security
Framework for the Security Component of an Ada DBMS (DLS, AMK, GW, JS, DH), pp. 347–354.
AdaCRAI-1986-Goodenough #compilation #testing #theory and practice #validation
Ada Compiler Validation: An Example of Software Testing Theory and Practice (JBG), pp. 195–232.
AdaCRAI-1986-LuckhamHMBH #distributed #specification
Task Sequencing Languages for Specifying Distributed Ada Systems (DCL, DPH, SM, DLB, MAH), pp. 249–305.
AdaCRAI-1986-Mitchell #multi #programming
Engineering VAX Ada for a Multi-Language Programming Environment (CZM), pp. 30–47.
AdaCRAI-1986-Stenning #perspective
The Ada Environment — A Personal View (VS), pp. 48–61.
ICSEICSE-1985-HattoriKW #comparison #lisp #programming #prolog
A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas (FH, KK, TW), pp. 285–291.
PLDISCC-1984-Blower #implementation #performance
An efficient implementation of visibility in Ada (MIB), pp. 259–265.
PLDISCC-1984-Bray
Sharing code among instances of Ada generics (GB), pp. 276–284.
ICSEICSE-1984-ClemmensenO #case study #compilation #development #specification
Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.
ICSEICSE-1984-DuncanHBCFKMMS #communication #design #using
Communication System Design Using Ada (AGD, JSH, JWB, TMC, AF, EK, TM, DM, SBS), pp. 398–407.
ICSEICSE-1984-Ramamritham #semantics
Resource Controller Tasks in Ada: Their Structure and Semantics (KR), pp. 67–77.
ICSEICSE-1984-TaylorS #programming
Steps to an Advanced Ada Programming Environment (RNT, TAS), pp. 116–125.
SIGMODSIGMOD-1983-ChanDFGRS #database #distributed #overview
Overview of an Ada Compatible Distributed Database Manager (AC, UD, SF, NG, DRR, DS), pp. 228–237.
ICALPICALP-1983-BakkerZ #process #semantics
Processes and a Fair Semantics for the Ada Rendez-Vous (JWdB, JIZ), pp. 52–66.
AdaAda-1983-Briggs #compilation #design
The Design of AIR and its Application to Ada Separate Compilation (JSB), pp. 60–75.
AdaAda-1983-GoodenoughP #design #interface #testing
Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example (JBG, THP), pp. 104–114.
AdaAda-1983-Hall #database #development #programming
Databases in Software Development: The Ada Programming Support Environment (JAH), pp. 115–132.
POPLPOPL-1983-Wegner #abstraction #on the #unification
On the Unification of Data and Program Abstraction in Ada (PW), pp. 256–264.
ICALPICALP-1982-Gerth #axiom #hoare
A Sound and Complete Hoare Axiomatization of the Ada-Rendevous (RG), pp. 252–264.
PLDISCC-1982-Baker
A Single-Pass Syntax-Directed Front End for Ada (TPB), pp. 318–326.
PLDISCC-1982-DrossopoulouUPGDW #attribute grammar
An Attribute Grammar for Ada (SD, JSU, GP, GG, MD, GW), pp. 334–348.
ICSEICSE-1982-BabichWW #design #tool support
Design Considerations in Language Processing Tools for Ada (WAB, LW, MW), pp. 40–47.
ASPLOSASPLOS-1982-PollackCHKLR #memory management
Supporting Ada Memory Management in the iAPX-432 (FJP, GWC, DWH, KCK, KKL, JRR), pp. 117–131.
AdaTFDA-1980-BjornerO #compilation #development
The DDC Ada Compiler Development Project (DB, ONO), pp. 1–20.
AdaTFDA-1980-BundgaardS #semantics
A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.
AdaTFDA-1980-Dommergaard #design #virtual machine
The Design of a Virtual Machine for Ada (OD), pp. 435–606.
AdaTFDA-1980-Lovengreen #parallel
Parallelism in Ada (HHL), pp. 309–434.
AdaTFDA-1980-Pedersen #semantics
A Formal Semantics Definition of Sequential Ada (JSP), pp. 213–308.
CCSDCG-1980-Donzeau-GougeKL #on the
On the formal definition of ADA (VDG, GK, BL), pp. 475–489.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.