Catalog > Naturwissenschaft > Informatik > Anwendungs-Software > Saddek Bensalem & Axel Legay: Runtime Verification (PDF)

Saddek Bensalem & Axel Legay
Runtime Verification [PDF ebook]
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Support

Cover von Saddek Bensalem & Axel Legay: Runtime Verification (PDF)

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

€57.61

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format PDF ● ISBN 9783642407871 ● Herausgeber Saddek Bensalem & Axel Legay ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2013 ● herunterladbar 3 mal ● Währung EUR ● ID 6378595 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Saddek Bensalem Axel Legay

16.820 Ebooks in dieser Kategorie

Cover von Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

Cover von Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

Cover von Pooja Kelgaonkar: Mastering Snowflake Platform

Pooja Kelgaonkar: Mastering Snowflake Platform

Handling ever evolving data for business needs can get complex. Traditional methods create bulky and costly-to-maintain data systems. Here, Snowflake emerges as a cost-effective solution, catering to …

Cover von Jessica Keyes: Software Configuration Management

Jessica Keyes: Software Configuration Management

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framew …

Cover von Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

Ronen Barzel & Ken Greenebaum: Audio Anecdotes III

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

Cover von Mayur Borse: Modern Web Development with Deno

Mayur Borse: Modern Web Development with Deno

Deno is a web platform that offers capabilities for Java Script and Type Script and supports modern web standards. It is a straightforward, up-to-date, secure runtime environment for web developers.T …

Cover von Dr. Pratiyush Guleria: Basics of Python Programming

Dr. Pratiyush Guleria: Basics of Python Programming

The basics of Python are the book’s main focus. With practical examples, students will understand the fundamentals of Python. This book is designed in a way that should make every example understanda …

Cover von Dr. Jugnesh Kumar: Data Warehouse and Data Mining

Dr. Jugnesh Kumar: Data Warehouse and Data Mining

Data warehouse and data mining are essential technologies in the field of data analysis and business intelligence. Data warehouse provides a centralized repository of structured data and facilitates …

Cover von Mark Merkow: Secure, Resilient, and Agile Software Development

Mark Merkow: Secure, Resilient, and Agile Software Development

A collection of best practices and effective implementation recommendations that are proven to work, Secure, Resilient, and Agile Software Development leaves the boring details of software security t …

Cover von Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi: Foundations of Probabilistic Logic Programming

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at pr …

nächste Seite >>>