Atjaunināt sīkdatņu piekrišanu

E-grāmata: Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings

  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 4006
  • Izdošanas datums: 30-May-2006
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783540346647
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 4006
  • Izdošanas datums: 30-May-2006
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783540346647
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.
Real-Time Systems
Hierarchical Scheduling with Ada 2005
1(12)
Jose A. Pulido
Santiago Uruena
Juan Zamorano
Tullio Vardanega
Juan A. de la Puente
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
13(14)
Benjamin M. Brosgol
Andy Wellings
POSIX Trace Based Behavioural Reflection
27(13)
Filipe Valpereiro
Luis Miguel Pinho
Static Analysis
Static Detection of Access Anomalies in Ada95
40(16)
Bernd Burgstaller
Johann Blieberger
Robert Mittermayr
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code
56(15)
Peter T. Breuer
Simon Pickin
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
71(12)
Aoun Raza
Gunther Vogel
Erhard Plodereder
Verification
SPARK Annotations Within Executable UML
83(11)
Damian Curtis
Runtime Verification of Java Programs for Scenario-Based Specifications
94(12)
Xuandong Li
Linzhang Wang
Xiaokang Qiu
Bin Lei
Jiesong Yuan
Jianhua Zhao
Guoliang Zheng
Applications
Secure Execution of Computations in Untrusted Hosts
106(13)
S.H.K. Narayanan
M.T. Kandemir
R.R. Brooks
I. Kolcu
A Systematic Approach to Developing Safe Tele-operated Robots
119(12)
Diego Alonso
Pedro Sanchez
Barbara Alvarez
Juan A. Pastor
Towards Developing Multi-agent Systems in Ada
131(12)
G. Aranda
J. Palanca
A. Espinosa
A. Terrasa
A. Garcia-Fornes
Reliability
A Software Reliability Model Based on a Geometric Sequence of Failure Rates
143(12)
Stefan Wagner
Helmut Fischer
Adaptive Random Testing Through Iterative Partitioning
155(12)
T. Y. Chen
De Hao Huang
Zhi Quan Zhou
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems
167(12)
Jingde Cheng
Compilers
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
179(12)
Javier Miranda
Edmond Schonberg
Using Mathematics to Improve Ada Compiled Code
191(12)
Ward Douglas Maurer
Distributed Systems
Replication-Aware Transactions: How to Roll a Transaction over Failures
203(12)
Mohsen Sharifi
Hadi Salimi
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
215(12)
Santiago Uruena
Juan Zamorano
Daniel Berjon
Jose A. Pulido
Juan A. de la Puente
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution
227(14)
Juan Lopez Campos
J. Javier Gutierrez
Michael Gonzalez Harbour
Author Index 241