Yang Meng Tan

According to our database, Yang Meng Tan authored at least 5 papers between 1991 and 1994.

Collaborative distances:

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

1994

Formal specification techniques for promoting software modularity, enhancing documentation, and testing specifications.

Yang Meng Tan

PhD thesis, 1994

LCLint: A Tool for Using Specifications to Check Code.

David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

Interface Language for Supporting Programming Styles.

Yang Meng Tan

Proceedings of the Workshop on Interface Definition Languages, 1994

1992

Semantic analysis of Larch Interface Specifications.

Yang Meng Tan

Proceedings of the First International Workshop on Larch, 1992

1991

Toward a design apprentice: supporting reuse and evolution in software design.

Richard C. Waters, Yang Meng Tan

ACM SIGSOFT Softw. Eng. Notes, 1991