{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:49Z","timestamp":1725663589784},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534525"},{"type":"electronic","value":"9783540468868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53452-0_40","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:03:06Z","timestamp":1330207386000},"page":"167-178","source":"Crossref","is-referenced-by-count":0,"title":["The Tooluse approach to integration"],"prefix":"10.1007","author":[{"given":"Robert","family":"Gabriel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"J\u00e4hnichen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"14_CR1","unstructured":"Anlauff, M. and Weber, M., \u201cImplementing a language for program development description\u201d, submitted to ICSE 1990."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Gabriel, R., \u201cThe automatic generation of graphical user interfaces\u201d, Proceedings of COMPEURO 88, Brussels, 1988.","DOI":"10.1109\/CMPEUR.1988.4965"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Gabriel, R., \u201cA formalism for the definition of graphical formulas\u201d, Proceedings of SIGSMALL 88, Cannes, 1988.","DOI":"10.1145\/62453.62460"},{"key":"14_CR4","unstructured":"Gabriel, R., (Ed.), \u201cThe deva support environment\u201d, GMD Working Paper 316 (ToolUse Report)."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Gabriel, R., \u201cStructured definition of graphical layouts\u201d, GI-Jahrestagung, Informatik-Fachberichte 222, October 1989.","DOI":"10.1007\/978-3-642-75177-6_28"},{"key":"14_CR6","unstructured":"J\u00e4hnichen, S., (Ed.), \u201cThe Deva book\u201d, to appear."},{"key":"14_CR7","unstructured":"Jones, C., \u201cSystematic program development using VDM\u201d, Prentice Hall, Series in Computer Science, 1986."},{"key":"14_CR8","unstructured":"Lafontaine, C., \u201cFormalization of the VDM reification into Deva.1\u201d, Universit\u00e9 Catholique de Louvain, 1989."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"An approach to theorem proving on the basis of a typed lambda-calculus","author":"R.P. Nederpelt","year":"1980","unstructured":"Nederpelt, R.P., \u201cAn approach to theorem proving on the basis of a typed lambda-calculus\u201d, Lecture Notes in Computer Science, Vol. 87, Springer-Verlag, Berlin, 1980."},{"key":"14_CR10","unstructured":"Nguyen, T., \u201cDerivation of imperative programs\u201d, in [Jahn90]."},{"key":"14_CR11","unstructured":"\u201cPCTE \u2014 A basis for a portable common tool environment\u201d, Functional Specification, Version 1.5, Commission of the European Communities, Brussels, November 1988."},{"key":"14_CR12","unstructured":"Raynaud, B., \u201cFormalization of Hood\u201d, CISI.BR.IS.89, 1989."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Sintzoff, M., \u201cExpressing program developments in a design calculus\u201d, Universit\u00e9 Catholique de Louvain, 1986.","DOI":"10.1007\/978-3-642-87374-4_13"},{"key":"14_CR14","unstructured":"Sintzoff, M., Weber, M., De Groote, Ph. and Cazin, J., \u201cDefinition 1.0 of the approximation DEVA of a development language\u201d, ToolUse research Report RR 88-41, Ext.ref.: ToolUse.TD.deva10.DD88c, 1988."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Smith, D.R., \u201cTop-down-synthesis of divide and conquer algorithms\u201d, Artificial Intelligence 27, 1985.","DOI":"10.1016\/0004-3702(85)90083-9"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Thomas, I., \u201cThe PCTE initiative and the PACT project\u201d, ACM Software Engineering notes 13. 1988.","DOI":"10.1145\/58418.58422"},{"key":"14_CR17","unstructured":"Vivares, F., \u201cSome notions to express JSD into Deva\u201d, CERT.M.FV88b, 1988."},{"key":"14_CR18","unstructured":"Weber, M., \u201cFunctional Programming\u201d, in [Jahn90]."}],"container-title":["Lecture Notes in Computer Science","Software Engineering Environments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53452-0_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:50:02Z","timestamp":1605646202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53452-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534525","9783540468868"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-53452-0_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}