BibSLEIGH — ada tag

Ada

Ada

Tag #ada

701 papers:

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