DocumentCode

2974571

Title

Completeness, Robustness, And Safety In Real-time Software Requirements Specification

Author

Jaffe, Matthew S. ; Leveson, Nczncy G.

Author_Institution

Hughes Aircraft Company

fYear

1989

fDate

15-18 May 1989

Firstpage

302

Lastpage

311

Keywords

Aircraft; Computer errors; Computer science; Permission; Production; Robustness; Software engineering; Software safety; Software testing; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1989. 11th International Conference on

ISSN

0270-5257

Print_ISBN

0-8186-8941-2

Type

conf

DOI

10.1109/ICSE.1989.714438

Filename

714438