Titlebook: Reliable Software Technologies -- Ada-Europe 2003; 8th Ada-Europe Inter Jean-Pierre Rosen,Alfred Strohmeier Conference proceedings 2003 Spr

craving

https://doi.org/10.1007/3-540-44947-7Software; design; formal specification; information system; real-time; testing

專心

脫水

Reliable Software Technologies -- Ada-Europe 2003978-3-540-44947-8Series ISSN 0302-9743 Series E-ISSN 1611-3349

項(xiàng)目

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

Affection

MEET

嫻熟

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.

挑剔小責(zé)

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.

打算