Smooth Operations with Square Operators The Version Set Model fn ICE

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1167, Issue , 1996, Pages 8-30

  Zeller, Andreas ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Deduction and theorem proving; Feature logic; File systems management; Knowledge representation formalisms and methods; Software configuration management; Version control

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FILE ORGANIZATION; ICE; INTEGRATION; KNOWLEDGE REPRESENTATION; SOFTWARE ENGINEERING;

FEATURE LOGIC; FILE SYSTEMS; KNOWLEDGE REPRESENTATION FORMALISMS AND METHODS; SOFTWARE CONFIGURATION MANAGEMENT; VERSION CONTROL;

SOFTWARE DESIGN;

EID: 84949677395     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/13928716     Document Type: Conference Paper

References (47)

1. Paul Adams and Marvin Solomon. An overview of the CAPITL software development environment. In Jacky Estublier, editor, Software Configuration Management: selected papers/ICSE SCM-4 and SCM-5 workshops, number 1005 in Lecture Notes in Computer Science, pages 1-34, Seattle, Washington, October 1995. Springer-Verlag.
2. Brian Berliner. CVS II: Parallelizing software development. In Proc. of the 1990 Winter USENIX Conference, Washington, D.C., 1990
3. David Binkley, Susan Horwitz, and Thoas Reps. Program integration for languages with procedure calls. ACM Transactions on Software Engineering and Methodology, 4(1):3-35, January 1995
4. Ronald. J. Brachman and H. J. Levesque. The tractability of subsumption in frame-based description languages. In Proc. of the 4th National Conference of the American Association for Artificial Intelligence, pages 34-37, Austin, Texas, August 1984
5. A. Brown, S. Dart, P. Feiler, and K. Wallnau. The state of automated configuration management. Technical Report CMU/SEI-ATR-91, Software Engineering Institure, Carnegie Mellon University, Pittsburgh, PA, September 1991
6. Geoffrey M. Clemm. The Odin specification language. In Jurgen F. H. Winkler, editor, Proc of the International Workshop on Software Version and Configuration Control, pages 145-158, Grassau, January 1988, Teubner Verlag, Stuttgart
7. William Courington. The Network Software Environment. Technical Report FE 197-0, Sun Microsystems, Inc., February 1989
8. Jacky Estublier and Rubby Casallas. The Adele configuration manager. In Tichy [41], pages 99-133
9. Peter H. Feiler. Configuration management models in commercial environments. Technical Report CMU/SEI-91-TR-7, Software Engineering Institure, Carnegie Mellon University, Pittsburgh, PA, March 1991
10. Peter H. Feiler, editor. Proc3rd International Workshop on Software Configuration Management, Trondheim, Norway, June 1991. ACM Press
11. Stuart Feldman, editor. Proc4th International Workshop on Software Configuration Management (Preprint), Baltimore, Maryland, May 1993
12. Stuart I. Feldman. Make-A program for maintaining computer programs. Software-Practice and Experience, 9:255-265, April 1979
13. Bernd Fischer, Matthias Kievemagel, and Gregor Snelting. Deduction-based software component retrieval. In Kohler et al. [21], pages 1-5
14. Glenn Fowler, David Korn, and Herman Rao. n-DFS: The multiple dimensional file system. In Tichy [41], pages 135-154
15. Bjorn Gulla, Even-Andre Karlsson, and Dashing Yeh. Change-oriented version descriptions in EPOS. Software Engineering Journal, 6(6):378-386, November 1991
16. Richard Harter. Version management and change control; systematic approaches to keeping track of source code and support files. Unix World, 6(6), June 1989
17. Richard Harter.The International Organization for Standardization and The International Electrotechni-cal Commission. Programming Languages-C, December 1990. ISO/IEC International Standard 9899:1990 (E)
18. R. T. Kasper and W. C. Rounds. A logical semantics for feature structures. In Procof the 24th Annual Meeting of the ACL, pages 257-265, Columbia University, New York, 1986
19. M. Kay. Functional unification grammar: A formalism for machine translation. In Proc10th International Joint Conference on Artificial Intelligence, pages 75-78, Stanford, 1984
20. Thilo Kielmann. Using PROLOG for software system maintenance. In Proc of the First International Conference on the Practical Application of PROLOG, London, UK, April 1992
21. Jana Kohler, Fausto Giunchiglia, Cordell Green, and Christoph Walther, editors. Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, Montreal, August 1995
22. Maren Krone and Gregor Snelting. On the inference of configuration structures from source code. In Proc16th International Conference on Software Engineering, pages 49-57, Sorrento, Italy, May 1994. IEEE Computer Society Press
23. M. Lacroix and P. Lavency. Preferences: Putting more knowledge into queries. In Peter M. Stocker and William Kent, editors, Proc of the 13th International Conference on Very Large Data Bases, pages 217-225, Brighton, 1987
24. Andreas Lampen and Axel Mahler. An object base for attributed software objects. In Proc of the Fall '88 EUUG Conference, pages 95-105, Cascais, October 1988
25. David B. Leblang. The CM challenge: Configuration management that works. In Tichy [41], pages 1-37
26. Anund Lie, Reidar Conradi, Tor M. Didriksen, Even-Andre Karlsson, Svein 0. Hallstein-sen, and Per Holager. Change oriented versioning in a software engineering database. In Walter F. Tichy, editor, Proc2nd International Workshop on Software Configuration Management, pages 56-65, Princeton, New Jersey, October 1989. ACM Press
27. Christian Lindig. Concept-based component retrieval. In Kohler et al. [21], pages 21-25
28. Axel Mahler. Variants: Keeping things together and telling them apart. In Tichy [41], pages 39-69
29. W. Miller and Eugene Myers. A file comparison program. Software-Practice and Experience, 15(11):1025, 5
30. Bjorn P. Munch, Jens-Otto Larsen, Bjorn G198ulla, Reidar Conradi, and Even Andre Karls-son. Uniform versioning: The change-oriented model. In Feldman [11], pages 188-196
31. B. Nebel and G. Smolka. Representation and reasoning with attributive descriptions. In K. H. Blasius, U. Hedsttick, and C.-R. Rollinger, editors, Sorts and Types in Artificial Intelligence, volume 256 of Lecture Notes in Artificial Intelligence, pages 112-139, Eringer-feld, April 1989. Springer-Verlag
32. Peter Nicklin. Managing multi-variant software configurations. In Feiler [10], pages 53-57
33. Ruben Prieto-Diaz. Classifying software for reusability. IEEE Software, 4(1), January 1987
34. Anthony Rich and Marvin Solomon. A logic-based approach to system modelling. In Feiler [10], pages 84-93
35. Marc J. Rochkind. The source code control system. IEEE Transactions on Software Engineering, SE-1(4):364-370, December 1975
36. R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon. Design and implementation of the Sun Network filesystem. In Proc of the Summer 1985 USEN1X conference, pages 119-130, Portland, Oregon, June 1985
37. S. Shieber, H. Uszkorzeit, F. Pereira, J. Robinson, and M. Tyson. The formalism and implementation of PAIR-II. In J. Bresnan, editor, Research on Interactive Acquisition and Use of Knowledge. SRI International, 1983
38. Gerd Smolka and Hassan Alt-Kati. Inheritance hierarchies: Semantics and unification. In Claude Kirchner, editor, Unification, pages 489-516. Academic Press, London, 1990
39. Gert Smolka. Feature-constrained logics for unification grammars. Journal of Logic Programming, 12:51-87, 1992
40. Walter F. Tichy. RCS-A system for version control. Software-Practice and Experience, 15(7):637-654, July 1985
41. Walter F. Tichy, editor. Configuration Management, volume 2 of Trends in Software. John Wiley & Sons, Chichester, England, 1994
42. Bernhard Westfechtel. Structure-oriented merging of revisions of software documents. In Feiler [10], pages 86-79
43. Douglas Wiebe. Object-oriented software configuration management. In Feldman [11], pages 241-252
44. Wuu Yang, Susan Horwitz, and Thomas Reps. A program integration algorithm that accommodates semantics-preserving transformations. ACM Transactions on Software Engineering and Methodology, 1(3):310-354, July 1992
45. Andreas Zeller. A unified version model for configuration management. In Gail Kaiser, editor, Proc3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 20 (4) of ACM Software Engineering Notes, pages 151-160, Washington, DC, October 1995. ACM Press
46. Andreas Zeller and Gregor Snelting. Handling version sets through feature logic. In Wilhelm Schafer and Pere Botella, editors, Proc5th European Software Engineering Conference, volume 989 of Lecture Notes in Computer Science, pages 191-204, Sitges, Spain, September 1995. Springer-Verlag
47. Andreas Zeller and Gregor Snelting. Unified versioning through feature logic. Computer Science Report 96-01, Technical University of Braunschweig, Germany, February 1996. Submitted for publication