Stephen H. Edwards is an author at The Ohio State University specializing in formal specification, software engineering, and system software.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2002–2002
2
2
A framework for detecting interface violations in component-based software
Stephen H. Edwards, G. Shakir, Murali Sitaraman et al. · 2002 · 39 citations
Characterizing observability and controllability of software components
Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym et al. · 2002 · 15 citations
Rows per page
1–2 of 2