Muutke küpsiste eelistusi

E-raamat: Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Reliable Software Technology - Ada-Europe 2005: 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in uential in shaping the Ada language and in the progress on real-time computing worldwide. This years conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 2024, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors.
Applications.- ILTIS The Legacy of a Successful Product.- A Reference
Control Architecture for Service Robots Implemented on a Climbing Vehicle.-
An Ada Framework for QoS-Aware Applications.- Design and Scheduling Issues.-
Efficient Alternatives for Implementing Fixed-Priority Schedulers.- A New
Strategy for the HRT-HOOD to Ada Mapping.- Using the AADL to Describe
Distributed Applications from Middleware to Software Components.- Formal
Methods.- Extending Ravenscar with CSP Channels.- Dynamic Tasks Verification
with Quasar.- Proving Functional Equivalence for Program Slicing in SPARKTM.-
Ada and Education.- Teaching Software Engineering with Ada 95.- A Comparison
of the Mutual Exclusion Features in Ada and the Real-Time Specification for
JavaTM.- Certification and Verification.- Smart Certification of Mixed
Criticality Systems.- Non-intrusive System Level Fault-Tolerance.-
Distributed Systems.- Observing the Development of a Reliable Embedded
System.- RT-EP: A Fixed-Priority Real Time Communication Protocol over
Standard Ethernet.- Distributing Criticality Across Ada Partitions.- Language
Issues.- The Implementation of Ada 2005 Interface Types in the GNAT
Compiler.- Integrating Application-Defined Scheduling with the New
Dispatching Policies for Ada Tasks.- The Application of Compile-Time
Reflection to Software Fault Tolerance Using Ada 95.- Ravenscar Technology.-
GNAT Pro for On-board Mission-Critical Space Applications.- The ESA Ravenscar
Benchmark.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97835403166642e.html
Märksõnad: