.png){kind=icon}
返回
Using SCL to specify and check design intent in source code
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2006.60.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
design intent
structural constraints
program analysis
object-oriented software
SCL
FCL
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
暂无机构信息
引用论文
分享收藏
分享收藏Anticoagulant Effects of 1α,25-Dihydroxyvitamin D3 on Human Myelogenous Leukemia Cells and Monocytes.png)
Blood
BloodIF0
PREAI
分享收藏Effects of Heavy Metals andMeloidogyne haplaon Celery Grown on Organic Soil Near a Nickel Refinery
PREAI
分享收藏
查看更多内容