3
Publications
135
Citations
3
H-Index
1995
Active since
Affiliations
The University of Texas at Austin(Current)
John A. Chaves is an author at The University of Texas at Austin specializing in software design, formal specification, and system software.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
1995–2006
3
3
A framework for evaluating specification methods for reactive systems
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan et al. · 1995 · 51 citations · Full text
Rows per page
1–3 of 3