The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (2006 vol.32)
pp: 404-423
Daqing Hou , IEEE
ABSTRACT
Software developers often fail to respect the intentions of designers due to missing or ignored documentation of design intent. SCL (Structural Constraint Language) addresses this problem by enabling designers to formalize and confirm compliance with design intent. The designer expresses his intent as constraints on the program model using the SCL language. The SCL conformance checking tool examines developer code to confirm that the code honors these constraints. This paper presents the design of the SCL language and its checker, a set of practical examples of applying SCL, and our experience with using it both in an industrial setting and on open-source software.
INDEX TERMS
Design intent, structural constraints, program analysis, object-oriented software, SCL, FCL.
CITATION
Daqing Hou, H. James Hoover, "Using SCL to Specify and Check Design Intent in Source Code", IEEE Transactions on Software Engineering, vol.32, no. 6, pp. 404-423, June 2006, doi:10.1109/TSE.2006.60
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool