Fibrinogen
发表于 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
http://reply.papertrans.cn/83/8265/826458/826458_32.png
CUR
发表于 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
curettage
发表于 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.
Cerebrovascular
发表于 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.
evince
发表于 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.
CRAMP
发表于 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.
inflate
发表于 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.
Irksome
发表于 2025-3-28 13:45:31
http://reply.papertrans.cn/83/8265/826458/826458_40.png