Zhisong Tang, Chinese computer scientist (Changsha, Hunan Province 07 August 1925 – Beijing 21 July 2008)
Proved many structural properties of computer control transfer (1960s)
Proposed independently an alternative cycle for computer programming set (1965)
Designed XYZ/E system the first executable temporal logic language and the first to use language control mechanism into state transitions out of the logic system in the world (1978)
Developed XYZ/E based CASE tools which can support software development process