Correct System Design

Correct System Design
Author :
Publisher : Springer
Total Pages : 417
Release :
ISBN-10 : 9783540480921
ISBN-13 : 3540480927
Rating : 4/5 (927 Downloads)

Book Synopsis Correct System Design by : Ernst-Rüdiger Olderog

Download or read book Correct System Design written by Ernst-Rüdiger Olderog and published by Springer. This book was released on 2003-06-26 with total page 417 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.


Correct System Design Related Books

Correct System Design
Language: en
Pages: 417
Authors: Ernst-Rüdiger Olderog
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl
Formal Techniques in Real-Time and Fault-Tolerant Systems
Language: en
Pages: 213
Authors: Jan Vytopil
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-toleran
Lectures on Petri Nets II: Applications
Language: en
Pages: 942
Authors: Wolfgang Reisig
Categories: Computers
Type: BOOK - Published: 1998-11-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional ch
Formal Techniques in Real-Time and Fault-Tolerant Systems
Language: en
Pages: 636
Authors: Jan Vytopil
Categories: Computers
Type: BOOK - Published: 1991-12-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and so
Real-Time Systems
Language: en
Pages: 552
Authors: Albert M. K. Cheng
Categories: Computers
Type: BOOK - Published: 2003-03-27 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well