Andreas Zeller, Gregor Snelting  Home/Search
Context Related
| ucdavis.edu/~devanbu/forab.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucdavis.edu/~devanbu/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software Configuration Management (SCM) suffers from tight coupling between SCM versioning 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... (Update)
Context of citations to this paper: More
.... software configuration management, where feature logic is used to denote software versions and to deduce their mutual consistency [50, 51]. The first mathematical treatment of record descriptions was the formalisms of y terms [1] In other approaches, y terms were called...
Cited by: More
Schema Evolution In Software Engineering Databases - A.. - Ahmed-Nacer, Estublier (2000) (Correct)
An Experimental, Pluggable Infrastructure for Modular.. - van der Lingen, van.. (2004) (Correct)
Grammatically Interpreting Feature Compositions - Zhao, Bryant, Cao, Raje.. (2004) (Correct)
Active bibliography (related documents): More All
5.0: Unified Versioning through Feature Logic - Zeller, Snelting (1997) (Correct)
1.4: Smooth Operations with Square Operators - The Version Set Model.. - Zeller (1995) (Correct)
1.0: A Unified Configuration Management Model - Zeller (1995) (Correct)
Similar documents based on text: More All
1.4: Handling Version Sets through Feature Logic - Zeller, Snelting (1995) (Correct)
1.3: Incremental Configuration Management Based on Feature.. - Zeller, Snelting (1994) (Correct)
1.1: Software Configuration with Feature Logic - Zeller (Correct)
Related documents from co-citation: More All
11: Version Models for Software Configuration Management - Conradi, Westfechtel - 1997
8: Software -- Practice and Experience (context) - TICHY, RCS - 1985
7: Make--a program for maintaining computer programs - Feldman - 1979
BibTeX entry: (Update)
A. Zeller and G. Snelting. Unified Versioning through Feature Logic. ACM Transactions on Software Engineering and Methodology, 6(4):398--441, October 1997. This article was processed using the L A T E X macro package with LLNCS style http://citeseer.ist.psu.edu/zeller97unified.html More
@article{ zeller97unified,
author = "Andreas Zeller and Gregor Snelting",
title = "Unified versioning through feature logic",
journal = "ACM Transactions on Software Engineering and Methodology",
volume = "6",
number = "4",
pages = "398--441",
year = "1997",
url = "citeseer.ist.psu.edu/zeller97unified.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
380 Design and implementation of the Sun Network filesystem - Sandberg, Goldberg et al.
246 Lexical-functional grammar: A formal system for grammatical .. (context) - Kaplan, Bresnan - 1982
202 Make---A program for maintaining computer programs - Feldman - 1979
193 Reasoning and Revision in Hybrid Representation Systems (context) - Nebel - 1990
177 Software---Practice and Experience (context) - Tichy - 1985
123 Toward a unified framework for version modeling in engineeri.. (context) - Katz - 1990
118 The tractability of subsumption in frame-based description l.. (context) - Brachman, Levesque - 1984
76 CVS II: Parallelizing software development - Berliner
75 The formalism and implementation of PATR-II (context) - Shieber, Uszkorzeit et al. - 1983
75 Version models for software configuration management - Conradi, Westfechtel - 1996
68 Building integrated software development environments---Part.. (context) - Engels, Lewerentz et al. - 1992
61 The Adele configuration manager - Estublier, Casallas
54 Configuration management models in commercial environments (context) - Feiler - 1991
48 The CM challenge: Configuration management that works (context) - Leblang - 1994
43 Graph grammar engineering with PROGRES (context) - Schrr, Winter et al. - 1995
40 the inference of configuration structures from source code - Krone, Snelting - 1994
33 Concepts in configuration management systems - Dart - 1991
32 Representation and reasoning with attributive descriptions (context) - Nebel, Smolka - 1989
29 Inheritance hierarchies: Semantics and unification (context) - Smolka, At-Kaci - 1990
28 Reengineering of configurations based on mathematical concep.. - Snelting - 1996
26 Software---Practice and Experience (context) - Miller, Myers - 1985
25 Change oriented versioning in a software engineering databas.. (context) - Lie, Conradi et al.
25 Program integration for languages with procedure calls - Binkley, Horwitz et al. - 1995
22 Login: A logic programming language with built-in inheritanc.. (context) - At-Kaci, Nasr
21 Boolean unification---The story so far (context) - Martin, Nipkow - 1990
21 Functional unification grammar: A formalism for machine tran.. (context) - Kay - 1984
21 Structure-oriented merging of revisions of software document.. (context) - Westfechtel - 1991
20 Towards a meaning of LIFE (context) - At-Kaci, Podelski - 1991
18 Variants: Keeping things together and telling them apart (context) - Mahler
18 Change-oriented version descriptions in EPOS - Gulla, Karlsson et al. - 1991
16 An object base for attributed software objects - Lampen, Mahler - 1988
16 Version management for tightly integrated software engineeri.. - Sachweh, Schfer - 1995
14 An overview of the CAPITL software development environment - Adams, Solomon - 1995
14 Programming Languages---C (context) - Organization, Standardization et al.
14 Uniform versioning: The changeoriented model - Munch, Larsen et al. - 1993
14 Creation and maintenance of multiple versions (context) - Sarnak, Bernstein et al. - 1988
12 peer-to-peer repository for distributed configuration manage.. (context) - van der Hoek, Heimbigner et al. - 1996
12 The calculus of context relations (context) - Snelting - 1991
12 Preferences: Putting more knowledge into queries (context) - Lacroix, Lavency - 1987
12 A unified version model for configuration management (context) - Zeller - 1995
10 The Network Software Environment (context) - Courington - 1989
10 Inference-based support for programming in the large (context) - Snelting, Grosch et al. - 1991
9 IEEE Transactions on Software Engineering SE (context) - Rochkind - 1975
9 Configuration Management with Version Sets (context) - Zeller - 1997
9 Feature-constrained logics for unification grammars (context) - Smolka - 1992
8 Smooth operations with square operators---The version set mo.. - Zeller - 1996
8 The data model of the configuration management assistant (context) - Ploedereder, Fergany - 1989
8 DFS: The multiple dimensional file system (context) - Fowler, Korn et al. - 1994
7 IEEE Guide to Software Configuration Management Plans (context) - of, Electronics et al.
7 IEEE Guide to Software Configuration Management (context) - of, Electronics et al.
7 Managing multi-variant software configurations (context) - Nicklin - 1991
6 The state of automated configuration management - Brown, Dart et al. - 1991
5 Version control in families of large programs (context) - Winkler - 1987
5 Object-oriented software configuration management (context) - Wiebe - 1993
5 Orthogonal version management (context) - Reichenberger
5 Designing configuration management facilities for dynamicall.. (context) - Schmerl, Marlin - 1995
3 Classifying software for reusability (context) - Prieto-Daz - 1987
2 Versioning software systems through concept descriptions (context) - Zeller - 1997
2 Versioning models (context) - Conradi, Tryggeseth - 1995
2 An algebraic semantics approach to the effective resolution .. (context) - At-Kaci - 1986
2 Process session (context) - Estublier - 1995
1 Version management and change control; systematic approaches.. (context) - Harter - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ucdavis.edu/~devanbu/): More
Authentic Third-party Data Publication - Devanbu, Gertz, Martel, Stubblebine (1999) (Correct)
A General Model for Authentic Data Publication - Martel, Nuckolls, Devanbu.. (Correct)
Flexible Authentication of XML Documents - Devanbu, Gertz, Kwong, Martel.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC