Titlebook: Reliable Software Technologies - Ada-Europe 2001; 6th Ada-Europe Inter Dirk Craeynest,Alfred Strohmeier Conference proceedings 2001 Springe

音乐学者

Conference proceedings 2001ed by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable

装勇敢地做

osteopath

Using Ada in Interactive Digital Television Systemsat home. The DTV broadcast center systems have availability, reliability and load constraints which require a robust implementation. For this reason, the server-side components of the Canal+ Technologies software have been developed in Ada..This paper explains the architecture of a Digital Televisio

PATHY

cipher

Logic versus Magic in Critical Systemsplexity being concealed or “magicked away”. For the most critical of systems, where a credible case for safety and integrity must be made prior to there being any service experience, we cannot tolerate concealed complexity and must be able to reason logically about the behaviour of the system. The p

接合

Can Java™ Meet Its Real-Time Deadlines?agued Ada83’s real-time usability. But Java is currently flavor of the month, although its existing real-time features are totally inadequate. Two independent recent efforts have defined extensions to the Java platform that intend to satisfy real-time requirements. This paper summarizes the major fe

弯弯曲曲

Parameter-Induced Aliasing in Ada the unexpected effect of also changing the other’s value. The disadvantages of aliasing for most aspects of programming languages have been known for decades and it is reported that aliasing occurs quite often when programming in languages like C or Fortran. In contrast, our examination of 173 MB r

GNAT

Slicing Tagged Objects in Adaor different objects and represents the effects of polymorphism and dynamic bindings. Based on this model, we developed approaches to slicing subprograms, packages/types and hierarchies of types. Our slicing algorithm is more efficient because most of the results can be reused, and inter-subprogram

affinity

BLA

Building Modern Distributed Systemsributed Systems Annex of the Reference Manual is very limited and does not take in account advanced needs such as fault tolerance, code migration or persistent distributed storage..This article describes how we have extended the basic model without abandonning the compatibility in Glade, our impleme