SCL: Static Enforcement and Exploration of Developer Intent in Source Code

Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps developers capture and confirm, or explore design intent by using structural constraints on a program model extracted through static analysis. This demonstration will present the design of the SCL language and its checker, and their applications using practical Java examples.

• Type: Conference
• Year: 2007
• Where: ICSE
• Authors: Daqing Hou
• Keywords: Design Intent, ICSE 2007, SCL Language, Software Engineering, Structural Constraint Language