Validity
Formal methods
Evaluation
Software engineering
Validation
Technology
Specification
Software development process
Quality
Science
Pharmaceutical industry