| Title | SCQL: a formal model and a query language for source control repositories |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Hindle, A, German, DM |
| Secondary Title | Proceedings of the 2005 international workshop on Mining software repositories |
| Pagination | 100-104 |
| Publisher | ACM |
| Place Published | New York, NY, USA |
| ISBN Number | 1-59593-123-6 |
| Keywords | evolution, file, gnumeric, modperl, openssl, revision, samba, scm, source code |
| Abstract | Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. A generalized formal model of source control repositories is described herein. The model is a graph in which the different entities stored in the repository become vertices and their relationships become edges. We then define SCQL, a first order, and temporal logic based query language for source control repositories. We demonstrate how SCQL can be used to specify some questions and then evaluate them using the source control repositories of five different large software projects.
|
| URL | http://doi.acm.org/10.1145/1082983.1083161 |
| DOI | 10.1145/1082983.1083161 |
| Full Text | |
100scql.pdf
More...