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

Authors:
Daqing Hou
Affiliations:
Clarkson University, New York
Venue:
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Year:
2007

Citing 2
Cited 1

Fcl: automatically detecting structural errors in framework-based development

Fcl: automatically detecting structural errors in framework-based development
Using SCL to Specify and Check Design Intent in Source Code

IEEE Transactions on Software Engineering

An empirical study of the design and implementation of object equality in Java

CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software developers spend a large fraction of their time dealing with intent, seeking to answer questions like Does this code really do what it is expected to do?Is this module used appropriately?Is this code easy to modify or extend?Can this code be used in a different context? As a result, developers make many mutually-dependent design decisions to express intentions about software and try to convert them into code precisely.