{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:52:21Z","timestamp":1752461541454},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604068"},{"type":"electronic","value":"9783540455523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60406-5_15","type":"book-chapter","created":{"date-parts":[[2011,7,5]],"date-time":"2011-07-05T19:52:06Z","timestamp":1309895526000},"page":"191-204","source":"Crossref","is-referenced-by-count":8,"title":["Handling version sets through feature logic"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Zeller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Snelting","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,18]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Paul Adams and Marvin Solomon. An overview of the capitl software development environment. In Feldman [Fel93], pages 3\u201328.","DOI":"10.1007\/3-540-60578-9_1"},{"key":"15_CR2","unstructured":"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\u201337, Austin, Texas, August 1984."},{"key":"15_CR3","first-page":"99","volume-title":"volume 2 of Trends in Software","author":"J. Estublier","year":"1994","unstructured":"Jacky Estublier and Rubby Casallas. The Adele configuration manager. In Tichy [Tic94], pages 99\u2013133."},{"key":"15_CR4","unstructured":"Stuart Feldman, editor. Proc. 4th International Workshop on Software Configuration Management (Preprint), May 1993."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bernd Fischer, Matthias Kievernagel, and Gregor Snelting. Deduction-based software component retrieval. In K\u00f6hler et al. [KGGW95]. To appear.","DOI":"10.1007\/978-94-017-0437-3_11"},{"issue":"6","key":"15_CR6","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1049\/sej.1991.0039","volume":"6","author":"B. Gulla","year":"1991","unstructured":"Bjorn Gulla, Even-Andr\u00e9 Karlsson, and Dashing Yeh. Change-oriented version descriptions in EPOS. Software Engineering Journal, 6(6):378\u2013386, November 1991.","journal-title":"Software Engineering Journal"},{"key":"15_CR7","unstructured":"Proc. of the International Workshop on Software Version and Configuration Control. Teubner Verlag, Stuttgart, January 1988."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"M. Kay. Functional unification grammar: A formalism for machine translation. In Proc. 10th International Joint Conference on Artificial Intelligence, pages 75\u201378, 1984.","DOI":"10.3115\/980431.980509"},{"key":"15_CR9","unstructured":"Jana K\u00f6hler, 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, August 1995. To appear."},{"key":"15_CR10","first-page":"257","volume-title":"A logical semantics for feature structures","author":"R. T. Kasper","year":"1986","unstructured":"R. T. Kasper and W. C. Rounds. A logical semantics for feature structures. In Proc. of the 24th Annual Meeting of the ACL, pages 257\u2013265, Columbia University, New York, 1986."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Maren Krone and Gregor Snelting. On the inference of configuration structures from source code. In Proc. 16th International Conference on Software Engineering, pages 49\u201357. IEEE Computer Society Press, May 1994.","DOI":"10.1109\/ICSE.1994.296765"},{"key":"15_CR12","first-page":"1","volume-title":"volume 2 of Trends in Software","author":"D. B. Leblang","year":"1994","unstructured":"David B. Leblang. The CM challenge: Configuration management that works. In Tichy [Tic94], pages 1\u201337."},{"key":"15_CR13","unstructured":"Christian Lindig. Concept-based component retrieval. In K\u00f6hler et al. [KGGW95], pages 21\u201325. To appear."},{"key":"15_CR14","unstructured":"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\u2013225, Brighton, 1987."},{"key":"15_CR15","unstructured":"Andreas Lampen and Axel Mahler. An object base for attributed software objects. In Proc. of the Fall '88 EUUG Conference, pages 95\u2013105, October 1988."},{"key":"15_CR16","first-page":"39","volume-title":"volume 2 of Trends in Software","author":"A. Mahler","year":"1994","unstructured":"Axel Mahler. Variants: Keeping things together and telling them apart. In Tichy [Tic94], pages 39\u201369."},{"key":"15_CR17","unstructured":"Bjorn P. Munch, Jens-Otto Larsen, Bjorn Gulla, Reidar Conradi, and Even Andre Karlsson. Uniform versioning: The change-oriented model. In Feldman [Fel93], pages 188\u2013196."},{"issue":"11","key":"15_CR18","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1002\/spe.4380151102","volume":"15","author":"W. Miller","year":"1985","unstructured":"W. Miller and Eugene Myers. A file comparison program. Software\u2014Practice and Experience, 15(11):1025, 1985.","journal-title":"Software\u2014Practice and Experience"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Peter Nicklin. Managing multi-variant software configurations. In Peter H. Feiler, editor, Proc. 3rd International Workshop on Software Configuration Management, pages 53\u201357. ACM Press, June 1991.","DOI":"10.1145\/111062.111068"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"B. Nebel and G. Smolka. Representation and reasoning with attributive descriptions. In K. H. Bl\u00e4sius, U. Hedst\u00fcck, and C.-R. Rollinger, editors, Sorts and Types in Artificial Intelligence, volume 256 of Lecture Notes in Artificial Intelligence, pages 112\u2013139. Springer-Verlag, April 1989.","DOI":"10.1007\/3-540-52337-6_21"},{"issue":"4","key":"15_CR21","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1109\/TSE.1975.6312866","volume":"SE-1","author":"M. J. Rochkind","year":"1975","unstructured":"Marc J. Rochkind. The source code control system. IEEE Transactions on Software Engineering, SE-1(4):364\u2013370, December 1975.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR22","first-page":"489","volume-title":"Unification","author":"G. Smolka","year":"1990","unstructured":"Gerd Smolka and Hassan A\u00eft-Kaci. Inheritance hierarchies: Semantics and unification. In Claude Kirchner, editor, Unification, pages 489\u2013516. Academic Press, London, 1990."},{"key":"15_CR23","first-page":"264","volume-title":"Creation and maintenance of multiple versions","author":"N. Sarnak","year":"1988","unstructured":"N. Sarnak, R. Bernstein, and V. Kruskal. Creation and maintenance of multiple versions. In IWSVCC [IWS88]., pages 264\u2013275."},{"issue":"3","key":"15_CR24","first-page":"116","volume":"9","author":"G. Snelting","year":"1994","unstructured":"Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, and Andreas Zeller. Die inferenzbasierte Softwareentwicklungsumgebung Nora. Informatik\u2014Forschung und Entwicklung, 9(3):116\u2013131, August 1994. In German.","journal-title":"Informatik\u2014Forschung und Entwicklung"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Gregor Snelting, Franz-Josef Grosch, and Ulrik Schroeder. Inference-based support for programming in the large. In A. van Lamsweerde and A. Fugetta, editors, Proc. 3rd European Software Engineering Conference, volume 550 of Lecture Notes in Computer Science, pages 396\u2013408. Springer-Verlag, October 1991.","DOI":"10.1007\/3540547428_60"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","volume":"12","author":"G. Smolka","year":"1992","unstructured":"Gert Smolka. Feature-constrained logics for unification grammars. Journal of Logic Programming, 12:51\u201387, 1992.","journal-title":"Journal of Logic Programming"},{"key":"15_CR27","volume-title":"Computer Science Report 95-02","author":"G. Snelting","year":"1995","unstructured":"Gregor Snelting. Reengineering of configurations based on mathematical concept analysis. Computer Science Report 95-02, Technical University of Braunschweig, Germany, January 1995. Submitted for publication."},{"key":"15_CR28","unstructured":"S. Shieber, H. Uszkorzeit, F. Pereira, J. Robinson, and M. Tyson. The formalism and implementation of Patr-ii. In J. Bresnan, editor, Research on Interactive Acquisition and Use of Knowledge. SRI International, 1983."},{"issue":"7","key":"15_CR29","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"15","author":"W. F. Tichy","year":"1985","unstructured":"Walter F. Tichy. Rcs\u2014A system for version control. Software\u2014Practice and Experience, 15(7):637\u2013654, July 1985.","journal-title":"Software\u2014Practice and Experience"},{"key":"15_CR30","series-title":"volume 2 of Trends in Software","volume-title":"Configuration Management","year":"1994","unstructured":"Walter F. Tichy, editor. Configuration Management, volume 2 of Trends in Software. John Wiley & Sons, Chichester, England, 1994."},{"key":"15_CR31","unstructured":"J\u00fcrgen F.H. Winkler. Version control in families of large programs. In E. Riddle, editor, Proc. 9th International Conference on Software Engineering, pages 91\u2013105. IEEE Computer Society Press, March 1987."},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"Andreas Zeller. A unified version set model for configuration management. In G. Kaiser, editor, Proc. of the ACM SIGSOFT '95 Symposium on the Foundations of Software Engineering. ACM Press, October 1995. To appear.","DOI":"10.1145\/222124.222151"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60406-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T19:23:43Z","timestamp":1560367423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60406-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604068","9783540455523"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-60406-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}