Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 1999: Santander, Spain
- Michael González Harbour, Juan Antonio de la Puente
:
Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings. Lecture Notes in Computer Science 1622, Springer 1999, ISBN 3-540-66093-3
Invited Papers
- C. Douglass Locke:
An Architectual Perspective of Real-Time Ada Applications. 1-11
Ravenscar Profile and High Integrity Systems
- Kristina Lundqvist, Lars Asplund, Stephen Mitchell:
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects. 12-25 - Mike Kamrad, Barry A. Spinney:
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch. 26-38 - Roderick Chapman, Robert Dewar:
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT. 39-51 - Jacob Frost:
An Ada95 Solution for Certification of Embedded Safety Critical Applications. 52-63
Software Architectures and Design
- David E. Emery:
Architectural Frameworks: Defining the Contents of Architectural Descriptions. 64-75 - Alfred Strohmeier:
Mapping Object-Oriented Designs to Ada. 76-90 - Ricardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo:
Efficient and Extensible Multithreaded Remote Servers. 91-102
Testing
- Bruno Hémeury:
Report on the VERA Experiment. 103-113 - José L. Fernández:
Acceptance Testing of Object Oriented Systems. 114-123
Formal Methods
- Apolinar González, Alfons Crespo:
Environment for the Development and Specification of Real-Time Ada Programs. 124-135 - Johann Blieberger, Bernd Burgstaller, Bernhard Scholz:
Interprocedural Symbolic Evaluation of Ada Programs with Aliases. 136-145 - Eric Bruneton, Jean-François Pradat-Peyre:
Automatic Verification of Concurrent Ada Programs. 146-157 - Francisco J. García Izquierdo, José Luis Villarroel:
Translating Time Petri Net Structures into Ada 95 Statements. 158-169
Education
- Pierre Breguet, Luigi Zaffalon:
Railway Scale Model Simulator. 170-180 - Alexandr Korochkin:
Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine. 181-186
Distributed Systems
- Dominique Canazzi:
yaRTI, an Ada 95 HLA Run-Time Infrastructure. 187-198 - Emilio Tuosto:
An Ada95 Implementation of a Network Coordination Language with Code Mobility. 199-210 - Laurent Pautet, Thomas Quinot, Samuel Tardieu:
CORBA & DSA: Divorce or Marriage? 211-225 - Javier Miranda, Francisco Guerra Santana, José Martín, Alexis González:
How to Modify the GNAT Frontend tp Experiment with Ada Extensions. 226-237 - Helge Hagenauer:
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems. 238-249 - Mike Kamrad:
An Application (Layer 7) Routing Switch with Ada95 Software. 250-262 - Johann Blieberger, Johann Klasek, Eva Kühn:
Ada Binding to a Shared Object Layer. 263-274
Real-Time Scheduling and Kernels
- Jorge Real, Andy J. Wellings:
The Ceiling Protocol in Multi-moded Real-Time Systems. 275-286 - Hongfeng Shen, Arnaud Charlet, Theodore P. Baker:
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel. 287-297 - José F. Ruiz, Jesús M. González-Barahona:
Implementing a New Low-Level Tasking Support for the GNAT Runtime System. 298-307
Tools
- Fabrice Kordon:
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. 308-319 - Thierry Millan, Myriam Lamolle, Frédéric Mulatero:
An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence. 320-331 - Xavier Franch, Josep Pinyol, Joan Vancells:
Browsing a Component Library Using Non-functional Information. 332-343
The Role of Ada in Hardware/Software Codesign
- William Fornaciari, Donatella Sciuto:
HW/SW Co-design of Embedded Systems. 344-355 - Adrian López, Maite Veiga, Eugenio Villar:
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL. 356-370 - Jean Mermet:
System on Chip Specification and Design Languages Standardization. 371-384
Fault Tolerance
- Patrick Rogers, Andy J. Wellings:
An Incremental RecoveryCache Supporting Sotware Fault Tolerance. 385-396 - Jörg Kienzle, Alfred Strohmeier:
Shared Recoverable Objects. 397-411 - Thomas Wolf, Alfred Strohmeier:
Fault Tolerance by Transparent Replication for Distributed Ada 95. 412-424
Case Studies
- Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen:
A Case Study in the Reuse of On-board Embedded Real-Time Software. 425-436 - Alfred Rosskopf:
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches. 437-449
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
