RCS—a system for version control
Software—Practice & Experience
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An axiomatic basis for computer programming
Communications of the ACM
Organizing software in a distributed environment
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Computer-Aided Software Engineering in a distributed workstation environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
ICSE '88 Proceedings of the 10th international conference on Software engineering
An integrated toolset for engineering software configurations
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A graph transform model for configuration management environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ICSE '89 Proceedings of the 11th international conference on Software engineering
Problems of scale and process models
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
A practical approach to semantic configuration management
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
On correctly configuring versioned objects
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Consistency management in a project management assistant
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A decision-based configuration process model
ICSE '90 Proceedings of the 12th international conference on Software engineering
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
Dimensions of consistency in source versions and system compositions
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
An object-oriented model of software configuration management
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Abstracting dependencies between software configuration items
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Version models for software configuration management
ACM Computing Surveys (CSUR)
Software evolution and “light” semantics (extended abstract)
Proceedings of the 21st international conference on Software engineering
Minimizing time-space cost for database version control
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Abstracting dependencies between software configuration items
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
The Cactis Project: Database Support for Software Environments
IEEE Transactions on Software Engineering
Component Change and Version Identification in SOFA
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Impact of software engineering research on the practice of software configuration management
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
We present the important issues to be considered in version control mechanisms and characterize and compare the kinds of version control systems extant in current programming environments. We then characterize Inscape's version control mechanism. Invariant, and show that it makes several significant advances in the state of the art. Using Instress (Inscape's module interface specification language) specifications, Invariant provides a better understanding of the notion of parallel versions, a more comprehensive notion of version consistency, and a more flexible method of system composition than current mechanisms. In particular, Invariant provides a formalization of the notions of version equivalence and compatibility that correspond closely with our intuitive (and practical) notions of version equivalence and compatibility. These various forms of version compatibility provide the system builder with the concept of plug-compatibility — an extremely useful facility in composing systems from component parts.