Abstracting dependencies between software configuration items

Authors:
Carl A. Gunter
Affiliations:
University of Pennsylvania
Venue:
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Year:
1996

Citing 8
Cited 1

Smart recompilation

ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
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
Smartest recompilation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Practical use of a polymorphic applicative language

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrent Objects in a Process Calculus

TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming

Hierarchical modularity

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets. The primary goal is to illustrate the descriptive power of the model and lay theoretical groundwork for using it to design software configuration maintenance tools or model software configurations. As a start in this direction, the paper analyzes and addresses certain limitations in make description files using a form of abstract interpretation.