Unified Versioning through Feature Logic

ACM Transactions on Software Engineering and Methodology

Volumn 6, Issue 4, 1997, Pages 398-441

  Zeller, Andreas ^a   Snelting, Gregor ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

D.2.6 Software Engineering : Programming Environments; D.2.7 Software Engineering : Distribution and Maintenance version control; D.2.9 Software Engineering : Management software configuration management; Programming teams

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; STANDARDIZATION; THEOREM PROVING;

FEATURE LOGIC; VERSION SETS;

SOFTWARE ENGINEERING;

EID: 0031258310     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/261640.261654     Document Type: Article

References (64)

1. ADAMS, P. AND SOLOMON, M. 1995. An overview of the CAPITL software development environment. In Software Configuration Management: Selected Papers/ICSE SCM-4 and SCM-5 Workshops, J. Estublier, Ed. Lecture Notes in Computer Science, vol. 1005. Springer-Verlag, New York, 1-34.
2. AÏT-KACI, H. 1986. An algebraic semantics approach to the effective resolution of type equations. Theor. Comput. Sci. 45, 293-351.
3. AÏT-KACI, H. AND NASR, R. 1986. Login: A logic programming language with built-in inheritance. J. Logic Program. 3, 186-215.
4. AÏT-KACI, H. AND PODELSKJ, A. 1991. Towards a meaning of LIFE. In Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming, J. Maluszyǹski and M. Wirsing, Eds. Lecture Notes in Computer Science, vol. 528. Springer-Verlag, New York, 255-274.
5. BERLINER, B. 1990. CVS II: Parallelizing software development. In Proceedings of the 1990 Winter USENIX Conference (Washington, D.C.). USENIX Assoc., Berkeley, Calif.
6. BINKLEY, D., HORWITZ, S., AND REPS, T. 1995. Program integration for languages with procedure calls. ACM Trans. Softw. Eng. Methodol. 4, 1 (Jan.), 3-35.
7. BRACHMAN, R. J. AND LEVESQUE, H. J. 1984. The tractability of subsumption in frame-based description languages. In Proceedings of the 4th National Conference of the American Association for Artificial Intelligence (Austin, Tex., Aug.). AAAI, Menlo Park, Calif., 34-37.
8. BROWN, A., DART, S., FEILER, P., AND WALLNAU, K. 1991. The state of automated configuration 'management. Tech. Rep. CMU/SEI-ATR-91, Software Engineering Inst., Carnegie Mellon Univ., Pittsburgh, Pa., Sept.
9. CONRADI, R. AND TRYGGESETH, E. 1995. Versioning models. In Software Configuration Management: Selected Papers/ICSE SCM-4 and SCM-5 Workshops, J. Estublier, Ed. Lecture Notes in Computer Science, vol. 1005. Springer-Verlag, New York, 80.
10. CONRADI, R. AND WESTFECHTEL, B. 1996. Version models for software configuration management. Tech. Rep. AIB 96-10, RWTH Aachen, Germany, Oct.
11. COURINGTON, W. 1989. The network software environment. Tech. Rep. FE 197-0, Sun Microsystems, Inc., Mountain View, Calif., Feb.
12. DART, S. 1991. Concepts in configuration management systems. In Proceedings of the 3rd International Workshop on Software Configuration Management (Trondheim, Norway, June). ACM Press, New York, 1-18.
13. ENGELS, G., LEWERENTZ, C., NAGL, M., SCHÄFER, W., AND SCHÜRR, A. 1992. Building integrated software development environments - Part 1: Tool specification. ACM Trans. Softw. Eng. Methodol. 1, 2 (Apr.), 135-167.
14. ESTUBLIER, J. 1995. Process session. In Software Configuration Management: Selected Papers/ICSE SCM-4 and SCM-5 Workshops, J. Estublier, Ed. Lecture Notes in Computer Science, vol. 1005. Springer-Verlag, New York, 136-137.
15. ESTUBLIER, J. AND CASALLAS, R. 1994. The Adele configuration manager. In Configuration Management, W. F. Tichy, Ed. Trends in Software, vol. 2. John Wiley and Sons, Chichester, England, 99-133.
16. FEILER, P. H. 1991. Configuration management models in commercial environments. Tech. Rep. CMU/SEI-91-TR-7, Software Engineering Inst., Carnegie Mellon Univ., Pittsburgh, Pa., Mar.
17. FELDMAN, S. I. 1979. Make - A program for maintaining computer programs. Softw. Pract. Exper. 9 (Apr.), 255-265.
18. FOWLER, G., KORN, D., AND RAO, H. 1994. n-DFS: The multiple dimensional file system. In Configuration Management, W. F. Tichy, Ed. Trends in Software, vol. 2. John Wiley and Sons, Chichester, England, 135-154.
19. GULLA, B., KARLSSON, E.-A., AND YEH, D. 1991. Change-oriented version descriptions in EPOS. Softw. Eng. J. 6, 6 (Nov.), 378-386.
20. HARTER, R. 1989. Version management and change control; systematic approaches to keeping track of source code and support files. Unix World 6, 6 (June).
21. IEEE. 1988. IEEE guide to software configuration management. ANSI/IEEE Standard 1042-1987, The Institute of Electrical and Electronics Engineers, New York.
22. IEEE. 1990. IEEE guide to software configuration management plans. ANSI/IEEE Standard 828-1990, The Institute of Electrical and Electronics Engineers, New York.
23. ISO/IEC. 1990. Programming Languages - C. ISO/IEC International Standard 9899:1990 (E), The International Organization for Standardization and The International Electrotechnical Commission, Dec.
24. JONES, N. D., GOMARD, C. K., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Engelwood Cliffs, N.J.
25. KAPLAN, R. M. AND BRESNAN, J. 1982. Lexical-functional grammar: A formal system for grammatical representation. In The Mental Representation of Grammatical Relations, J. Bresnan, Ed. MIT Press, Cambridge, Mass., 173-381.
26. KATZ, R. H. 1990. Toward a unified framework for version modeling in engineering data-bases. ACM Comput. Surv. 22, 4 (Dec.), 375-408.
27. KAY, M. 1984. Functional unification grammar: A formalism for machine translation. In Proceedings of the 10th International Joint Conference on Artificial Intelligence (Stanford, Calif.). 75-78.
28. KRONE, M. AND SNELTING, G. 1994. On the inference of configuration structures from source code. In Proceedings of the 16th International Conference on Software Engineering (Sorrento, Italy, May). IEEE Computer Society Press, Los Alamitos, Calif., 49-57.
29. LACROIX, M. AND LAVENCY, P. 1987. Preferences: Putting more knowledge into queries. In Proceedings of the 13th International Conference on Very Large Data Bases (Brighton, England). VLDB Endowment Press, Saratoga, Calif., 217-225.
30. LAMPEN, A. AND MAHLER, A. 1988. An object base for attributed software objects. In Proceedings of the Fall 88 EUUG Conference (Cascais, Oct.). 95-105.
31. LEBLANG, D. B. 1994. The CM challenge: Configuration management that works. In Configuration Management, W. F. Tichy, Ed. Trends in Software, vol. 2. John Wiley and Sons, Chichester, England, 1-37.
32. LIE, A., CONRADI, R., DIDRIKSEN, T. M., KARLSSON, E.-A., HALLSTEINSEN, S. O., AND HOLAGER, P. 1989. Change oriented versioning in a software engineering database. In Proceedings of the 2nd International Workshop on Software Configuration Management (Princeton, N.J., Oct.). ACM Press, New York, 56-65.
33. MAHLER, A. 1994. Variants: Keeping things together and telling them apart. In Configuration Management, W. F. Tichy, Ed. Trends in Software, vol. 2. John Wiley and Sons, Chichester, England, 39-69.
34. MARTIN, U. AND NIPKOW, T. 1990. Boolean unification - The story so far. In Unification, C. Kirchner, Ed. Academic Press, London, 437-455.
35. MILLER, W. AND MYERS, E. 1985. A file comparison program. Softw. Pract. Exper. 15, 11 (Nov.), 1025-1040.
36. MUNCH, B. P., LARSEN, J.-O., GULLA, B., CONRADI, R., AND KARLSSON, E. A. 1993. Uniform versioning: The change-oriented model. In Proceedings of the 4th International Workshop on Software Configuration Management (preprint) (Baltimore, Md., May). 188-196.
37. NEBEL, B. 1990. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, vol. 422. Springer-Verlag, New York.
38. NEBEL, B. AND SMOLKA, G. 1989. Representation and reasoning with attributive descriptions. In Sorts and Types in Artificial Intelligence, K. H. Bläsius, U. Hedstück, and C.-R. Rollinger, Eds. Lecture Notes in Artificial Intelligence, vol. 256. Springer-Verlag, New York, 112-139.
39. NICKLIN, P. 1991. Managing multi-variant software configurations. In Proceedings of the 3rd International Workshop on Software Configuration Management (Trondheim, Norway, June). ACM Press, New York, 53-57.
40. PLOEDEREDER, E. AND FERGANY, A. 1989. The data model of the configuration management assistant. In Proceedings of the 2nd International Workshop on Software Configuration Management (Princeton, N.J., Oct.). ACM Press, New York, 5-13.
41. PRIETO-DÍAZ, R. 1987. Classifying software for reusability. IEEE Softw. 4, 1 (Jan.).
42. REICHENBERGER, C. 1989. Orthogonal version management. In Proceedings of the 2nd International Workshop on Software Configuration Management (Princeton, N.J., Oct.). ACM Press, New York, 137-140.
43. ROCHKIND, M. J. 1975. The source code control system. IEEE Trans. Softw. Eng. SE-1, 4 (Dec.), 364-370.
44. SACHWEH, S. AND SCHÄFER, W. 1995. Version management for tightly integrated software engineering environments. In Proceedings of the 7th International Conference on Software Engineering Environments (Noordwijkerhout, Netherlands, Apr.). IEEE Computer Society Press, Los Alamitos, Calif.
45. SANDBERG, R., GOLDBERG, D., KLEIMAN, S., WALSH, D., AND LYON, B. 1985. Design and implementation of the Sun Network filesystem. In Proceedings of the Summer 1985 USENIX Conference (Portland, Oreg., June). USENIX Assoc., Berkeley, Calif., 119-130.
46. SARNAK, N., BERNSTEIN, R., AND KRUSKAL, V. 1988. Creation and maintenance of multiple versions. In Proceedings of the International Workshop on Software Version and Configuration Control (Grassau, Jan.). Teubner Verlag, Stuttgart, Germany, 264-275.
47. SCHMERL, B. D. AND MARLIN, C. D. 1995. Designing configuration management facilities for dynamically bound systems. In Software Configuration Management: Selected Papers/ICSE SCM-4 and SCM-5 Workshops, J. Estublier, Ed. Lecture Notes in Computer Science, vol. 1005. Springer-Verlag, New York, 88-100.
48. SCHÜRR, A., WINTER, A. J., AND ZUNDORF, A. 1995. Graph grammar engineering with PROGRES. In Proceedings of the 5th European Software Engineering Conference, W. Schäfer and P. Botella, Eds. Lecture Notes in Computer Science, vol. 989. Springer-Verlag, New York, 219-234.
49. SHIEBER, S., USZKORZEIT, H., PEREIRA, F., ROBINSON, J., AND TYSON, M. 1983. The formalism and implementation of PATR-II. In Research on Interactive Acquisition and Use of Knowledge, J. Bresnan, Ed. SRI International, Menlo Park, Calif.
50. SMOLKA, G. 1992. Feature-constrained logics for unification grammars. J. Logic Program. 12, 51-87.
51. SMOLKA, G. AND AÏT-KACI, H. 1990. Inheritance hierarchies: Semantics and unification. In Unification, C. Kirchner, Ed. Academic Press, London, 489-516.
52. SNELTING, G. 1991. The calculus of context relations. Acta Inf. 28 (May), 411-445.
53. SNELTING, G. 1996. Reengineering of configurations based on mathematical concept analysis. ACM Trans. Softw. Eng. Methodol. 5, 2 (Apr.), 146-189.
54. SNELTING, G., GROSCH, F.-J., AND SCHROEDER, U. 1991. Inference-based support for programming in the large. In Proceedings of the 3rd European Software Engineering Conference, A. van Lamsweerde and A. Fugetta, Eds. Lecture Notes in Computer Science, vol. 550. Springer-Verlag, New York, 396-408.
55. TICHY, W. F. 1985. RCS - A system for version control. Softw. Pract. Exp. 15, 7 (July), 637-654.
56. VAN DER HOEK, A., HEIMBIGNER, D., AND WOLF, A. L. 1996. A generic, peer-to-peer repository for distributed configuration management. In Proceedings of the 18th International Conference on Software Engineering (Berlin, Germany, Mar.). IEEE Computer Society Press, Los Alamitos, Calif., 308-317.
57. WESTFECHTEL, B. 1991. Structure-oriented merging of revisions of software documents. In Proceedings of the 3rd International Workshop on Software Configuration Management (Trondheim, Norway, June). ACM Press, New York, 86-79.
58. WIEBE D. 1993. Object-oriented software configuration management. In Proceedings of the 4th International Workshop on Software Configuration Management (preprint) (Baltimore, Md., May). 241-252.
59. WINKLER, J. F. H. 1987. Version control in families of large programs. In Proceedings of the 9th International Conference on Software Engineering (Monterey, Calif., Mar.). IEEE Computer Society Press, Los Alamitos, Calif., 91-105.
60. ZELLER, A. 1995. A unified version model for configuration management. In Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, G. Kaiser, Ed. Softw. Eng. Notes 20, 4, 151-160.
61. ZELLER, A. 1996. Smooth operations with square operators - The version set model in ICE. In Proceedings of the 6th International Workshop on Software Configuration Management, I. Sommerville, Ed. Lecture Notes in Computer Science, vol. 1167. Springer-Verlag, New York, 8-30.
62. ZELLER, A. 1997a. Versioning software systems through concept descriptions. Comput. Sci. Rep. 97-01, Abteilung Softwaretechnologie, Technical Univ. of Braunschweig, Braunschweig, Germany, Jan.
63. ZELLER, A. 1997b. Configuration management with version sets. Ph.D. thesis, Abteilung Softwaretechnologie, Technical Univ. of Braunschweig, Braunschweig, Germany, Nov.
64. ZELLER A. AND SNELTING, G. 1995. Handling version sets through feature logic. In Proceedings of the 5th European Software Engineering Conference, W. Schäfer and P. Botella, Eds. Lecture Notes in Computer Science, vol. 989. Springer-Verlag, New York, 191-204.