Specification driven tradespace analysis
Dept. Comput. Sci., Univ. Virginia, Tech. Rep. CS-2015-1(2015)
Abstract
This paper contributes experimental results suggesting that formal synthesis of large spaces of software designs from relational logic specifications, combined with large-scale dynamic analysis of the synthesized designs, tends to reveal significantly better designs than those produced by widely used methods. The results in this paper are from the particular domain of object-relation mapping (ORM). Our experiments were enabled by a novel, general, and formal framework for automated design synthesis and dynamic trade-space analysis. We instantiated it to create an ORM-specific apparatus for our experiments. We present the design and evaluation of this framework as a second contribution of this work.
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined