{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:05:47Z","timestamp":1725894347081},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159995"},{"type":"electronic","value":"9783642708404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-70840-4_2","type":"book-chapter","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T03:27:22Z","timestamp":1320377242000},"page":"17-41","source":"Crossref","is-referenced-by-count":2,"title":["Wissensbasierte Software-Entwicklung"],"prefix":"10.1007","author":[{"given":"W.","family":"Bibel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"A study of the competitive position of the US Computer Industry. US Department of Commerce, March 10, 1983"},{"key":"2_CR2","unstructured":"Software technology for adaptable, reliable systems (STARS) program stategy. US department of defense, 15 March 1983."},{"key":"2_CR3","volume-title":"Software Engineering Economics","author":"BW Bochum","year":"1981","unstructured":"B. W. Bochum, Software Engineering Economics, Prentice Hall 1981"},{"key":"2_CR4","volume-title":"The INTERLISP programming environment, Computer","author":"W Teitelbaum","year":"1981","unstructured":"W. Teitelbaum, L. Masinter, The INTERLISP programming environment, Computer April 1981"},{"issue":"6","key":"2_CR5","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/872730.806448","volume":"16","author":"W Teitelbaum","year":"1981","unstructured":"W.Teitelbaum, T. Reps, S. Horwitz, The why and wherefore of the Cornell Program Synthesizer, ACM SIGPLAN Notices, Bd. 16, Nr. 6, S. 8\u201316, Juni 1981","journal-title":"ACM SIGPLAN Notices"},{"key":"2_CR6","unstructured":"A series on Smalltalk, BYTE, Bd. 6, Nr. 8, August 1981"},{"key":"2_CR7","volume-title":"Software Engineering Environments","author":"H Htinke","year":"1981","unstructured":"H.Htinke (Hrsg.), Software Engineering Environments, Proceedings, North Holland, Amsterdam, 1981"},{"key":"2_CR8","unstructured":"A. I. Wassermann, Tutorial: Software development environ-ments, IEEE Cat.No.EHO 187\u20135"},{"key":"2_CR9","first-page":"229","volume":"4","author":"W Hesse","year":"1981","unstructured":"W. Hesse, Methoden und Werkzeuge zur Softwareentwicklung, Informatik Spektrum 4, 229\u2013245, 1981","journal-title":"Informatik Spektrum"},{"key":"2_CR10","unstructured":"J. N.Baxton, L. E. Druffel, Requirements for an ADA Programming Support Environment, siehe H\u00fcnke7"},{"key":"2_CR11","unstructured":"Silverberg, B.A., An overview of the hierarchical development methodology, siehe H\u00fcnke7"},{"key":"2_CR12","volume-title":"LNCS","author":"MA Jackson","year":"1976","unstructured":"M. A. Jackson, Constructive methods of program design, LNCS 44, 1976"},{"key":"2_CR13","unstructured":"S\/E\/TEC \u2014 Die Software Engineering Technologie von Soft-lab, Softlab, M\u00fcnchen, 1981"},{"volume-title":"Automatic program construction methods","year":"1984","key":"2_CR14","unstructured":"A. Biermann et al. (Hrsg.), Automatic program construction methods, MacMillan, New York, 1984"},{"key":"2_CR15","volume-title":"LOPS-A system based on a stragical approach to programm sythesis","author":"W Bibel","year":"1984","unstructured":"W. Bibel u. K. M. H\u00f6rnig, LOPS-A system based on a stragical approach to programm sythesis, in A.Biermann14, Kap. 3, 1984"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"T. Moto-oka, Proceedings Intern. Conference on Fifth Generation Computer Systems, North Holland, 1982","DOI":"10.1145\/800046.801682"},{"key":"2_CR17","unstructured":"Point paper \u2014 DARPA Strategic Computing Program, Washington, 7. Nov. 1983"},{"key":"2_CR18","first-page":"274","volume-title":"LNCS","author":"W Bibel","year":"1975","unstructured":"W. Bibel, Pr\u00e4dikatives Programmieren, LNCS 33, Springer, Berlin, 274\u2013283, 1975"},{"key":"2_CR19","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"E Hehner","year":"1984","unstructured":"E. Hehner, Predicative Programming, CACM 27, 134\u2013151, 1984","journal-title":"CACM"},{"key":"2_CR20","unstructured":"W. Bibel, Logical program sythesis, in: T. Moto-oka16"},{"key":"2_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90100-2","volume-title":"Automated theorem proving","author":"W Bibel","year":"1982","unstructured":"W. Bibel, Automated theorem proving, Vieweg Verlag, Wies-baden, 1982"},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1145\/358027.358032","volume":"27","author":"L Zadeh","year":"1984","unstructured":"L. Zadeh, Coping with the imprecision of the real world, CACM 27, 304\u2013311, 1984","journal-title":"CACM"},{"key":"2_CR23","unstructured":"W. Bibel an K. M. H\u00f6rnig, LOPS \u2014 A System baced on a strategical approach to program sythesis, chapter 3 in Biermann14"},{"key":"2_CR24","volume-title":"A knowledge representation approach to Software requirements definition, TR CSRG-155, U","author":"SJ Greenspan","year":"1984","unstructured":"S. J. Greenspan, Requirements modeling: A knowledge representation approach to Software requirements definition, TR CSRG-155, U. Toronto 1984"},{"key":"2_CR25","first-page":"131","volume-title":"Datamation","author":"B Sheil","year":"1983","unstructured":"B. Sheil, Power tools for programmers, Datamation, 131\u2013144, 1983"},{"volume-title":"Integrated Interactive Computing Systems, North-Holland","year":"1983","key":"2_CR26","unstructured":"P.Degano and E.Sandewall (Eds.), Integrated Interactive Computing Systems, North-Holland, 1983"},{"key":"2_CR27","volume-title":"A computational logic","author":"RS Boyer","year":"1979","unstructured":"R. S. Boyer and J S. Moore, A computational logic, Academic Press, New York, 1979"},{"key":"2_CR28","volume-title":"GWAI-81, Informatik-FB 47","author":"W Polak","year":"1981","unstructured":"W.Polak, Program Verification at Stanford: Past, Present, Future, In: GWAI-81, Informatik-FB 47, Springer, Berlin, 1981"},{"key":"2_CR29","unstructured":"Green and T. T. Pressburger, CHI, Kestrel Institute, Palo Alto, CA"},{"key":"2_CR30","volume-title":"TUM","author":"KM H\u00f6rnig","year":"1981","unstructured":"K. M. H\u00f6rnig, Can logical program synthesis cope with real life problems? Bericht ATP-11-XI1-81, FGKI Inst. f. Informatik, TUM, 1981"},{"key":"2_CR31","first-page":"520","volume-title":"IJCAI","author":"WG Wilson","year":"1983","unstructured":"W. G. Wilson and C. C. John, Semantic Code Analysis, IJCAI-83, 520\u2013525, Kaufmann, Los Altos, 1983"}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-70840-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T23:08:13Z","timestamp":1606259293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-70840-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159995","9783642708404"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-70840-4_2","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}