Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. (2018)

• Record Type: Book
• Further Information: Note: Edited by António Casimiro, Pedro M. Ferreira.
• Editors: Casimiro, Antonio; Ferreira, Pedro M
• Other Names: Ada-Europe International Conference on Reliable Software Technologies, 23rd
• Contents: Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime -- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation -- Ada 202X -- Safe Dynamic Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit Overhead -- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks -- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling -- Real-Time Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems -- New Application Domains -- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP -- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies.
• Publisher Details: Cham : Springer
• Publication Date: 2018
• Extent: 1 online resource (XIV, 175 pages), illustrations
• Subjects: 005; Computer science; Computer software -- Reliability -- Congresses; Computer logic; Computer organization; Computer science; Data structures (Computer science); Electronic commerce; Software engineering; Computers -- Hardware -- General; Computers -- Programming -- General; Computers -- Information Theory; Computers -- Electronic Commerce; Computer networking & communications; Computer hardware; Computer programming / software development; Algorithms & data structures; Business applications; Software engineering; Computer network architectures; Computer hardware; Logic design; Data structures (Computer science); Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319924328; 3319924311; 9783319924311
• Related ISBNs: 331992432X; 9783319924311; 3319924311
• 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.