Titlebook: Reliable Software Technologies Ada-Europe 2000; 5th Ada-Europe Inter Hubert B. Keller,Erhard Pl?dereder Conference proceedings 2000 Springe

細(xì)胞膜

Support of Technology Development in the Information Societyies of the Key Action ”Essential Technologies and Infrastructures”. The presentation will focus on the framework of the different action types ”from research to take up”, in particular showing the subjects in the area ”Technologies and engineering for software, systems and services”. The presentatio

凹處

Ada after 10 Years of Usage – Is There a Commercial Future?cts has been reported extensively as a highly successful application of the language, compilers, and related technologies on large, mission-critical systems..During the period 1987-1989, Boeing’s Commercial Airplanes business unit conducted an extensive review to determine if the then-emerging Ada-b

hypotension

越自我

Object-Oriented Programming and Protected Objects in Ada 95 sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter class is the Ada 95 language which is an extension to the object-based concurrent programming language Ada 83. Arguably, Ada 9

使無(wú)效

Is an Ada Lint Necessary?ntains errors, which are not detected by a C/C++-compiler but by the company’s product. Up to December 1999 43 programs have been publicised. These C/C++-programs has been analyzed in order to see which of the errors a normal Ada compiler will detect, if the programs had been written in Ada. The res

不法行為

companion

Static Worst-Case Execution Time Analysis of Synchronous Programsous languages allow the building of deterministic systems and additionally enable formal verification techniques to be applied. Executable programs can behave synchronously if they fulfill certain temporal requirements. Therefore worst-case execution time analysis has to be applied to the programs g

流動(dòng)性

Cupping

On Persistent and Reliable Streaming in Adaestoring is a very active research area. There are two application areas for such features we believe to be crucial: system fault tolerance and data persistence. Our analysis shows that the features used in these areas have a lot in common: they are to flatten data of different types and save them i

Cupidity

Reengineering the Booch Component Librarys, valuable features for reusing from a component library are: adaptability to many contexts, extensibility, abstraction and high level of robustness with respect to changes in some of their components. In this paper we study one of the most widely used component library for Ada 95, the . one, mainl