Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Llamosi, Albert (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Strohmeier, Alfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3063
• Θέματα: Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer communication systems.; Special purpose computers.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Special Purpose and Application-Based Systems.

The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14-18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the...

Πίνακας περιεχομένων:

• Invited Papers
• Benefits and Problems of Formal Methods
• On the Role of Conceptual Schemas in Information Systems Development
• An Overview of Middleware
• Static Analysis
• Static Deadlock Detection in the Linux Kernel
• Extracting Ada 95 Objects from Legacy Ada Programs
• On the Tree Width of Ada Programs
• Distributed Systems
• 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
• Real-Time Systems
• 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
• Reflection and XML
• OpenAda: Compile-Time Reflection for Ada 95
• XML4Ada95 Accessing XML Using the DOM in Ada95
• Testing
• 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
• Critical Systems Modeling
• High Integrity Ada in a UML and C World
• Ada Meets Giotto
• High-Integrity Interfacing to Programmable Logic with Ada
• Scheduling
• Dynamic Ceiling Priorities: A Proposal for Ada0Y
• Mixing Scheduling Policies in Ada
• Implementing an Application-Defined Scheduling Framework for Ada Tasking
• Application Programming Interfaces
• A Theory of Persistent Containers and Its Application to Ada
• Shortcuts: A Critical Look
• Vector Processing in Ada.