1988 · 10 citations · 0 references
EngineeringComputer ScienceFormal MethodsRequirements EngineeringSoftware EngineeringRequirements AnalysisRequirements ManagementRequirements SpecificationSafety RequirementsSoftware DesignSystem RequirementsReal-time ConstraintsReal-time RequirementsRequirements CompletenessRequirements VerificationSafety Requirement SpecificationSafety Requirements SpecificationSoftware Requirements Specification