Articles liés à Reliable Software Technologies - Ada-Europe 2007: 12th...
Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
Real-Time Utilities for Ada 2005.- Handling Temporal Faults in Ada 2005.- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.- Enhancing Dependability of Component-Based Systems.- On Detecting Double Literal Faults in Boolean Expressions.- Static Detection of Livelocks in Ada Multitasking Programs.- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers.- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.- ArchMDE Approach for the Development of Embedded Real Time Systems.- Generating Distributed High Integrity Applications from Their Architectural Description.- Automatic Ada Code Generation Using a Model-Driven Engineering Approach.- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.- Modelling Remote Concurrency with Ada.- Design and Performance of a Generic Consensus Component for Critical Distributed Applications.- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research.- Incorporating Precise Garbage Collection in an Ada Compiler.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
