| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Generic Standard for Safety Related Computers
|
Rzehak, H.
|
|
1988
|
21 |
18 |
p. 17-20
4 p.
|
artikel
|
| 2 |
An Empirical Exploration of Five Software Fault Detection Methods 1
|
Shimeall, T.J.
|
|
1988
|
21 |
18 |
p. 79-85
7 p.
|
artikel
|
| 3 |
An Environment for Requirements Specification and Analysis of Real-time Software Based on Timed Petri Nets
|
Bologna, S.
|
|
1988
|
21 |
18 |
p. 7-10
4 p.
|
artikel
|
| 4 |
Author Index
|
|
|
1988
|
21 |
18 |
p. 139-
1 p.
|
artikel
|
| 5 |
Computers in Planes and Satellites
|
Pélegrin, M.J.
|
|
1988
|
21 |
18 |
p. 121-132
12 p.
|
artikel
|
| 6 |
Fault Tolerant Computer Design — The Hardware Implemented Fault Tolerant Approach
|
Goring, C.J.
|
|
1988
|
21 |
18 |
p. 71-77
7 p.
|
artikel
|
| 7 |
Implementing Reliable Conversation in Concurrent Software Systems
|
Clematis, A.
|
|
1988
|
21 |
18 |
p. 47-52
6 p.
|
artikel
|
| 8 |
Information and Decision Support Systems for Risk Analysis
|
Fedra, K.
|
|
1988
|
21 |
18 |
p. 53-59
7 p.
|
artikel
|
| 9 |
Keyword Index
|
|
|
1988
|
21 |
18 |
p. 141-
1 p.
|
artikel
|
| 10 |
Possibilities and Limitations of Error Detection by White-box Testing Methods, Including the Domain Borders Method
|
Gayen, J.-T.
|
|
1988
|
21 |
18 |
p. 35-40
6 p.
|
artikel
|
| 11 |
Preface
|
Ehrenberger, Wolfgang
|
|
1988
|
21 |
18 |
p. vii-
1 p.
|
artikel
|
| 12 |
Principles for Design for Safety
|
Quirk, W.J.
|
|
1988
|
21 |
18 |
p. 101-106
6 p.
|
artikel
|
| 13 |
Probabilistic Modelling of Software Failure Characteristics
|
Bishop, P.G.
|
|
1988
|
21 |
18 |
p. 87-93
7 p.
|
artikel
|
| 14 |
Qualification Methodology Refinements after Real World Feedback
|
Monaco, F.A.
|
|
1988
|
21 |
18 |
p. 67-70
4 p.
|
artikel
|
| 15 |
Reducing the Risks from Systems Documentation Errors
|
Taylor, J.R.
|
|
1988
|
21 |
18 |
p. 61-65
5 p.
|
artikel
|
| 16 |
SAGA: A Software Development Environment for Dependability Automatic Controls
|
Bergerand, J.L.
|
|
1988
|
21 |
18 |
p. 11-16
6 p.
|
artikel
|
| 17 |
Software Measures for Quality and Safety
|
Runge, B.
|
|
1988
|
21 |
18 |
p. 21-26
6 p.
|
artikel
|
| 18 |
Structures and Trends in Design of Flight Control Systems for Modern Fighter Aircraft
|
Omlor, S.
|
|
1988
|
21 |
18 |
p. 133-138
6 p.
|
artikel
|
| 19 |
The Formal Verification of Safety-critical Assembly Code
|
O’Neill, I.M.
|
|
1988
|
21 |
18 |
p. 115-120
6 p.
|
artikel
|
| 20 |
The Introduction, Use and Improvement of Guidelines
|
Redmill, F.J.
|
|
1988
|
21 |
18 |
p. 41-45
5 p.
|
artikel
|
| 21 |
The Licensing and Assessment of Computer Safety Systems
|
Bloomfield, R.E.
|
|
1988
|
21 |
18 |
p. 107-114
8 p.
|
artikel
|
| 22 |
The Maintenance of Computer Based Safety Systems
|
Smith, I.C.
|
|
1988
|
21 |
18 |
p. 27-33
7 p.
|
artikel
|
| 23 |
Thinking Traps in Programming — A Systematic Collection of Examples
|
Grams, T.
|
|
1988
|
21 |
18 |
p. 95-100
6 p.
|
artikel
|
| 24 |
Tools for the Standardised Software Safety Assessment. (The SOSAT Project)
|
Dahll, G.
|
|
1988
|
21 |
18 |
p. 1-6
6 p.
|
artikel
|
Tijdschrift beschrijving