ISSN:
1573-1367
Keywords:
software quality
;
safety-critical quality issues
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Research is described, aimed to support traceability in the design of software for safety-critical applications, through the provision of an on-line design journal enabling design decisions and actions to be traced and recorded. The design environment, within which various software design tools may be encapsulated, enables protocol between the user and the design tools to be trapped. This provides software engineering support at the conceptual design stage. An important aim of the research is to enable inferences to be made from the captured protocol, for which the application of artificial intelligence methods is being investigated.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00419775
Permalink
