Andreas Zeller, Gregor Snelting  Home/Search
Context Related
| ips.cs.tubs.de/pub/lo...tr9601.ps.gz brahms.fmi.unipassau....tr9601.ps.gz 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: indiana.edu:800...?user+interface (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.6: Smooth Operations with Square Operators - The Version Set Model.. - Zeller (1995) (Correct)
1.3: A Unified Configuration Management Model - Zeller (1995) (Correct)
Similar documents based on text: More All
1.6: The Basic Properties of SCM over Ring - Kornilowicz (1998) (Correct)
0.7: Software Configuration Management: A Roadmap - Estublier (2000) (Correct)
0.6: Handling Version Sets through Feature Logic - Zeller, Snelting (1995) (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/article/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/article/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. - 1985
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
100 Classifying software for reusability (context) - Prieto-Diaz - 1987
76 CVS II: Parallelizing software development - Berliner - 1990
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 - 1994
54 Configuration management models in commercial environments (context) - Feiler - 1991
52 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1991
48 The CM challenge: Configuration management that works (context) - Leblang - 1994
40 the inference of configuration structures from source code - Krone, Snelting - 1994
39 An algebraic semantics approach to the effective resolution .. (context) - Ait-Kaci - 1986
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, Ait-Kaci - 1990
28 Reengineering of configurations based on mathematical concep.. - Snelting - 1996
26 Software---Practice and Experience (context) - Miller, Myers - 1985
25 Program integration for languages with procedure calls - Binkley, Horwitz et al. - 1995
25 Change oriented versioning in a software engineering databas.. (context) - Lie, Conradi et al. - 1989
21 Boolean unification---The story so far (context) - Martin, Nipkow - 1990
21 Structure-oriented merging of revisions of software document.. (context) - Westfechtel - 1991
21 Functional unification grammar: A formalism for machine tran.. (context) - Kay - 1984
18 Variants: Keeping things together and telling them apart (context) - Mahler - 1994
18 Change-oriented version descriptions in EPOS - Gulla, Karlsson et al. - 1991
18 Login: A logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986
16 An object base for attributed software objects - Lampen, Mahler - 1988
16 Version management for tightly integrated software engineeri.. - Sachweh, Schafer - 1995
16 IEC International Standard (context) - Organization, Standardization et al. - 1990
14 Uniform versioning: The changeoriented model - Munch, Larsen et al. - 1993
14 Creation and maintenance of multiple versions (context) - Sarnak, Bernstein et al. - 1988
14 An overview of the CAPITL software development environment - Adams, Solomon - 1995
12 peer-to-peer repository for distributed configuration manage.. (context) - van der Hoek, Heimbigner et al. - 1996
12 A unified version model for configuration management (context) - Zeller - 1995
12 The calculus of context relations (context) - Snelting - 1991
12 Preferences: Putting more knowledge into queries (context) - Lacroix, andLavency - 1987
10 The Network Software Environment (context) - Courington - 1989
10 Inference-based support for programming in the large (context) - Snelting, Grosch et al. - 1991
9 Configuration Management with Version Sets (context) - Zeller - 1997
9 IEEE Transactions on Software Engineering SE (context) - Rochkind - 1975
9 Feature-constrained logics for unification grammars (context) - Smolka - 1992
8 DFS: The multiple dimensional file system (context) - Fowler, Korn et al. - 1994
8 The data model of the configuration management assistant (context) - Ploedereder, Fergany - 1989
8 Smooth operations with square operators---The version set mo.. - Zeller - 1996
7 Managing multi-variant software configurations (context) - Nicklin - 1991
7 IEEE Guide to Software Configuration Management Plans (context) - of, Electronics et al. - 1990
6 The state of automated configuration management - Brown, Dart et al. - 1991
5 Orthogonal version management (context) - Reichenberger - 1989
5 Designing configuration management facilities for dynamicall.. (context) - Schmerl, Marlin - 1995
5 Version control in families of large programs (context) - Winkler - 1987
5 Object-oriented software configuration management (context) - Wiebe - 1993
4 Graph grammar engineering with PROGRES - Schurr, Winter et al. - 1995
4 Version management and change control; systematic approaches.. (context) - Harter - 1989
2 Process session (context) - Estublier - 1995
2 Versioning software systems through concept descriptions (context) - Zeller - 1997
2 Versioning models (context) - Conradi, Tryggeseth - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu:800/cstr?user+interface): More
Reengineering of Configurations Based on Mathematical Concept.. - Snelting (1996) (Correct)
DDD - A Free Graphical Front-End for UNIX Debuggers - Zeller, Lütkehaus (1995) (Correct)
Style - A Practical Type Checker for Scheme - Lindig (1993) (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