Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[2004]
|
| Series: | Lecture notes in computer science ;
3063. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3063 |
Table of Contents:
- Benefits and problems of formal methods / Martin Gogolla
- On the role of conceptual schemas in information systems development / Antoni Olive
- An overview of middleware / Steve Vinoski
- Static deadlock detection in the linux kernel / Peter T. Breuer and Marisol Garcia Valls
- Extracting Ada 95 objects from legacy Ada programs / Ricky E. Sward
- On the tree width of Ada programs / Bernd Burgstaller, Johann Blieberger and Bernhard Scholz
- The chance for Ada to support distribution and real-time in embedded systems / Juan Lopez Campos, J. Javier Gutierrez and Michael Gonzalez Harbour
- PolyORB : a schizophrenic middleware to build versatile reliable distributed applications / Thomas Vergnaud, Jerome Hugues, Laurent Pautet and Fabrice Kordon
- Event language for real-time on-the-fly control according to the initial requirements / Stephan P. Nadrchal
- Implementing execution-time clocks for the Ada ravenscar profile / Juan Zamorano, Alejandro Alonso, Jose Antonio Pulido and Juan Antonio de la Puente
- Extending the capabilities of real-time applications by combining MaRTE-OS and linux / Miguel Masmano, Jorge Real, Ismael Ripoll and Alfons Crespo
- Supporting deadlines and EDF scheduling in Ada / Alan Burns, Andy J. Wellings and S. Tucker Taft
- OpenAda : compile-time reflection for Ada 95 / Patrick Rogers and Andy J. Wellings
- XML4Ada95 accessing XML using the DOM in Ada95 / Zdenko Vrandecic and Daniel Simon
- A randomised test approach to testing safety critical Ada code / Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu and Kundapur Karunakar
- Good random testing / Kwok Ping Chan, Tsong Yueh Chen and Dave Towey
- Teaching real-time systems around a digital model railroad platform using Ada / Barbara Alvarez, Juan A. Pastor, Francisco Ortiz, Pedro Sanchez and Pedro Navarro
- High integrity Ada in a UML and C world / Peter Amey and Neil White
- Ada meets Giotto / Helge Hagenauer, Norbert Martinek and Werner Pohlmann
- High-integrity interfacing to programmable logic with Ada / Adrian J. Hilton and Jon G. Hall
- Dynamic ceiling priorities : a proposal for Ada0Y / Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg and Alfons Crespo
- Mixing scheduling policies in Ada / Agustin Espinosa Minguet, Ana Garcia-Fornes, Vicente Lorente Garces and Andres Terrasa Barrena
- Implementing an application-defined scheduling framework for Ada tasking / Mario Aldea, Javier Miranda and Michael Gonzalez Harour
- A theory of persistent containers and its application to Ada / Mario Amado Alves
- Shortcuts : a critical look / Matthew Heaney
- Vector processing in Ada / Franco Gasperoni.