{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:53Z","timestamp":1725663113055},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:11:43Z","timestamp":1330193503000},"page":"163-178","source":"Crossref","is-referenced-by-count":3,"title":["Software construction using typed fragments"],"prefix":"10.1007","author":[{"given":"Nazim H.","family":"Madhavji","sequence":"first","affiliation":[]},{"given":"Nikos","family":"Leoutsarakos","sequence":"additional","affiliation":[]},{"given":"Dimitri","family":"Vouliouris","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"11_CR1","volume-title":"Software Engineering Environments","author":"M. W. Alford","year":"1981","unstructured":"Alford, M.W.: SDS: Experience with the Software Development System. In Software Engineering Environments, (ed) H\u00fcnke, H., North Holland Pub. Co., Amsterdam, 1981."},{"unstructured":"Archer, J.E., Conway, Jr and R.: COPE: A Cooperative Programming Environment. Technical Report 81\u2013459, Cornell University, June 1981.","key":"11_CR2"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1981.230814","volume":"SE-7","author":"R. Balzer","year":"1981","unstructured":"Balzer, R.: Transformational Implementation: An Example. IEEE Trans. Soft. Eng., Vol. SE-7, Jan. 1981, pp. 3\u201314.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"11_CR4","volume-title":"Program understanding through clich\u00e9 recognition","author":"D. C. Brotsky","year":"1981","unstructured":"Brotsky, D.C.: Program understanding through clich\u00e9 recognition. M.S. thesis proposal, MIT, Cambridge, MA., 1981."},{"unstructured":"Donzeau-Gouge, V., Houet, G., Kahn, G., Lang, B.: Programming Environments Based on Structured Editors: The MENTOR Experience. In Interactive Programming Environments (eds.) Barstow,D.R., et al., McGraw-Hill, 1984.","key":"11_CR5"},{"issue":"5","key":"11_CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/800020.808248","volume":"19","author":"N. M. Delisle","year":"1984","unstructured":"Delisle, N.M., Menicosy, D.E., Schwartz, M.D.: Viewing a Programming Environment as a Single Tool. Proc. ACM SIGSOFT\/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, ACM Sigplan Notices, Vol. 19, No. 5, May 1984, pp. 49\u201356.","journal-title":"Proc. ACM SIGSOFT\/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments"},{"issue":"5","key":"11_CR7","first-page":"21","volume":"19","author":"C. N. Fischer","year":"1984","unstructured":"Fischer, C.N., et al.: The Poe Language-Based Editor Project Proc. ACM SIGSOFT\/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, ACM Sigplan Notices, Vol. 19, No. 5, May 1984, pp. 21\u201329.","journal-title":"Proc. ACM SIGSOFT\/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, ACM Sigplan Notices"},{"issue":"10","key":"11_CR8","doi-asserted-by":"crossref","first-page":"746","DOI":"10.1145\/359842.359856","volume":"20","author":"E. L. Ivie","year":"1977","unstructured":"Ivie, E.L.: The Programmer's Workbench \u2014 A machine for Software Development. Comm. ACM, Vol. 20, No. 10, Oct. 1977, pp. 746\u2013753.","journal-title":"Comm. ACM"},{"issue":"8","key":"11_CR9","doi-asserted-by":"crossref","first-page":"764","DOI":"10.1145\/358198.358211","volume":"27","author":"N. H. Madhavji","year":"1984","unstructured":"Madhavji, N.H.: Visibility Aspects of Programmed Dynamic Data Structures. Comm. ACM, Vol. 27, No. 8, Aug. 1984, pp. 764\u2013776.","journal-title":"Comm. ACM"},{"unstructured":"Madhavji, N.H., Vouliouris, D. and Leoutsarakos, N.: The Importance of Context in an Integrated Programming Environment. To appear in the Proc. 18th Annual Hawaii Int. Conf. on System Sciences, Hawaii, Jan. 1985.","key":"11_CR10"},{"issue":"12","key":"11_CR11","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1002\/spe.4380111202","volume":"11","author":"N. H. Madhavji","year":"1981","unstructured":"Madhavji, N.H., and Wilson, I.R.: Dynamically Structured Data. Software-Practice and Experience, Vol. 11, No. 12, Dec. 1981, pp. 1235\u20131260.","journal-title":"Software-Practice and Experience"},{"key":"11_CR12","volume-title":"ALOE users' and implementors' guide","author":"R. Medina-Mora","year":"1981","unstructured":"Medina-Mora, R., Notkin, D.S.: ALOE users' and implementors' guide. Tech. Rep. CMU-CS-81-145, Dept. of Comp. Science, Carnegie-Mellon Univ., Pittsburgh, Pa., Nov. 1981."},{"issue":"5","key":"11_CR13","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/800020.808246","volume":"19","author":"S. P. Reiss","year":"1984","unstructured":"Reiss, S.P.: Graphical Program Development with PECAN Program Development Systems. Proc. ACM SIGSOFT\/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, ACM Sigplan Notices, Vol. 19, No. 5, May 1984, pp. 30\u201341.","journal-title":"Proc. ACM SIGSOFT\/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments"},{"key":"11_CR14","volume-title":"Software Engineering Environments","author":"R. A. Snowdon","year":"1981","unstructured":"Snowdon, R. A.: CADES and Software System Development. In Software Engineering Environments, (ed) H\u00fcnke, H., North Holland Pub. Co., Amsterdam, 1981."},{"issue":"9","key":"11_CR15","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/358746.358755","volume":"24","author":"T. Teitelbaum","year":"1981","unstructured":"Teitelbaum, T., Reps, T.: The Cornell Program Synthesizer: A syntax directed programming environment. Comm. ACM, Vol. 24, No. 9, Sept. 1981, pp. 563\u2013573.","journal-title":"Comm. ACM"},{"issue":"1","key":"11_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1982.234769","volume":"SE-8","author":"R. C. Waters","year":"1982","unstructured":"Waters, R. C.: The Programmer's Apprentice: Knowledge Based Program Editing. IEEE Trans. Soft. Eng., Vol. SE-8, No. 1, Jan. 1982, pp. 1\u201312.","journal-title":"IEEE Trans. Soft. Eng."},{"unstructured":"Wilander, J.: An Interactive Programming System for Pascal. In Interactive Programming Environments, (eds.) Barstow, D.R., et al., McGraw-Hill, 1984.","key":"11_CR17"},{"doi-asserted-by":"crossref","unstructured":"Wirth, N.: Programming in Modula-2. Springer Verlag, 1982.","key":"11_CR18","DOI":"10.1007\/978-3-642-96717-7"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:58:06Z","timestamp":1619557086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}