Concepedia
Statistics
Publications
1
Citations
159
H-Index
Active since
1995
Zave is an author specializing in formal methods, formal verification, and automated reasoning.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSoftware AnalysisAutomated ReasoningFormal VerificationSoftware Engineering
Publications per year
1995–1995
Deriving Specifications from Requirements: an Example
Jackson, Zave · International Conference on Software Engineering · 1995 · 159 citations
Software Requirement, Engineering, Requirement Engineering +8
1–1 of 1