Chyan-Goei Chung

According to our database, Chyan-Goei Chung authored at least 22 papers between 1982 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Symbolic path-based protocol verification.

Wen Chien Liu, Chyan-Goei Chung

Inf. Softw. Technol., 2000

Path-based protocol verification approach.

Wen Chien Liu, Chyan-Goei Chung

Inf. Softw. Technol., 2000

Path-based Model Checking.

Wen Chien Liu, Chyan-Goei Chung

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

An Expert-System Technique for Object-Oriented Program Testing.

Wu-Chi Chen, Deng-Jyi Chen, Chyan-Goei Chung

J. Object Oriented Program., 1999

1997

An enhanced zero-one optimal path set selection method.

Chyan-Goei Chung, Jen-Gaw Lee

J. Syst. Softw., 1997

1996

A Behavior-Based Classification and Retrieval Technique for Object-Oriented Specification Reuse.

Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung

Softw. Pract. Exp., 1996

An executable specification language for specification understanding in object-oriented specification reuse.

Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung

Inf. Softw. Technol., 1996

1994

An Object-Oriented Graphics System Adopting User Interface Management Techniques.

Yin-Hsong Hsu, Yue-Sun Kuo, Chyan-Goei Chung

J. Inf. Sci. Eng., 1994

An object-oriented modelling approach to system software design.

P. J. Lee, Deng-Jyi Chen, Chyan-Goei Chung

Inf. Softw. Technol., 1994

A knowledge-based operation support system for network traffic management.

Chen-Yuan Chang, Chyan-Goei Chung

Decis. Support Syst., 1994

An OOA model with system function specifications.

Shih-Chien Chou, Chyan-Goei Chung

Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

A structural testing method for C++ programs.

Jen-Gaw Lee, Ming-Jyh Feng, Chyan-Goei Chung

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1991

Reliability modeling of parallel programs with modular structure using stochastic Petri nets.

Tsu-Feng Ho, Wah-Chun Chan, Chyan-Goei Chung

J. Syst. Softw., 1991

Restructuring operations for data-flow diagrams.

Ming-Jie Chen, Chyan-Goei Chung

Softw. Eng. J., 1991

On generating test data from prototypes.

Ren-Juh Lea, Slong Chen, Chyan-Goei Chung

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

The analysis of infeasible concurrent paths of concurrent Ada programs.

Ren-Dar Yang, Chyan-Goei Chung

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

A process modeling language for large process control systems.

Ming-Jie Chen, Chyan-Goei Chung

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

Testing Concurrent Ada Program with Reproducible Test Cases.

Ren-Dar Yang, Chyan-Goei Chung

Proceedings of the SEKE'89, 1989

A Two-Level Model for Software Rapid Prototyping.

Ren-Juh Lea, Chyan-Goei Chung

Proceedings of the SEKE'89, 1989

Zero-one integer programming model in path selection problem of structural testing.

Jin-Cherng Lin, Chyan-Goei Chung

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

The Design of a Traffic Control Expert System for Long Distance Network Contingencies.

Chen-Yuan Chang, Chyan-Goei Chung, Jin-Tuu Wang

Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, 1988

1982

Digitalization of continuous-data systems via time-response matching.

Chyan-Goei Chung, Kuang-Wei Han, Hsi-Han Yeh

Inf. Sci., 1982