Concepedia

Honghua Cao

HC

4

Publications

92

Citations

4

H-Index

2006

Active since

Affiliations

Wuhan University(Current)

Honghua Cao is an author at Wuhan University specializing in engineering, system software, and software engineering.

Top concepts

EngineeringSoftware DesignSystem SoftwareSystems EngineeringSoftware EngineeringCloud ComputingComputer ScienceService-oriented ArchitectureDesignGeography

Publications per year

2006–2022

4

Publications

4

Towards Model-based Verification of BPEL with Model Checking

Honghua Cao, Shi Ying, Dehui Du · 2006 · 33 citations

Engineering, Verification, Software Engineering +19

A New Architecture Description Language for Service-Oriented Architec

Xiangyang Jia, Ying Shi, Tao Zhang et al. · 2007 · 28 citations

Web Service Specification, Engineering, Architectural Engineering +17

Reconstructed springtime (March–June) precipitation tracked by tree rings dating back to 1760 CE in the Qinling-Bashan mountainous area

Shijie Wang, Wenmin Man, Feng Chen et al. · Palaeogeography Palaeoclimatology Palaeoecology · 2022 · 20 citations

Climatology, Meteorology, Qinling-bashan Mountainous Area +10

A Rigorous Model of Contract-Based Service Component Architecture

Dehui Du, Jing Liu, Honghua Cao · 2008 · 11 citations

Engineering, Software Engineering, Social Sciences +18

Rows per page

1–4 of 4