Proceedings of the First International Eurospace/Ada-Europe Symposium
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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 (), 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.

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