Muutke küpsiste eelistusi

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

  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 4006
  • Ilmumisaeg: 30-May-2006
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540346647
  • 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.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 4006
  • Ilmumisaeg: 30-May-2006
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540346647

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. 

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