Muutke küpsiste eelistusi

Reliable Software Technologies Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings 1st ed. 2016 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 213 pages, kõrgus x laius: 235x155 mm, kaal: 3518 g, 59 Illustrations, black and white; XIV, 213 p. 59 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9695
  • Ilmumisaeg: 31-May-2016
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319390821
  • ISBN-13: 9783319390826
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Reliable Software Technologies Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings 1st ed. 2016Suurem pilt
  • Formaat: Paperback / softback, 213 pages, kõrgus x laius: 235x155 mm, kaal: 3518 g, 59 Illustrations, black and white; XIV, 213 p. 59 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9695
  • Ilmumisaeg: 31-May-2016
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319390821
  • ISBN-13: 9783319390826
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319390826.html
Märksõnad:
This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.





The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.
Why the Expressive Power of Programming Languages such as Ada Is Needed
for Future Cyber Physical Systems.- Modeling and Analysis of Data Flow Graphs
Using the Digraph Real-Time Task Model.- Eliminating Data Race Warnings Using
CSP.- Real-Time Stream Processing in Java.- Addressing the Regression Test
Problem with Change Impact Analysis for Ada.- Test Case Prioritization Using
Online Fault Detection Information.- An Experience in Ada Multicore
Programming: Parallelisation of a Model Checking Engine.- Lessons Learned in
a Journey Toward Correct-by-Construction Model-Based Development.- Extension
of the Ocarina Tool Suite to Support Reliable Replication-Based
Fault-Tolerance.- Kronecker Algebra for Static Analysis of Barriers in Ada.-
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global
Limited Preemptive Scheduling.- The Polling Effect on the Schedulability of
Distributed Real-Time Systems.- Combining Time-Triggered Plans with Priority
Scheduled Task Sets.