Abstracting dependencies between software configuration items

Authors:
Carl A. Gunter
Affiliations:
Univ. of Pennslyvania
Venue:
ACM Transactions on Software Engineering and Methodology (TOSEM)
Year:
2000

Citing 14
Cited 6

RCS—a system for version control

Software—Practice & Experience
Smart recompilation

ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A model of software manufacture

An international workshop on Advanced programming environments
Version control in the Inscape environment

ICSE '87 Proceedings of the 9th international conference on Software Engineering
A case for make

Software—Practice & Experience - Unix tools
A Graph Model for Software Evolution

IEEE Transactions on Software Engineering
Smartest recompilation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Systematic derivation of incremental programs

Science of Computer Programming
Smarter recompilation

ACM Transactions on Programming Languages and Systems (TOPLAS)
A unified version model for configuration management

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Analysis and caching of dependencies

Proceedings of the first ACM SIGPLAN international conference on Functional programming
Incremental computation: a semantics-based systematic transformational approach

Incremental computation: a semantics-based systematic transformational approach
Program fragments, linking, and modularization

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Managing Projects with Make

Managing Projects with Make

Source Tree Composition

ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Concordance, conformance, versions, and traceability

TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Source Code Analysis: A Road Map

FOSE '07 2007 Future of Software Engineering
Improving change management in software development: Integrating traceability and software configuration management

Decision Support Systems
On software component co-installability

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Build code analysis with symbolic evaluation

Proceedings of the 34th International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets called production nets. A general theory of build optimizations and their correctness is developed based on a form of abstract interpretation called a build abstraction; these are created during a build and are used to optimize subsequent builds. Various examples of such optimizations are discussed. The theory is used to show how properties can be characterized and proved, and how optimizations can be composed and compared.