SCQL : a formal model and a query language for source control repositories

SCQL : a formal model and a query language for source control repositories

Bibliographic Details
Main Author:	Hindle, Abram James.
Other Authors:	German, Daniel M.
Published:	2008
Subjects:	Computer software > Development
Online Access:	http://hdl.handle.net/1828/780

Similar Items

Evidence-based Software Process Recovery
by: Hindle, Abram
Published: (2010)

Evidence-based Software Process Recovery
by: Hindle, Abram
Published: (2010)

Object-oriented query language design and processing
by: Chan, Daniel Kim Chung
Published: (1994)

A unified approach for high level relational query languages
by: Li, Deyi
Published: (1983)

A study of temporal databases and the implementation of a temporal query language
by: Ait-Braham, Abdelaziz
Published: (1991)

Database query using menus and natural language fragments
by: Cuff, R. N.
Published: (1982)

Mining Software Repositories to Assist Developers and Support Managers
by: Hassan, Ahmed
Published: (2006)

Mining Software Repositories to Assist Developers and Support Managers
by: Hassan, Ahmed
Published: (2006)

A visual approach to the development of spatial query languages for geographic information systems
by: Morris, Andrew Justin
Published: (2003)

A methodology for refining formal software specification using transformation-based tools
by: Hsu, Yung-Kao
Published: (2006)

Querying Federations of Eiffel Event Data Repositories
by: Pålsson, Jonatan
Published: (2020)

Interpreter prototypes from formal language definitions
by: Michaelson, Gregory John
Published: (1993)

A study of two formal description languages and their application to PASCAL
by: Badii, Mehdi
Published: (1981)

A functional programming language which integrates queries and updates for managing an entity-function database
by: Meredith, Paul Francis
Published: (1999)

The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981)

Formal modelling and analysis of broadcasting embedded control systems
by: Kendall, David
Published: (2001)

Commit Patterns and Threats to Validity in Analysis of Open Source Software Repositories
by: MacLean, Alexander Curtis
Published: (2012)

BMKB (Business Meta Knowledge Base) : a repository of models for assisting the management of organizational information systems
by: Carvalho, Joao Alvaro Brandao Soares de
Published: (1991)

Mining Software Repositories to Support Software Evolution
by: Kagdi, Huzefa H.
Published: (2008)

Formal models for systems prototyping
by: Barroca, Leonor Maria Melo Torcato
Published: (1989)

Component Repository Browser
by: Danish, Muhammad Rafique, et al.
Published: (2010)

Understanding How GitHub Supports Curation Repositories
by: Yu Wu, et al.
Published: (2018-03-01)

Controlling the software development process through the techniques of software process modelling and formal methods
by: Proudlock, Kimberley M.
Published: (1994)

Specification and implementation of the Larch shared language
by: Everett, Yvonne
Published: (2016)

Supporting conceptual queries over integrated sources of program information
by: De Alwis, Brian
Published: (2008)

Supporting conceptual queries over integrated sources of program information
by: De Alwis, Brian
Published: (2008)

Supporting conceptual queries over integrated sources of program information
by: De Alwis, Brian
Published: (2008)

Analysis on the performance of mobile agents for query retrieval
by: Selamat, Ali, et al.
Published: (2005)

Query processing in temporal object-oriented databases
by: Wang, Lichun
Published: (1999)

Database design and query reformulation with an inference machine
by: Silveira, P. M. da
Published: (1985)

Query specification and accessing strategies for relational databases
by: Longstaff, J. J.
Published: (1980)

Sentiment Analysis On Java Source Code In Large Software Repositories
by: Sinha, Vinayak
Published: (2016)

A compositional model for the formal specification of user interface software
by: Markopoulos, Panagiotis
Published: (1997)

Retrieval and Analysis of Software Systems from SCM Repositories
by: Müller, Michael
Published: (2007)

Integrating formal specification and verification methods in software development
by: He, Xudong
Published: (2015)

Analyzing software repository data to synthesize and visualize relationships between development artifacts

SecMVC : a model for secure software design based on the model-view-controller pattern
by: Colesky, Michael Robert
Published: (2014)

Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories
by: Athos Coimbra Ribeiro
Published: (2018)

Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories
by: Ribeiro, Athos Coimbra
Published: (2018)

Exploring the barriers to formal specification
by: Snook, Colin Frank
Published: (2001)