Using Structural Constraints to Specify and Check Design Intent in Source Code - Ph.D. Dissertation Synopsis

Daqing Hou. Using Structural Constraints to Specify and Check Design Intent in Source Code - Ph.D. Dissertation Synopsis. In 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA. pages 343-346, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.