Dependable Software Systems Engineering

Dependable Software Systems Engineering
Author :
Publisher : IOS Press
Total Pages : 320
Release :
ISBN-10 : 9781614994954
ISBN-13 : 1614994951
Rating : 4/5 (951 Downloads)

Book Synopsis Dependable Software Systems Engineering by : M. Irlbeck

Download or read book Dependable Software Systems Engineering written by M. Irlbeck and published by IOS Press. This book was released on 2015-05-26 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe. This book presents papers from the NATO Advanced Study Institute Summer School Dependable Software Systems Engineering, held in Marktoberdorf, Germany, in July and August 2014. Lecturers were drawn from prestigious research groups representing both industry and academia, and the course was designed as an in-depth presentation and teaching of state-of-the-art scientific techniques and methods covering research and industrial practice as well as scientific principles. Topics covered included: syntax-guided synthesis; system behaviors and problem frames; dependable human-intensive systems; automatic alias analysis and frame inference; fault-based testing; and mechanized unifying theories of programming. Marktoberdorf is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results and the discussion and development of new ideas will be of interest to all those whose work involves the engineering of dependable software systems.

Dependable Software Systems Engineering Related Books

Dependable Software Systems Engineering
Language: en
Pages: 320
Authors: M. Irlbeck
Categories: Political Science
Type: BOOK - Published: 2015-05-26 - Publisher: IOS Press

GET EBOOK

We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe. This book p
Engineering Secure and Dependable Software Systems
Language: en
Pages: 278
Authors: A. Pretschner
Categories: Computers
Type: BOOK - Published: 2019-08-06 - Publisher: IOS Press

GET EBOOK

Almost all technical systems currently either interface with or are themselves largely software systems. Software systems must not harm their environment, but a
Engineering Dependable Software Systems
Language: en
Pages: 0
Authors: M. Broy
Categories: Computer networks
Type: BOOK - Published: 2013 - Publisher:

GET EBOOK

Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and
Dependable Software Systems Engineering
Language: en
Pages: 0
Authors: Alexander Pretschner
Categories: Software engineering
Type: BOOK - Published: 2017 - Publisher:

GET EBOOK

Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable
Fundamentals of Dependable Computing for Software Engineers
Language: en
Pages: 438
Authors: John Knight
Categories: Computers
Type: BOOK - Published: 2012-01-12 - Publisher: CRC Press

GET EBOOK

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive