Requirements and Constraints on Software Engineering Environments for Dependable Systems

J A McDermid, E S Hocking, Q Shi, J E Dobson

Research output: Working paper

Abstract

It is well understood that the dependability of software running in some system is contingent on the tools used to produce that software. This report is primarily concerned with the influence of tools on the dependability of software used in dependable systems.
Original languageEnglish
Publication statusPublished - 1990

Keywords

  • PDCS B5 report Karlsruhe

Cite this