Reliable software technologies : Ada Europe 2004 : 9th Ada Europe International Conference on Reliable Softwar
Author: Ada-Europe International Conference on Reliable Software Technologies (9th : 2004 : Palma de Mallorca, Spain), Llamosí, Albert, Strohmeier, Alfred, 1946-
Added by: sketch
Added Date: 2015-12-29
Language: eng
Subjects: Computer software, Ada (Computer program language), Ada (Langage de programmation), Logiciels, Fiabilité du logiciel, Gestion des travaux, Softwareentwicklung, Eingebettetes System, Gestion des travaux, Softwareentwicklung, Softwareentwicklung, Eingebettetes System
Publishers: Berlin ; New York : Springer-Verlag
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540220119, 9783540220114
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 176.00 MB
PDF Size: 3.46 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 937
Views: 987
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2022-03-09 09:19:18
Size: 10.82 KB
Description
Author: Albert Llamosí, Alfred Strohmeier
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22011-4
DOI: 10.1007/b97913
Table of Contents:
- Benefits and Problems of Formal Methods
- On the Role of Conceptual Schemas in Information Systems Development
- An Overview of Middleware
- Static Deadlock Detection in the Linux Kernel
- Extracting Ada 95 Objects from Legacy Ada Programs
- On the Tree Width of Ada Programs
- The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
- Event Language for Real-Time On-the-Fly Control According to the Initial Requirements
- Implementing Execution-Time Clocks for the Ada Ravenscar Profile
- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux
- Supporting Deadlines and EDF Scheduling in Ada
- OpenAda: Compile-Time Reflection for Ada 95
- XML4Ada95 Accessing XML Using the DOM in Ada95
- A Randomised Test Approach to Testing Safety Critical Ada Code
- Good Random Testing
- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
- High Integrity Ada in a UML and C World
- Ada Meets Giotto
- High-Integrity Interfacing to Programmable Logic with Ada
Includes bibliographical references and index