Download:
|
by Andreas Zeller, Andreas Zeller, Abteilung Softwaretechnologie, Abteilung Softwaretechnologie
in ICE. Software Configuration Management: ICSE'96 SCM-6 Workshop Selected Papers
http://brahms.fmi.uni-passau.de/st/papers/tr-95-08/tr-95-08.ps.gz
Add To MetaCart
Abstract:
Implementing software configuration management (SCM) in an organization raises various integration problems. We present the Incremental Configuration Environment (ICE), a novel SCM system providing smooth integration with both the software process and the development environment. ICE is based on the version set model, where versions, components, and aggregates are grouped into sets according to their features, using feature logic as a formal base to denote sets and operations and to deduce consistency. Version sets generalize well-known SCM concepts such as components, repositories, workspaces, aggregates, or configurations and allow for flexibility in combining these concepts. For integration in software development environments, ICE provides a featured file system (FFS), where version sets are represented as files and directories. In the FFS, arbitrary programs can incrementally access and explore version sets. Using the well-known C preprocessor (CPP) representation, users can view and edit multiple versions simultaneously, while still only the differences between version sets are stored. Facilities for multi-version merging or deductive program construction care for effective work coordination and automatic reuse of derived objects. Key words: Software configuration management, Version control, File systems management, Deduction and theorem
Citations
|
372
|
Design and implementation of the Sun network filesystem
– Sandberg, Goldberg, et al.
- 1985
|
|
336
|
RCS--a system for version control
– Tichy
- 1985
|
|
268
|
Make: a program for maintaining computer programs’, Software – practise and experience
– Feldman
- 1979
|
|
238
|
The source code control system
– Rochkind
- 1975
|
|
158
|
Classifying software for reusability
– Prieto-D'iaz, Freeman
- 1987
|
|
140
|
The Tractability of Subsumption in Frame-based Description Languages
– Brachman, Levesque
- 1984
|
|
126
|
A Logical Semantics for Feature Structures
– Kasper, Rounds
- 1986
|
|
71
|
The formalism and implementation of PATR-II
– Shieber, Uszkoreit, et al.
- 1983
|
|
70
|
Configuration Management Models in Commercial Environments
– Feiler
- 1991
|
|
61
|
The CM challenge: Configuration management that works
– LEBLANG
- 1994
|
|
59
|
Functional unification grammar: a formalism for machine translation
– Kay
|
|
55
|
The Adele configuration manager
– ESTUBLIER, R
- 1994
|
|
52
|
Snelting: On the Inference of Configuration Structures from Source Code
– Krone, G
|
|
46
|
A file comparison program
– MILLER, MYERS
- 1985
|
|
46
|
Representation and reasoning with attributive descriptions
– Nebel, Smolka
- 1990
|
|
42
|
Program integration for languages with procedure calls
– BINKLEY, HORWITZ, et al.
- 1995
|
|
37
|
A program integration algorithm that accommodates semantics-preserving transformations
– Yang, Horwitz, et al.
- 1992
|
|
32
|
Inheritance Hierarchies: Semantics and Unification
– Smolka, Ait-Kaci
- 1989
|
|
27
|
Concept-based component retrieval
– Lindig
- 1995
|
|
23
|
Deduction-based software component retrieval
– Fischer, Schumann, et al.
- 1998
|
|
23
|
Variants: Keeping Things Together and Telling Them Apart
– Mahler
- 1994
|
|
23
|
Structure-oriented merging of revisions of software documents
– WESTFECHTEL
- 1991
|
|
18
|
Handling version sets through feature logic
– ZELLER, SNELTING
- 1995
|
|
17
|
An overview of the CAPITL software development environment
– ADAMS, M
- 1995
|
|
17
|
nDFS: The multiple dimensional file system
– FOWLER, KORN, et al.
- 1994
|
|
14
|
An object base for attributed software objects
– Lampen, Mahler
- 1988
|
|
14
|
Uniform versioning: The change-oriented model
– MUNCH, LARSEN, et al.
- 1993
|
|
13
|
A unified version model for configuration management
– ZELLER
- 1995
|
|
12
|
The Network Software Environment
– Courington
- 1989
|
|
11
|
Change-oriented version descriptions in EPOS
– GULLA, KARLSSON, et al.
- 1991
|
|
8
|
The Odin specification language
– Clemm
- 1988
|
|
7
|
A logic-based approach to system modelling
– Rich, Solomon
- 1991
|
|
7
|
Feature-constrained logics for unification grammars
– Smolka
- 1992
|
|
5
|
Object-oriented software configuration management
– Wiebe
- 1993
|
|
4
|
Version management and change control; systematic approaches to keeping track of source code and support files
– Harter
- 1989
|
|
4
|
Using prolog for Software System Maintenance
– Kielmann
- 1992
|
