( en | de | ru )

 

Disambiguation of "Cheng, Jingde"

Author of the publication

copydeleteadd this publication to your clipboard
A System Dependence Net Generator for Ada Programs.

, , , , and . APSEC, page 441-448. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cheng-Yung Cheng

I-Fen Cheng

Ying Min Cheng

Xuerong Cheng

Yao Cheng

 

Other publications of authors with the same name

A systematic methodology for automated theorem finding., , and . Theor. Comput. Sci., (2014)A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines., , and . ACIIDS (1), volume 10751 of Lecture Notes in Computer Science, page 59-70. Springer, (2018)Dependence-Based Complexity Metrics for Distributed Programs.. ICPP (2), page 265-268. CRC Press, (1993)Evolutionary Personal Information Partners.. CIS (1), page 108-113. IEEE Computer Society, (2008)Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing.. EUC (1), page 408-414. IEEE Computer Society, (2008)An Integrated Support Environment for Distributed Software Development based on Unified Program Representations., , , , and . APSEC, page 254-263. IEEE Computer Society, (1995)A Comparative Study Between Soft System Bus and Traditional Middlewares., , , and . OTM Workshops (2), volume 4278 of Lecture Notes in Computer Science, page 1264-1273. Springer, (2006)Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications.. TRI-Ada, page 67-78. ACM, (1997)Formal verification of security specifications with common criteria., , , and . SAC, page 1506-1512. ACM, (2007)A Supporting Tool for Development of Self-Measurement Ada Programs., , and . Ada-Europe, volume 1845 of Lecture Notes in Computer Science, page 69-81. Springer, (2000)