Publication | Closed Access
Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and Design.
28
Citations
0
References
1974
Year
Software MaintenanceAutomated AidsSoftware RequirementRequirement AnalysisSoftware Requirements AnalysisEngineeringRequirement EngineeringProgram AnalysisSoftware TestingRequirement ModelingFormal MethodsSoftware AnalysisSoftware EngineeringSoftware Requirement SpecificationSteps Toward FormalFormal VerificationSoftware Design
No additional data available for this publication yet. Check back later!