Conformance testing requirements for formal development of testability-directed PICSP.

Hazem El-Gendy Robert L. Probert

Published in: CATA (1998)

Keyphrases

case study
software engineering
software testing
development lifecycle
quality assurance
formal methods
decision support
knowledge based systems
development process
design principles
functional requirements
systems development
data mining
decision making
information processing
test cases