Reliable Software Technologies -- Ada-Europe 2013

Reliable Software Technologies -- Ada-Europe 2013

Author: Hubert B. Keller

Publisher: Springer

ISBN: 9783642386015

Category: Computers

Page: 177

View: 971

Get eBOOK →
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.

Reliable Software Technologies – Ada-Europe 2016

Reliable Software Technologies – Ada-Europe 2016

Author: Marko Bertogna

Publisher: Springer

ISBN: 9783319390833

Category: Computers

Page: 213

View: 400

Get eBOOK →
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.

Reliable Software Technologies – Ada-Europe 2014

Reliable Software Technologies – Ada-Europe 2014

Author: Laurent George

Publisher: Springer

ISBN: 9783319083117

Category: Computers

Page: 193

View: 601

Get eBOOK →
This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.

Reliable Software Technologies – Ada-Europe 2015

Reliable Software Technologies – Ada-Europe 2015

Author: Juan Antonio de la Puente

Publisher: Springer

ISBN: 9783319195841

Category: Computers

Page: 229

View: 172

Get eBOOK →
This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.

Reliable Software Technologies – Ada-Europe 2017

Reliable Software Technologies – Ada-Europe 2017

Author: Johann Blieberger

Publisher: Springer

ISBN: 9783319605883

Category: Computers

Page: 251

View: 166

Get eBOOK →
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Reliable Software Technologies – Ada-Europe 2018

Reliable Software Technologies – Ada-Europe 2018

Author: António Casimiro

Publisher: Springer

ISBN: 9783319924328

Category: Computers

Page: 175

View: 141

Get eBOOK →
This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.

Introduction to Cataloging and Classification, 11th Edition

Introduction to Cataloging and Classification, 11th Edition

Author: Daniel N. Joudrey

Publisher: ABC-CLIO

ISBN: 9781440837456

Category: Language Arts & Disciplines

Page: 1048

View: 800

Get eBOOK →
A new edition of this best-selling textbook reintroduces the topic of library cataloging from a fresh, modern perspective. • Delineates the new cataloging landscape • Shares a principles-based perspective • Provides introductory text for beginners and intermediate students • Emphasizes descriptive and subject cataloging, as well as format-neutral cataloging • Covers new cataloging rules and RDA

Relating System Quality and Software Architecture

Relating System Quality and Software Architecture

Author: Ivan Mistrik

Publisher: Morgan Kaufmann

ISBN: 9780124171688

Category: Computers

Page: 420

View: 620

Get eBOOK →
System Quality and Software Architecture collects state-of-the-art knowledge on how to intertwine software quality requirements with software architecture and how quality attributes are exhibited by the architecture of the system. Contributions from leading researchers and industry evangelists detail the techniques required to achieve quality management in software architecting, and the best way to apply these techniques effectively in various application domains (especially in cloud, mobile and ultra-large-scale/internet-scale architecture) Taken together, these approaches show how to assess the value of total quality management in a software development process, with an emphasis on architecture. The book explains how to improve system quality with focus on attributes such as usability, maintainability, flexibility, reliability, reusability, agility, interoperability, performance, and more. It discusses the importance of clear requirements, describes patterns and tradeoffs that can influence quality, and metrics for quality assessment and overall system analysis. The last section of the book leverages practical experience and evidence to look ahead at the challenges faced by organizations in capturing and realizing quality requirements, and explores the basis of future work in this area. Explains how design decisions and method selection influence overall system quality, and lessons learned from theories and frameworks on architectural quality Shows how to align enterprise, system, and software architecture for total quality Includes case studies, experiments, empirical validation, and systematic comparisons with other approaches already in practice.

Model-Based Safety and Assessment

Model-Based Safety and Assessment

Author: Marco Bozzano

Publisher: Springer

ISBN: 9783319641195

Category: Computers

Page: 273

View: 707

Get eBOOK →
​This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

Inventive Communication and Computational Technologies

Inventive Communication and Computational Technologies

Author: G. Ranganathan

Publisher: Springer Nature

ISBN: 9789811501463

Category: Technology & Engineering

Page: 1415

View: 608

Get eBOOK →
This book gathers selected papers presented at the Inventive Communication and Computational Technologies conference (ICICCT 2019), held on 29–30 April 2019 at Gnanamani College of Technology, Tamil Nadu, India. The respective contributions highlight recent research efforts and advances in a new paradigm called ISMAC (IoT in Social, Mobile, Analytics and Cloud contexts). Topics covered include the Internet of Things, Social Networks, Mobile Communications, Big Data Analytics, Bio-inspired Computing and Cloud Computing. The book is chiefly intended for academics and practitioners working to resolve practical issues in this area.

Trustworthy Cyber-Physical Systems Engineering

Trustworthy Cyber-Physical Systems Engineering

Author: Alexander Romanovsky

Publisher: CRC Press

ISBN: 9781498742481

Category: Computers

Page: 462

View: 423

Get eBOOK →
From the Foreword "Getting CPS dependability right is essential to forming a solid foundation for a world that increasingly depends on such systems. This book represents the cutting edge of what we know about rigorous ways to ensure that our CPS designs are trustworthy. I recommend it to anyone who wants to get a deep look at these concepts that will form a cornerstone for future CPS designs." --Phil Koopman, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA Trustworthy Cyber-Physical Systems Engineering provides practitioners and researchers with a comprehensive introduction to the area of trustworthy Cyber Physical Systems (CPS) engineering. Topics in this book cover questions such as What does having a trustworthy CPS actually mean for something as pervasive as a global-scale CPS? How does CPS trustworthiness map onto existing knowledge, and where do we need to know more? How can we mathematically prove timeliness, correctness, and other essential properties for systems that may be adaptive and even self-healing? How can we better represent the physical reality underlying real-world numeric quantities in the computing system? How can we establish, reason about, and ensure trust between CPS components that are designed, installed, maintained, and operated by different organizations, and which may never have really been intended to work together? Featuring contributions from leading international experts, the book contains sixteen self-contained chapters that analyze the challenges in developing trustworthy CPS, and identify important issues in developing engineering methods for CPS. The book addresses various issues contributing to trustworthiness complemented by contributions on TCSP roadmapping, taxonomy, and standardization, as well as experience in deploying advanced system engineering methods in industry. Specific approaches to ensuring trustworthiness, namely, proof and refinement, are covered, as well as engineering methods for dealing with hybrid aspects.