W. L. Yeung

According to our database, W. L. Yeung authored at least 9 papers between 1990 and 2010.

Collaborative distances:

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

2010

A Comparison of Visual Modeling Notations for Web Services Choreography.

W. L. Yeung

Proceedings of the Pacific Asia Conference on Information Systems, 2010

2005

Formal verification of fault-tolerant software design: the CSP approach.

W. L. Yeung, S. A. Schneider

Microprocess. Microsystems, 2005

High-Level Design of a Ternary Asynchronous Multiplexer.

Walter Dosch, W. L. Yeung

Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

2004

Checking Consistency between UML Class and State Models Based on CSP and B.

W. L. Yeung

J. Univers. Comput. Sci., 2004

A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML.

W. L. Yeung

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML.

W. L. Yeung

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

1997

Semantics-Based Support Tools for High Integrity Ada Software.

W. L. Yeung

Proceedings of the Reliable Software Technologies, 1997

1992

Theoretical basis for Jackson System Development.

W. L. Yeung, P. Smith, G. Topping, E. Bailey

Inf. Softw. Technol., 1992

1990

Implementing JSD designs in Ada: a tutorial.

W. L. Yeung, G. Topping

ACM SIGSOFT Softw. Eng. Notes, 1990