BibSLEIGH — Proceedings of the First International Eurospace/Ada-Europe Symposium

Marcel Toussaint
Proceedings of the First International Eurospace/Ada-Europe Symposium
Ada-Europe, 1994.

PLT

@proceedings{AdaEurope-1994,
	address       = "Copenhagen, Denmark",
	editor        = "Marcel Toussaint",
	isbn          = "3-540-58822-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Eurospace/Ada-Europe Symposium}",
	volume        = 887,
	year          = 1994,
}

Contents (40 items)

AdaEurope-1994-Anderson #ada: Opening Address: Ada 9X (CA), pp. 1–10.
AdaEurope-1994-Moller #ada #runtime: Run-Time Check Elimination for Ada 9X (PLM), pp. 11–23.
AdaEurope-1994-SevestreB #ada #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-KayloeL #ada #architecture #c++: Merging Ada 9X and C++ in a Graphics System Software Architecture (JRK, PKL), pp. 33–42.
AdaEurope-1994-RogersP #ada #distributed #fault tolerance: The AECSS Fault Tolerant Distributed Ada Testbed and Application (PR, MP), pp. 43–59.
AdaEurope-1994-HagelsteinB #requirements: A Front-End to HOOD — The Clyder Requirements Engineering Method (JH, DR), pp. 60–62.
AdaEurope-1994-HutcheonJMPWJ #ada #tool support: Tool Support for High Integrity Ada Software (ADH, DTJ, JAM, RHP, ICW, BJJ), pp. 63–75.
AdaEurope-1994-BarbeyB #ada #data type #specification #testing #using: Testing Ada Abstract Data Types Using Formal Specifications (SB, DB), pp. 76–89.
AdaEurope-1994-Taylor #development #formal method: Formal Methods for a Space Software Development Environment (PT), pp. 90–103.
AdaEurope-1994-WardS #exclamation #object-oriented: Object Orientation is not Always Best! (RW, JS), pp. 104–110.
AdaEurope-1994-SotirovskiJK #data type: Beyond Abstract Data Types: Giving Life to Objects (DMS, SSJ, PK), pp. 111–120.
AdaEurope-1994-ArberetD #memory management #tool support: Test Methods and Tools for SOHO Mass Memory Unit Software (PA, LD), pp. 121–129.
AdaEurope-1994-Heitz #composition #distributed #generative #object-oriented #programming #realtime #scalability: Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments (MH), pp. 130–146.
AdaEurope-1994-DissauxFLM #ada #approach: A New Approach for HOOD/Ada Mapping (PD, PF, PL, PM), pp. 147–154.
AdaEurope-1994-Schneeweiss #object-oriented: Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods (HS), pp. 155–161.
AdaEurope-1994-Gray #ada #how #question: How Should Military Ada Software be Documented? (LG), pp. 162–169.
AdaEurope-1994-Rymer #ada #education #evolution: Evolving an Ada Curriculum to 9X (JRR), pp. 170–174.
AdaEurope-1994-Gale #ada #development #recommendation: Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment (LPG), pp. 175–203.
AdaEurope-1994-Palm #compilation #multi: Life*ADA: An APSE Integrating Multiple Compiler (SUP), pp. 204–214.
AdaEurope-1994-Ogren #ada: Extended Application of Ada to Cover ECBS with O4S (IÖ), pp. 215–230.
AdaEurope-1994-NunezP #constraints #development #lightweight #process: Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints (FJN, RP), pp. 231–257.
AdaEurope-1994-CorreriniP #assurance #named: ESSPASE — European Space Software Product Assurance Support Environment (FC, PP), pp. 258–269.
AdaEurope-1994-FrancolaM #realtime #validation: Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter (SF, MM), pp. 270–281.
AdaEurope-1994-Brunet #knowledge-based: A Knowledge-Based System for Diagnosis in Veterinary Medicine (GB), pp. 282–287.
AdaEurope-1994-CiceriM #realtime: Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control (FC, LM), pp. 288–301.
AdaEurope-1994-Birnie #aspect-oriented #safety: Safety Aspects of the Ariane 5 On-Board Software (SAB), pp. 302–321.
AdaEurope-1994-WiggersO #ada: Ada Controls the European Robotic Arm (JJMW, MJAO), pp. 322–332.
AdaEurope-1994-Doeuff #ada #automation #generative #source code: Automatic Generation of Ada Source Code for the Rafale Mission Computer (HLD), pp. 333–348.
AdaEurope-1994-Kettani #ada #how #realtime: How to Avoid and Control Proliferation of New Ada Real Time Extensions (NK), pp. 349–354.
AdaEurope-1994-Bondeli #ada #communication #reuse: A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X (PdB), pp. 355–386.
AdaEurope-1994-JovanovicSS #ada #evolution: Interfacing Computer Communications from Ada in a Diverse and Evolving Environment (SSJ, LS, DMS), pp. 387–396.
AdaEurope-1994-Noseck #analysis #reuse: Cost-Benefit Analysis for Software-Reuse — A Decision Procedure (HN), pp. 397–405.
AdaEurope-1994-PitetteCGS #ada #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-BjornfotLWA #network: Distribution of Tasks within a Centrally Scheduled Local Area Network (LB, KL, GW, LA), pp. 421–432.
AdaEurope-1994-Tokar #ada: Handling Interrupts in Ada 9X (JLT), pp. 433–439.
AdaEurope-1994-GerlichW #ada #source code: Tuning Ada Programs in Advance (RG, UW), pp. 440–464.
AdaEurope-1994-AbadieB #development #execution #named #realtime: CEDEX — A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications (JA, BB), pp. 465–482.
AdaEurope-1994-ObermayerSSKKL #ada #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-SilbergR #ada #certification #runtime: FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
AdaEurope-1994-Anderson94a #analysis #case study #development #experience #object-oriented: Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD) (JAA), pp. 509–521.

Marcel ToussaintProceedings of the First International Eurospace/Ada-Europe SymposiumAda-Europe, 1994.

Contents (40 items)

Marcel Toussaint
Proceedings of the First International Eurospace/Ada-Europe Symposium
Ada-Europe, 1994.