用户名  找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliable Software Technologies - Ada-Europe ‘98; 1998 Ada-Europe Inte Lars Asplund Conference proceedings 1998 Springer-Verlag Berlin Heide

[复制链接]
楼主: 照相机
发表于 2025-3-26 21:12:44 | 显示全部楼层
Modern Avionics requirements for the Distributed Systems Annex,ems on top of Ada 95 and the Distributed Systems Annex (DSA). Our purpose was to explore the requirements for the DSA in such applications and to assess portability benefits. The problem domain of modern avionics will increasingly require strong partitioning of software with multilevel safety and re
发表于 2025-3-27 04:48:24 | 显示全部楼层
发表于 2025-3-27 06:26:40 | 显示全部楼层
0302-9743 , held in Uppsala, Sweden, in June 1998..The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 la
发表于 2025-3-27 10:43:12 | 显示全部楼层
,Automating the Ada binding process for Java — How far can we go?,rom the information in a Java class file (within the constraints of necessary support from an Ada compiler). However, we show that such a binding has significant limitations from a practical usability perspective.
发表于 2025-3-27 14:01:47 | 显示全部楼层
Inside the distributed systems annex,trong type checking. This paper describes how such a task has been achieved in the current implementation of GNAT, the GNU Ada compiler, and in GLADE, GNAT‘s companion package for building and running distributed programs.
发表于 2025-3-27 19:15:15 | 显示全部楼层
Modern Avionics requirements for the Distributed Systems Annex,liability analysis to build highly complex, large, multiprocessor, predominately hard real-time software systems. This paper covers changes in the requirement driving the problem domain, the solution approach using an ADL, MetaH, on top of the DSA, and requirements for a usable DSA implementation.
发表于 2025-3-28 01:23:15 | 显示全部楼层
0302-9743 nguage and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.978-3-540-64536-8978-3-540-69802-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
发表于 2025-3-28 02:57:03 | 显示全部楼层
Ada+B the formula for safety critical software development,lt to learn and give finally to their users the satisfaction of producing a high quality work, at the lowest possible cost for this quality. We hope that these methods will find new users for the greatest benefit of the software engineering community.
发表于 2025-3-28 06:24:16 | 显示全部楼层
How to avoid the inheritance anomaly in Ada,pport the inheritance of synchronization constraints is necessary to avoid what is called the inheritance anomaly. We present a modelling style of Ada which allows the integration of concurrency into object-oriented programming and which offers a solution to the inheritance anomaly.
发表于 2025-3-28 13:45:31 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-28 22:29
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表