Reliable software technologies -- Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.).
Ada-Europe International Conference on Reliable Software Technologies (21st : 2016 : Pisa, Italy); Bertogna, Marko, editor.; Pinho, Luís Miguel, editor.; Quiñones, Eduardo, editor.
2016
QA76.76.R44 A32 2016eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Reliable software technologies -- Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.).
Meeting Name Ada-Europe International Conference on Reliable Software Technologies (21st : 2016 : Pisa, Italy)
ISBN 9783319390833 (electronic book)
331939083X (electronic book)
9783319390826
3319390821
DOI https://doi.org/10.1007/978-3-319-39083-3
Published Switzerland : : Springer, 2016.
Language English
Description 1 online resource (xiv, 213 pages) : illustrations.
Item Number 10.1007/978-3-319-39083-3 doi
Call Number QA76.76.R44 A32 2016eb
Dewey Decimal Classification 005
Summary 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.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 13, 2016).
Added Author Bertogna, Marko, editor.
Pinho, Luís Miguel, editor.
Quiñones, Eduardo, editor.
Series Lecture notes in computer science ; 9695.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Print version: 3319390821
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export