Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reliability \’91 > Reliable Program Design VIA Category Theory
Reliability \’91 |
R.H. Matthews
Routledge
Reliability \’91
Reliable Program Design VIA Category Theory
Authors

Helen M. Edwards; J. Barrie Thompson; Peter Smith

ARI Id

1665941711292_14224920

Access

Not Available Free

Pages

136-151

DOI

10.1201/9781351076333-13

Table of Contents of Book
Showing 1 to 20 of 88 entries
Chapters/HeadingsAuthor(s)PagesInfo
Reliability in Manufacturing
xvi-57
‘Burn-in’ Intelligent a Cost Effective Solutions for Production
Ron Parsons
1-20
Design of Discrete Parts Manufacturing with Respect to Reliability, Quality and Cost
Bistra Dimitrova
21-31
Reliability Demonstration of A High Reliability Disk File
Dr U Daya Perera
32-47
Fault Trees and Parallelism Dedicated to The Dependability Concept
E. Niel; A. Mille
48-58
Data Collection and Analysis
58-107
Some Thoughts on Reliability Growth
Dr. Roger Leitch
59-69
The Use of Fully Integrated Reliability Databases On-Line for Customer Service
Douglas Harper; Tony Bendell
70-83
A Further Survey of Pressure Vessel Failures in the UK
T. J. Davenport
84-99
Amelioration Des Donnees De Fiabilite Operationnelle
Ben M’hamed Abdallah; Chidung Lac
100-108
Human Reliability
108-134
Human Dependent Failure Modelling in Fault Tree Analysis using a Cutset Substitution Method
Barry Whittingham
109-119
A Study of Team Activity Characterization
Kunihide Sasou; Akihiko Nagasaka; Takeo Yukimachi
120-128
Optimal Allocation of Learning Time for Pilots under Cost Constraints
V.M. Catuneanu; C. Moldovan; F.L. Popentiu; D. Popovici
129-134
Experience in advanced human reliability assessment
K. Rea; B. Kirwan; M. Lihou
135-135
Software Reliability
135-210
Reliable Program Design VIA Category Theory
Helen M. Edwards; J. Barrie Thompson; Peter Smith
136-151
An Examination of Computer Aided Software Engineering Tools as an Aid to Software Reliability
S.C. Stobart; J.B. Thompson; P. Smith
152-161
Software Quality Measurement in Complex Systems
Patrick Hivart
162-172
Developing and Assessing Critical Systems
John Elliott
173-186
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 88 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings