{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,8]],"date-time":"2025-03-08T23:10:04Z","timestamp":1741475404526,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540068594"},{"type":"electronic","value":"9783540378198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1974]]},"DOI":"10.1007\/3-540-06859-7_140","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T15:52:56Z","timestamp":1313682776000},"page":"280-297","source":"Crossref","is-referenced-by-count":1,"title":["Application de la structuration de systeme a la conception interne du systeme GEMAU"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Guiboud-Ribaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Otrage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"unstructured":"C. ALEXANDER Notes on the synthesis of forms Harvard University Press, Cambridge (1964)","key":"22_CR1"},{"doi-asserted-by":"crossref","unstructured":"BALZER Dataless Programming Proceedings FJCC 1967","key":"22_CR2","DOI":"10.1145\/1465611.1465683"},{"doi-asserted-by":"crossref","unstructured":"BALZER PORTS, A method for dynamic interprogram communication and job control SJCC, Vol 38 (71)-pp. 485\u2013489","key":"22_CR3","DOI":"10.1145\/1478786.1478855"},{"doi-asserted-by":"crossref","unstructured":"J.B. DENNIS Modularity International Summer School, Munich 1973","key":"22_CR4","DOI":"10.1007\/3-540-07168-7_77"},{"doi-asserted-by":"crossref","unstructured":"E.W. DIJKSTRA The structure of THE multiprogramming system C.ACM, May 1968","key":"22_CR5","DOI":"10.1007\/978-1-4757-3472-0_3"},{"unstructured":"E.W. DIJKSTRA Complexity controlled by hierarchical ordering or function and variability Naur and Randell, Software Engineering (1969), pp. 181\u2013195","key":"22_CR6"},{"unstructured":"S. GUIBOUD RIBAUD & J. BRIAT Espace d'adressage et espace d'ex\u00e9cution du syst\u00e8me GEMAU International Symposium on Operating System Theory and Practice Paris, April 1974","key":"22_CR7"},{"doi-asserted-by":"crossref","unstructured":"P. BRINCH HANSEN The nucleus of a multiprogramming system C.ACM, April 1970","key":"22_CR8","DOI":"10.1145\/362258.362278"},{"doi-asserted-by":"crossref","unstructured":"P. BRINCH HANSEN Concurrent programming concepts International Summer School, Munich 1973","key":"22_CR9","DOI":"10.1145\/356622.356624"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. HOARE Proof of correctness of data representation Acta Informatica no 4, 1972","key":"22_CR10","DOI":"10.1007\/BF00289507"},{"unstructured":"C.A.R. HOARE Monitors and operating system structuring concept Non publi\u00e9","key":"22_CR11"},{"issue":"1","key":"22_CR12","first-page":"4","volume":"14","author":"Judd","year":"1970","unstructured":"JUDD Practical modular programming Computer Bulletin, Vol 14, no 1, 1970 \u2014 pp. 4\u20137","journal-title":"Computer Bulletin"},{"doi-asserted-by":"crossref","unstructured":"D.L. PARNAS On the criteria to be used in decomposing systems into modules C.ACM, December 1972","key":"22_CR13","DOI":"10.21236\/AD0773837"},{"unstructured":"WEISSMAN Software interfaces for computer systems M.S. Thesis, University of Toronto, Department of Computer Science, 1971","key":"22_CR14"},{"doi-asserted-by":"crossref","unstructured":"WULF, RUSSELL, HABERMANN Blis C.ACM, December 1971","key":"22_CR15","DOI":"10.1145\/362919.362936"}],"container-title":["Lecture Notes in Computer Science","Programming Symposium"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-06859-7_140.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,8]],"date-time":"2025-03-08T22:46:38Z","timestamp":1741473998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-06859-7_140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974]]},"ISBN":["9783540068594","9783540378198"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-06859-7_140","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1974]]}}}