Concepedia

Daqing Hou

DH

2

Publications

95

Citations

2

H-Index

2004

Active since

Affiliations

University of Alberta(Current)

Daqing Hou is an author at University of Alberta specializing in software engineering, system software, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2004–2006

2

Publications

2

Using SCL to specify and check design intent in source code

Daqing Hou, H. James Hoover · IEEE Transactions on Software Engineering · 2006 · 84 citations

Software Maintenance, Engineering, Verification +19

Specifying framework constraints with FCL

Daqing Hou, H. James Hoover, Piotr Rudnicki · Conference of the Centre for Advanced Studies on Collaborative Research · 2004 · 11 citations

Engineering, Verification, Software Engineering +21

Rows per page

1–2 of 2