{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:25:05Z","timestamp":1743031505622,"version":"3.40.3"},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760146"},{"type":"electronic","value":"9781447114864"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-1-4471-1486-4_2","type":"book-chapter","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T22:24:09Z","timestamp":1324074249000},"page":"12-23","source":"Crossref","is-referenced-by-count":0,"title":["Composition Approach to Systematic Development of Database Systems"],"prefix":"10.1007","author":[{"given":"Ivan A.","family":"Basarab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan V.","family":"Gubsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaj S.","family":"Nikitchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J Barwise","year":"1975","unstructured":"J. Barwise. Admissible sets and structures. Berlin: Springer-Verlag, 394 p, 1975."},{"key":"2_CR2","first-page":"53","volume":"2","author":"IA Basarab","year":"1984","unstructured":"I. A. Basarab, V. N. Red\u2019ko. A logical-functional approach to databases. Programmirovanie, (In Russian), 2:53\u201367, 1984.","journal-title":"Programmirovanie"},{"key":"2_CR3","volume-title":"Composition databases","author":"IA Basarab","year":"1992","unstructured":"I. A. Basarab, N. S. Nikitchenko, and V. N. Red\u2019ko. Composition databases. Kiev, Lybid\u2019, (In Russian), 192 p, 1992."},{"key":"2_CR4","first-page":"136","volume-title":"Proc. of the Int. Workshop on Advances in Databases and Inf. Syst., ADBIS\u201994","author":"IA Basarab","year":"1994","unstructured":"I. A. Basarab, B. V. Gubsky, and N. S. Nikitchenko. Composition models of object-oriented databases. In Proc. of the Int. Workshop on Advances in Databases and Inf. Syst., ADBIS\u201994, May 23\u201326, Moscow, pages 136\u2013141, 1994."},{"key":"2_CR5","first-page":"155","volume-title":"Proc. Extending Inf. Syst. Technology, II Int. East-West Database Workshop","author":"IA Basarab","year":"1994","unstructured":"I. A. Basarab, B. V. Gubsky, N. S. Nikitchenko, and V. N. Red\u2019ko. Composition models of databases. In Proc. Extending Inf. Syst. Technology, II Int. East-West Database Workshop, Sept. 25\u201328, Klagenfurt, Austria, pages 155\u2013163, 1994."},{"key":"2_CR6","first-page":"65","volume-title":"Proc. 12th international seminar on DBMS","author":"BV Gubsky","year":"1989","unstructured":"B. V. Gubsky, V. N. Red\u2019ko. Semantics of data manipulation languages: composition approach. In Proc. 12th international seminar on DBMS, Oct. 17\u201320, Suzdal, USSR, pages 65\u201376, 1989."},{"key":"2_CR7","volume-title":"Software development: a rigorous approach","author":"CB Jones","year":"1980","unstructured":"C. B. Jones. Software development: a rigorous approach. Prentice-Hall International, 382 p, 1980."},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/27632.28054","volume":"18","author":"A Mili","year":"1986","unstructured":"A. Mili, J. Desharnais, J. R. Gagn\u00e9. Formal models of stepwise refinement of programs. ACM Computing Surveys, 18(3):231\u2013276, September 1986.","journal-title":"ACM Computing Surveys"},{"key":"2_CR9","first-page":"9","volume":"6","author":"NS Nikitchenko","year":"1982","unstructured":"N.S. Nikitchenko. Composition semantics of programming languages. Programmirovanie, (In Russian), 6:9\u201318, 1982.","journal-title":"Programmirovanie"},{"key":"2_CR10","first-page":"3","volume":"1","author":"NS Nikitchenko","year":"1987","unstructured":"N. S. Nikitchenko. Compositions of programs inducing monotone functions of special kind. Programmirovanie, (In Russian), 1:3\u201317, 1987.","journal-title":"Programmirovanie"},{"key":"2_CR11","unstructured":"N. S. Nikitchenko. Construction of composition systems on a base of identified data. Kibernetika i sistemny analiz, (In Russian), to appear."},{"key":"2_CR12","first-page":"3","volume":"5","author":"VN Red\u2019ko","year":"1978","unstructured":"V. N. Red\u2019ko. Compositions of programs and composition programming. Programmirovanie, (In Russian), 5:3\u201324, 1978.","journal-title":"Programmirovanie"},{"key":"2_CR13","first-page":"3","volume":"3","author":"VN Red\u2019ko","year":"1979","unstructured":"V. N. Red\u2019ko. Fundamentals of composition programming. Programmirovanie, (In Russian), 3:3\u201313, 1979.","journal-title":"Programmirovanie"},{"key":"2_CR14","first-page":"49","volume":"5","author":"VN Red\u2019ko","year":"1987","unstructured":"V. N. Red\u2019ko, N. S. Nikitchenko. Composition aspects of programmology. Kibernetika, (In Russian), part 1, 5:49\u201356, 1987,","journal-title":"Kibernetika"},{"key":"2_CR15","first-page":"28","volume":"1","author":"VN Red\u2019ko","year":"1988","unstructured":"V. N. Red\u2019ko, N. S. Nikitchenko. Composition aspects of programmology. Kibernetika, ???part 2, 1:28\u201334, 1988.","journal-title":"Kibernetika"},{"key":"2_CR16","first-page":"281","volume-title":"Software engineering: a European perspective","author":"D Sannella","year":"1993","unstructured":"D. Sannella. A survey of formal software development methods. In Software engineering: a European perspective. IEEE Computer Society Press, pages 281\u2013297, 1993."},{"key":"2_CR17","volume-title":"The Z Notation. A reference manual","author":"JM Spivey","year":"1989","unstructured":"J. M. Spivey. The Z Notation. A reference manual. Prentice-Hall, 1989."}],"container-title":["Workshops in Computing","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-1486-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,11]],"date-time":"2023-02-11T12:31:05Z","timestamp":1676118665000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-1486-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540760146","9781447114864"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-1486-4_2","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1996]]}}}