Cleanroom Software Engineering: Technology and Process

Index

A

Abstract stimuli, 229, 231

defining black box table, 260–269

informal definitions, 272–273

Abstractions

accumulating, 275

black boxes, 222

bundle, 273

clear boxes, 66–69

counting, 274

deletion, 274

history-encapsulating, 274–275

partition, 274

removing black box, 269–272

sequence-based, 274–275

state data, 279–283

stimulus-based, 273–274

Agrawal, K., 19–20, 186

APIs (Application Program Interfaces), 172

Arc names and usage models, 353

Arnold, P. G., 20

B

Baker, F. T., 20

Basili, V. R., 19–20

Biased sampling, 92

Binder, L. H., 20

Black boxes, 9–10, 33–34

abstractions, 222

analyzing canonical sequences, 256–257

behavior, 35–37

canonical sequences, 45

constructing tables, 260–269

defining specification functions, 257–260

defining system ...