Edinburgh Research Explorer

Reliable and Accountable System Design

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://journals.cambridge.org/abstract_S0269888997003044
Original languageEnglish
Pages (from-to)289-305
Number of pages17
JournalKnowledge Engineering Review
Volume12
Issue number3
Publication statusPublished - 1997

Abstract

Few would disagree with the assertion that safe engineering starts from the early stages of system design and should be maintained throughout the lifecycle. Different engineering domains have developed, mostly informal, frameworks with which they hope to promote this attitude. An interesting question for the KBS community is whether some of our methods for knowledge representation and reasoning can be used to assist in understanding, representing and interpreting such frameworks. This paper concentrates on what is (arguably) the area of greatest concern: relating system requirements to high level design. We highlight what appear to be the major difficulties which face us in this area, using examples from systems which have been built to tackle them.

Download statistics

No data available

ID: 3505357