Concepedia

J. Cheng

JC

3

Publications

100

Citations

3

H-Index

1988

Active since

Affiliations

Kyushu University(Current)

J. Cheng is an author at Kyushu University specializing in engineering, system software, and program analysis.

Top concepts

EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisSystems EngineeringSoftware EngineeringFormal MethodsSoftware DesignOperating Systems

Publications per year

1988–2002

3

Publications

3

A general framework for debugging

K. Araki, Zengo Furukawa, J. Cheng · IEEE Software · 1991 · 68 citations

Software Maintenance, Engineering, Software Systems +19

Process dependence net of distributed programs and its applications in development of distributed systems

J. Cheng · 2002 · 21 citations

Engineering, Distributed Programming, Network Analysis +28

Tasking communication deadlocks in concurrent Ada programs

J. Cheng, K. Araki, Kentaro Ushijima · ACM SIGAda Ada Letters · 1988 · 11 citations · Full text

Engineering, Verification, Software Engineering +19

Rows per page

1–3 of 3