Dr Yeung Wing-lok

Publications (1996 - 2001)

Journal Articles

W. L. Yeung and Ming-te Lu. Functional Characteristics of Commercial Web Sites: A Longitudinal Study in Hong Kong. Information & Management, accepted, to appear.

W. L. Yeung and S.A. Schneider. Design and Verification of Distributed Recovery Blocks with CSP. Formal Methods in System Design: An International Journal, 22(3):225-248, 2003.

W.L. Yeung. Automated translation of JSD into CSP - A case study in methods integration. Journal Systems and Software, 55:193-202, 2002.

Ming-te Lu and Wing-lok Yeung. A framework for effective commercial Web application development. Internet Research, 8(2):1666-173, 1998

W. L. Yeung, P. Smith, G. Topping, and E. Bailey. Theoretical Basis for Jackson System Development. Information and Software Technology Journal, 34(8):543-551, August 1992.

Conference Papers

Yeung, W.L., "Analyzing Internet Strategies for Consumer-Oriented Electronic Commerce: A Refined ICDT Model", In Proc. International Conference of Pacific Rim Management, pages 49–55, Toronto, Canada, August 2001.

Yeung, W.L. and Ming-te Lu, "A Multidimensional Framework for Classifying Commercial Web Sites," In Proc. of International Conference of Pacific Rim Management, San Francisco, USA, August 12-15, 1999.

Yeung, W.L. and Lu, Ming-te, "Developing and operating business Web sites: in-house vs. Outsourcing," In Proc. of International Conference of Pacific Rim Management, pages 211-217, Vancouver, B.C., Canada, August 14-16, 1998.

Yeung, W.L. and Lu, Ming-te, "Business use of the WWW in Hong Kong. In Proc. of 1998 Asia Pacific Decision Sciences Institute, pages 291-296, Taipei, Taiwan, June 7-11, 1998.

Ming-te Lu and W.L. Yeung. Effective Web Page Design and Development. In Mehdo Knosrowpour, editor, In Proc. Information Resources Management Association International Conference: Effective Utilization and Management of Emerging Information Technologies, pages 776-779. Idea Group Publichsing, 1998.

W. L. Yeung. Denoational Semantics for JSD. In Proc. Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference, Hong Kong, December 1997

Yeung, W.L., Semantics-Based Support Tools for High Integrity Ada Software, in Proc. of the Ada-Europe'97 International Conference on Reliable Software Technologies, London, UK, 2-4 June 1997.

Yeung, W.L. and Tam, F., Semantics and Algebraic Transformations for Remote Procedure Calls, In Proc. of 12th Australasian Computer Science Conference, Sydney, Australia, 5-7 February 1997.

W. L. Yeung, P. Smith, and G. Topping. A formalisation of Jackson system development. In Proc. Third International conference on Software Engineering for Real Time Systems, pages 31-39, Cirencester, U.K., September 1991.

W.L. Yeung and G. Topping. Translating JSD Structure Text into CSP. In Proc. 4th Conference on Putting Into Practice Methods and Tools for Information System Design, Nantes, France, September 1990.

Ming-te Lu and W.L. Yeung. Planning for Effective Web-Based Commerce Application Development. In Mehdi Khosrowpur, editor, Managing Web-Enabled Technologies In Organizations: A Global Perspective, pages 36-53. Idea Group Publishing, 2000