找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

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

[复制链接]
楼主: radionuclides
发表于 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-b
发表于 2025-3-25 15:30:53 | 显示全部楼层
发表于 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 | 显示全部楼层
发表于 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 | 显示全部楼层
发表于 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 i
发表于 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
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 吾爱论文网 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
QQ|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-8-11 21:24
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表