Publication | Closed Access

On the role of semantics in automated requirements tracing

Software MaintenanceSoftware RequirementEngineeringRequirement EngineeringProgram AnalysisAutomated ReasoningSoftware TestingRequirement ModelingFormal MethodsSoftware EngineeringComputer ScienceAutomated RequirementsSoftware AnalysisSoftware Design