细胞膜 发表于 2025-3-25 04:46:46
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凹处 发表于 2025-3-25 09:18:30
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-bhypotension 发表于 2025-3-25 15:30:53
http://reply.papertrans.cn/83/8265/826446/826446_23.png越自我 发表于 2025-3-25 16:44:52
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使无效 发表于 2025-3-25 23:07:50
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不法行为 发表于 2025-3-26 03:31:40
http://reply.papertrans.cn/83/8265/826446/826446_26.pngcompanion 发表于 2025-3-26 07:52:11
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流动性 发表于 2025-3-26 10:52:11
http://reply.papertrans.cn/83/8265/826446/826446_28.pngCupping 发表于 2025-3-26 12:37:11
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 iCupidity 发表于 2025-3-26 18:40:49
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