Scholarlink

This book is about the use of techniques and tools for the design and implementation of computer systems and software that are free from logical or functional flaws (in the sense of functional requirements). The word rigorous in the title of this book is justified by the fact that the arguments for such fault freeness have their roots in computer science, logic, and mathematics rather than in empirical and statistical studies. In this sense this book will address concepts and techniques for fault avoidance rather than fault tolerance (which in itself represents a rich and very important area in computer system and software engineering).

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Introduction

  • 章节

  • 发表日期：

    2026年

查看全文
  • José Bacelar Almeida,
  • Maria João Frade,
  • Jorge Sousa Pinto,
  • Simão Melo de Sousa

摘要

This book is about the use of techniques and tools for the design and implementation of computer systems and software that are free from logical or functional flaws (in the sense of functional requirements). The word rigorous in the title of this book is justified by the fact that the arguments for such fault freeness have their roots in computer science, logic, and mathematics rather than in empirical and statistical studies. In this sense this book will address concepts and techniques for fault avoidance rather than fault tolerance (which in itself represents a rich and very important area in computer system and software engineering).