Concepedia

Software verification and validation: Realistic project approaches

Unknown author(s)

Computer Languages · 1983 · 47 citations · 0 references

Concepts

ComputingComputer EngineeringComputer ScienceFormal MethodsRequirements EngineeringSoftware EngineeringSoftware ArchitectureSoftware DesignSoftware ModelingSoftware Quality AssuranceSoftware ValidationVerificationModel VerificationProgram ValidationProgram VerificationRequirements VerificationSoftware Verification