{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:22Z","timestamp":1725663982898},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:12:49Z","timestamp":1330211569000},"page":"396-408","source":"Crossref","is-referenced-by-count":3,"title":["Inference-based support for programming in the large"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Snelting","sequence":"first","affiliation":[]},{"given":"Franz-Josef","family":"Grosch","sequence":"additional","affiliation":[]},{"given":"Ulrik","family":"Schroeder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1145\/6465.20890","volume":"4","author":"R. Bahlke","year":"1986","unstructured":"Bahlke, R. and Snelting, G.: The PSG System: From Formal Language Definitions to Interactive Programming Environments. ACM TOPLAS 8, 4 (October 1986), pp. 547\u2013576.","journal-title":"ACM TOPLAS 8"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Collberg, C.S. and Krampell, M.G.: A Property-Based Method for Selecting among Multiple Implementations of Modules. Proc. ESEC 87, LNCS 289, pp. 193\u2013201.","DOI":"10.1007\/BFb0022112"},{"key":"22_CR3","first-page":"181","volume":"4","author":"P. Elzer","year":"1989","unstructured":"Elzer, P.: Management von Softwareprojekten. Informatik Spektrum 12, 4 (August 1989), pp. 181\u2013197.","journal-title":"Informatik Spektrum 12"},{"key":"22_CR4","unstructured":"Embley, D.W. and Woodfield, S.N.: A Knowledge Structure for Reusing Abstract Data Types. Proc. 9th Intern. Conference on Software Engineering, IEEE 1987."},{"key":"22_CR5","first-page":"85","volume":"2","author":"A. Endres","year":"1988","unstructured":"Endres, A.: Software-Wiederverwendung: Ziele, Wege und Erfahrungen. Informatik Spektrum 11, 2 (April 1988), pp. 85\u201395.","journal-title":"Informatik Spektrum 11"},{"key":"22_CR6","unstructured":"Estublier, J.: Configuration Managment. Proc. International Workshop on Software Version and Variant Control, Grassau 1988."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Fages, F.: Associative-Commutative Unification. Proc. 7th CADE, 1984, LNCS 170, pp. 194\u2013208.","DOI":"10.1007\/978-0-387-34768-4_12"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Feldmann, S. L: Make \u2014 A program for maintaining computer programs. Software Practice and Experience, Vol. 9, April 1979.","DOI":"10.1002\/spe.4380090402"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Mahler A. and Lampen, A.: An Integrated Toolset for Engineering Software Configurations. Proc. Practical Software Engineering Environments, SIGPLAN Notices 24, 2 (February 1989).","DOI":"10.1145\/64140.64142"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Nagl, M.: Eine integrierte Softwareentwicklungsumgebung \u2014 ein alternativer konzeptioneller Ansatz. Proc. Software Entwicklung, Marburg 1989, Informatik Fachberichte 212, pp. 21\u201342.","DOI":"10.1007\/978-3-642-74872-1_2"},{"key":"22_CR11","unstructured":"Pfreundschuh, M.: A Model for Building Modular Systems Based on Attribute Grammars. PhD thesis, University of Iowa, Dept of Computer Science, 1986."},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"7","author":"W. F. Tichy","year":"1985","unstructured":"Tichy, W. F.: RCS \u2014 A System for Version Control. Software Practice and Experience 15, 7 (Juli 1985), pp. 637\u2013654.","journal-title":"Software Practice and Experience 15"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Runciman, C. and Toyn, I.: Retrieving Re-usable Software Components by Polymorphic Type. Proc. Functional Languages and Computer Architecture, ACM 1989, pp. 166\u2013173.","DOI":"10.1145\/99370.99383"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Rittri, M.: Using Types as Search Keys in Function Libraries. Proc. Functional Languages and Computer Architecture, ACM 1989, pp. 174\u2013183.","DOI":"10.1145\/99370.99384"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Schroeder, U.: Incremental Variant Control. Proc. 2nd International Workshop on Software Version and Variant Control, Princeton 1989, pp. 145\u2013148.","DOI":"10.1145\/72910.73363"},{"key":"22_CR16","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BF01178581","volume":"28","author":"G. Snelting","year":"1991","unstructured":"Snelting, G.: The Calculus of Context Relations. ACTA INFORMATICA Vol. 28 (May 1991), pp. 411\u2013445.","journal-title":"ACTA INFORMATICA"},{"key":"22_CR17","unstructured":"Winkler, J. and Stoffel, Ch.: Program-Variations-in-the-Small. Proc. 1st International Workshop on Software Version and Variant Control, Grassau 1988, pp. 1\u201320."},{"key":"22_CR18","first-page":"174","volume":"4","author":"R. Zimbel","year":"1989","unstructured":"Zimbel, R. and Weber, P.: Ein Expertensystem zur Auswahl von wiederverwendbaren Programmoduln. Informatik Forschung und Entwicklung 4, 4 (1989), pp. 174\u2013192.","journal-title":"Informatik Forschung und Entwicklung 4"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:30Z","timestamp":1605646590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3540547428_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}