alabaster
发表于 2025-3-28 16:59:52
http://reply.papertrans.cn/83/8265/826460/826460_41.png
BRINK
发表于 2025-3-28 22:20:52
http://reply.papertrans.cn/83/8265/826460/826460_42.png
平
发表于 2025-3-29 02:02:52
Capturing and verifying performance requirements for hard real time systems,d spacecraft applications. The project has produced guidance for the software requirements, architectural design, detailed design and implementation phases of the software development process, based on the use of HOORA and HOOD methods. A system of annotations has been devised for capturing performa
豪华
发表于 2025-3-29 06:25:52
Task termination in Ada 95,erminate’ option to the select statement. With the use of indirect communication (emphasised by the provision of protected objects in Ada 95), it is no longer straightforward to obtain program termination. This paper illustrates the problem and shows how the asynchronous select statement and a gener
Induction
发表于 2025-3-29 08:52:35
http://reply.papertrans.cn/83/8265/826460/826460_45.png
accomplishment
发表于 2025-3-29 12:19:24
http://reply.papertrans.cn/83/8265/826460/826460_46.png
Inertia
发表于 2025-3-29 15:51:01
http://reply.papertrans.cn/83/8265/826460/826460_47.png
lymphedema
发表于 2025-3-29 21:26:40
,CCO-MARS’96 integrating HOOD, Ada, and XInAda in a full Ada operational software project,OD, Ada, and XInAda in an operational project. The two main points of interest are one in the area of Man Machine Interfaces (MMIs), and the other in the development cycle of an operational product using HOOD and Ada technology. Developing a full Ada MMI using XInAda and Ada‘s tasking features turne
庄严
发表于 2025-3-30 00:43:24
http://reply.papertrans.cn/83/8265/826460/826460_49.png
cartilage
发表于 2025-3-30 04:07:36
Including non-functional issues in Anna/Ada programs for automatic implementation selection,uable comments, but also as an input for an algorithm capable of selecting the “best” package body for every package definition in a program, the “best” meaning the one that fits the set of non-functional requirements of the package in the program.