Angebote zu "Validation" (17 Treffer)

Leveraging Applications of Formal Methods, Veri...
€ 65.99 *
ggf. zzgl. Versand

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
€ 59.99 *
ggf. zzgl. Versand

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
€ 65.99 *
ggf. zzgl. Versand

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
€ 65.99 *
ggf. zzgl. Versand

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Verifikation und Validation (Lehrbuch Informati...
€ 3.19 *
zzgl. € 3.99 Versand
Anbieter: reBuy.de
Stand: Jan 4, 2019
Zum Angebot
Principles of Program Analysis
€ 51.99 *
ggf. zzgl. Versand

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Programming Entity Framework: DbContext
€ 17.99 *
ggf. zzgl. Versand

The DbContext API captures Entity Framework?s (EF) most commonly used features and tasks, simplifying development with EF. This concise book shows you how to use the API to perform set operations with the DbSet class, handle change tracking and resolve concurrency conflicts with the Change Tracker API, and validate changes to your data with the Validation API. With DbContext, you?ll be able to query and update data, whether you?re working with individual objects or graphs of objects and their related data. You?ll find numerous C# code samples to help you get started. All you need is experience with Visual Studio and database management basics. * Use EF?s query capabilities to retrieve data, and use LINQ to sort and filter data * Learn how to add new data, and change and delete existing data * Use the Change Tracker API to access information EF keeps about the state of entity instances * Control change tracking information of entities in disconnected scenarios, including NTier applications * Validate data changes before they?re sent to the database, and set up validation rules * Bypass EF?s query pipeline and interact directly with the database

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Hardware-in-the-Loop Simulation
€ 41.99 *
ggf. zzgl. Versand

Safety-critical real-time systems must guarantee correct operation in all operational conditions - even if these conditions are very unlikely to occur (rare events). Hardware-in-the-Loop (HiL) simulation is a common validation technique of real-time systems. In an HiL simulation the environment of a System-Under-Test (SUT) is simulated by an assigned HiL simulator. Thereby, the SUT interacts with the HiL simulator in real-time which necessitates a model of time and interfaces of the HiL simulator that are identical to the model of time and the interfaces of the SUT. In this book an HiL simulation framework is proposed that allows predictable interaction of a distributed HiL simulator and an SUT. This HiL simulation framework comprises configurable simulation components which are interconnected via a time-triggered interaction mechanism. Information flow between the HiL simulator and the SUT is strictly controlled by the progression of synchronized global time and bound to a priori known latency and jitter. This book addresses researchers and engineers in safety-critical domains such as the avionics or automotive industries.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Practical Software Testing
€ 71.99 *
ggf. zzgl. Versand

In präziser, praxisorientierter Form vermitteln die Autoren das Wissen zur Therapie mit Herzschrittmachern und zur Betreuung von Herzschrittmacherpatienten: - anatomisch-physiologische und technische Grundlagen - Indikationen und Auswahl des Schrittmachers - Durchführung der Implantation - Schrittmacherprogrammierung - Kleine und große Schrittmacherkontrolle - Komplikationen und ihre Behandlung - Schrittmacher- oder Elektrodenwechsel Zahlreiche Fallbeschreibungen und EKG-Beispiele tragen zur Anschaulichkeit bei. Die häufigsten Fragen der Patienten an den Arzt sind mit Antwortvorschlägen in einem Anhang zusammengefaßt. Ein Schrittmacherlexikon ermöglicht auf einen Blick die Information über alle spezifischen Begriffe. Based on the needs of the educational community, and the software professional, this book takes a unique approach to teaching software testing. It introduces testing concepts that are managerial, technical, and process oriented, using the Testing Maturity Model (TMM) as a guiding framework. The TMM levels and goals support a structured presentation of fundamental and advanced test-related concepts to the reader. In this context, the interrelationships between theoretical, technical, and managerial concepts become more apparent. In addition, relationships between the testing process, maturity goals, and such key players as managers, testers and client groups are introduced. Topics and features: - Process/engineering-oriented text - Promotes the growth and value of software testing as a profession - Introduces both technical and managerial aspects of testing in a clear and precise style - Uses the TMM framework to introduce testing concepts in a systemmatic, evolutionary way to faciliate understanding - Describes the role of testing tools and measurements, and how to integrate them into the testing process Graduate students and industry professionals will benefit from the book, which is designed for a graduate course in software testing, software quality assurance, or software validation and verification Moreover, the number of universities with graduate courses that cover this material will grow, given the evoluation in software development as an engineering discipline and the creation of degree programs in software engineering.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot
Model-Based Engineering of Embedded Systems
€ 47.99 *
ggf. zzgl. Versand

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering. The content of this book is structured in four parts. Part I ´´Starting Point´´ discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II ´´The SPES Modeling Framework´´ describes the SPES modeling framework. Part III ´´Application and Evaluation of the SPES Modeling Framework´´ reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV ´´Impact of the SPES Modeling Framework´´ summarizes the results achieved and provides an outlook on future work. The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Anbieter: buecher.de
Stand: Jan 16, 2019
Zum Angebot