Publication | Open Access

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis

Software MaintenanceSoftware RequirementEngineeringRuntime Dependability AnalysisRequirement EngineeringProgram AnalysisSoftware TestingRequirement ModelingFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringRequirement ManagementComputer ScienceFormal VerificationSoftware DesignBusiness Requirement