Pharmaceutical industry
Validity
Technology
Quality
Evaluation
Verification
Validation
Software development process
Runtime verification
Science
Systems engineering
Formal methods