RCS—a system for version control
Software—Practice & Experience
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
Version control in families of large programs
ICSE '87 Proceedings of the 9th international conference on Software Engineering
The data model of the configuration management assistant (CMA)
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Change oriented versioning in a software engineering database
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Representation and reasoning with attributive descriptions
Proceedings of the workshop on Sorts and types in artificial intelligence
Toward a unified framework for version modeling in engineering databases
ACM Computing Surveys (CSUR)
The calculus of context relations
Acta Informatica
Concepts in configuration management systems
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Managing multi-variant software configuration
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Structure-oriented merging of revisions of software documents
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Building integrated software development environments. Part I: tool specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Change-oriented version descriptions in EPOS
Software Engineering Journal
Feature-constraint logics for unification grammars
Journal of Logic Programming
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Program integration for languages with procedure calls
ACM Transactions on Software Engineering and Methodology (TOSEM)
The CM challenge: configuration management that works
Configuration management
Variants: keeping things together and telling them apart
Configuration management
The Adele configuration manager
Configuration management
n-DFS: the Multiple Dimensional File System
Configuration management
A unified version model for configuration management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Reengineering of configurations based on mathematical concept analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A generic, peer-to-peer repository for distributed configuration management
Proceedings of the 18th international conference on Software engineering
On the inference of configuration structures from source code
ICSE '94 Proceedings of the 16th international conference on Software engineering
Inference-Based Support for Programming in the Large
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Graph Grammar Engineering with PROGRES
Proceedings of the 5th European Software Engineering Conference
Handling Version Sets Through Feature Logic
Proceedings of the 5th European Software Engineering Conference
Designing Configuration Management Facilities for Dynamically Bound Systems
Selected papers from the ICSE SCM-4 and SCM-5 Workshops, on Software Configuration Management
Selected papers from the ICSE SCM-4 and SCM-5 Workshops, on Software Configuration Management
An Overview of the CAPITL Software Development Environment
Selected papers from the ICSE SCM-4 and SCM-5 Workshops, on Software Configuration Management
Selected papers from the ICSE SCM-4 and SCM-5 Workshops, on Software Configuration Management
Preferences; Putting More Knowledge into Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Smooth Operatons with Square Operators - The Version Set Model in ICE
ICSE '96 Proceedings of the SCM-6 Workshop on System Configuration Management
Version management for tightly integrated software engineering environments
SEE '95 Proceedings of the 1995 Software Engineering Environment Conferences
Version models for software configuration management
ACM Computing Surveys (CSUR)
Yesterday, my program worked. Today, it does not. Why?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A software configuration management model for supporting component-based software development
ACM SIGSOFT Software Engineering Notes
Simplifying and Isolating Failure-Inducing Input
IEEE Transactions on Software Engineering
A Testbed for Configuration Management Policy Programming
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Unified Versioning Using Resource Description Framework
Annals of Software Engineering
A Layered Architecture for Uniform Version Management
IEEE Transactions on Software Engineering
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Feature-Based Product Line Instantiation Using Source-Level Packages
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Software Configuration Management: State of the Art, State of the Practice
SCM-9 Proceedings of the 9th International Symposium on System Configuration Management
Document configuration control processes captured in a workflow
Computers in Industry
An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition
Proceedings of the 26th International Conference on Software Engineering
A version model for supporting adaptation of web pages
Proceedings of the 6th annual ACM international workshop on Web information and data management
An infrastructure for development of object-oriented, multi-level configuration management services
Proceedings of the 27th international conference on Software engineering
Multi-level Con.guration Management with Fine-grained Logical Units
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Impact of software engineering research on the practice of software configuration management
ACM Transactions on Software Engineering and Methodology (TOSEM)
BOTS: a constraint-based component system for synthesizing scalable software systems
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
A data structure for representing multi-version texts online
International Journal of Human-Computer Studies
Triple Graph Grammars or Triple Graph Transformation Systems?
Models in Software Engineering
Verification Support for Generative System Development
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Models and tools for managing development processes
Models and tools for managing development processes
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Dissecting configuration management policies
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Operation-based, fine-grained version control model for tree-based representation
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Customizable-Resources description, selection, and composition: a feature logic based approach
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Managing forked product variants
Proceedings of the 16th International Software Product Line Conference - Volume 1
Feature-oriented software evolution
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
MOD2-SCM: A model-driven product line for software configuration management systems
Information and Software Technology
Feature logic for web resources customization: Design and implementation
International Journal of Knowledge-based and Intelligent Engineering Systems
Hi-index | 0.01 |
Software configuration management (SCM) suffers from tight coupling between SCM version-ing models and the imposed SCM processes. In order to adapt SCM tools to SCM processes, rather than vice versa, we propose a unified versioning model, the version set model. Version sets denote versions, components, and configurations by feature terms, that is, Boolean terms over (feature : value)-attributions. Through feature logic, we deduce consistency of abstract configurations as well as features of derived components and describe how features propagate in the SCM process; using feature implications, we integrate change-oriented and version-oriented SCM models. We have implemented the version set model in an SCM system called ICE, for Incremental Configuration Environment. ICE is based on a featured file system (FFS), where version sets are accessed as virtual files and directories. Using the well-known C preprocessor (CPP) representation, users can view and edit multiple versions simultaneously, while only the differences between versions are stored. It turns out that all major SCM models can be realized and integrated efficiently on top of the FFS, demonstrating the flexible and unifying nature of the version set model.