craving
发表于 2025-3-28 18:16:02
https://doi.org/10.1007/3-540-44947-7Software; design; formal specification; information system; real-time; testing
专心
发表于 2025-3-28 19:37:58
http://reply.papertrans.cn/83/8265/826462/826462_42.png
脱水
发表于 2025-3-28 22:58:04
Reliable Software Technologies -- Ada-Europe 2003978-3-540-44947-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
项目
发表于 2025-3-29 05:24:10
Software Fault Tolerance: An Overview surrounding environment. After reviewing the basic terms and concepts of fault tolerance, the most well-known fault-tolerance techniques exploiting software-, information- and time redundancy are presented, classified according to the kind of concurrency they support.
aspersion
发表于 2025-3-29 08:36:11
http://reply.papertrans.cn/83/8265/826462/826462_45.png
Affection
发表于 2025-3-29 11:55:49
http://reply.papertrans.cn/83/8265/826462/826462_46.png
MEET
发表于 2025-3-29 18:10:22
http://reply.papertrans.cn/83/8265/826462/826462_47.png
娴熟
发表于 2025-3-29 21:13:53
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net ProjectWe report the use of Ada in the European research project Sol-Eu-Net. Ada was used in a web mining subproject, mainly for data preparation, and also for web system development. Open source Ada resources e.g. GNAT.Spitbol were used. Some such resources were modified, some created anew. XML and SQL were also used in association with Ada.
挑剔小责
发表于 2025-3-30 03:24:36
A Survey of Physical Unit Handling Techniques in AdaThere has always been a demand to be able to compute with physical items where dimensional correctness is checked. A survey of methods is presented how to do this with the features of Ada. Compile-time methods use the type checking mechanism whereas run-time methods use additional components to represent dimensions.
打算
发表于 2025-3-30 05:40:04
http://reply.papertrans.cn/83/8265/826462/826462_50.png