Concepedia

Refining System Requirements to Program Specifications

Ernst-Ruediger Olderog, Anders P. Ravn, Jens Ulrik Skakkebæk

1996 · 27 citations · 0 references

Concepts

EngineeringComputer ScienceSystems EngineeringRequirements EngineeringSoftware EngineeringSystems DesignRequirements AnalysisRequirements ElicitationRequirements ManagementRequirements ModelingSpecification LanguagesSystem RequirementsFormal ModelingFormal Requirement SpecificationFormal SpecificationsSpecification ModelingSystem Requirements Specification