Reliable Software Technologies - Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / edited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones.

1st ed. 2016.
Cham : Springer International Publishing : Imprint: Springer, 2016.
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 9695
Programming and Software Engineering ; 9695
1 online resource (XIV, 213 pages) : 59 illustrations
Programming languages (Electronic computers)
Software engineering.
Computers, Special purpose.
Computer logic.
Logic, Symbolic and mathematical.
Local subjects:
Programming Languages, Compilers, Interpreters.
Software Engineering.
Special Purpose and Application-Based Systems.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
System Details:
text file PDF
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. .
Bertogna, Marko, editor., Editor,
Pinho, Luís Miguel, editor., Editor,
Quiñones, Eduardo, editor., Editor,
SpringerLink (Online service)
Contained In:
Springer eBooks
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-319-39083-3 doi
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy