Publication | Closed Access

A requirements modeling language and its logic

Software RequirementEngineeringRequirement EngineeringAutomated ReasoningRequirement ModelingFormal MethodsSoftware EngineeringRequirements ModelingSoftware DesignRequirements Engineering