Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. (2016)

• Record Type: Book
• Further Information: Note: Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones (eds.).
• Editors: Bertogna, Marko; Pinho, Luís Miguel; Quiñones, Eduardo
• Other Names: Ada-Europe International Conference on Reliable Software Technologies, 21st
• Contents: 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. .
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiv, 213 pages), illustrations
• Subjects: 005; Computer science; Computer software -- Reliability -- Congresses; Computer software -- Reliability; Computers -- Software Development & Engineering -- General; Computers -- Expert Systems; Computers -- Programming -- General; Mathematics -- Logic; Software Engineering; Expert systems / knowledge-based systems; Computer programming / software development; Mathematical theory of computation; Software engineering; Logic design; Computers -- Programming Languages -- General; Programming & scripting languages: general; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319390833; 3319390821; 9783319390826
• Related ISBNs: 331939083X; 9783319390826; 3319390821
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 13, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.