Reliable Software Technologies - Ada-Europe '98 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings /

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

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998. The 23 revised full papers presented together with two invited contributions were carefully selected by the progra...

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

• Embedded opportunities
• Ada+B the formula for safety critical software development
• Porting the GNAT tasking runtime system to the Java virtual machine
• Automating the Ada binding process for Java - How far can we go?
• Synchronizing multiple clients and servers
• How to avoid the inheritance anomaly in Ada
• Inside the distributed systems annex
• Integrating groups and transactions: A fault-tolerant extension of Ada
• Implementing and using execution time clocks in Ada hard real-time applications
• Programming hard real-time systems with optional components in Ada
• Object oriented abstractions for real-time distributed systems
• (Astro)physical supercomputing: Ada95 as a safe, object oriented alternative
• Ada 95 for a distributed simulation system
• PINROB: A portable API for industrial robots
• Quality-for-ASIS: A portable testing facility for ASIS
• Ten years of tool based Ada compiler validations an experience report
• A two-level matching mechanism for object-oriented class libraries
• Modern Avionics requirements for the Distributed Systems Annex
• A case study in quantitative evaluation of real-time software architectures
• Building modular communication systems in Ada: The Simple-Com approach
• Symbolic reaching definitions analysis of Ada programs
• Looking at code with your safety goggles on
• The Ravenscar tasking profile for high integrity real-time programs
• Guidance on the use of Ada95 in high integrity systems
• Ada in the JAS 39 Gripen flight control system.