{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:23Z","timestamp":1725453983914},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000496","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:30:36Z","timestamp":1128493836000},"page":"554-559","source":"Crossref","is-referenced-by-count":1,"title":["CAMILA: Prototyping and refinement of constructive specifications"],"prefix":"10.1007","author":[{"given":"J. J.","family":"Almeida","sequence":"first","affiliation":[]},{"given":"L. S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"F. L.","family":"Neves","sequence":"additional","affiliation":[]},{"given":"J. N.","family":"Oliveira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"38_CR1","unstructured":"L. S. Barbosa. Reification of Processes. PhD thesis, Universidade do Minho (to appear), 1998."},{"key":"38_CR2","unstructured":"J. Darlington. Program transformation. In Funct. Prog. and Its Applications: An Advanced Course. Cambridge Univ. Press, 1982."},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"C. George. The raise specification language: a tutorial. In Proc. of VDM'91. LNCS (551), 1991.","DOI":"10.1007\/BFb0019998"},{"key":"38_CR4","unstructured":"P. Hendersen. me too: A language for software specification and model building. Preliminary Report, University of Stirling, 1984."},{"key":"38_CR5","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986."},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Zbigniew Michalewicz. Genetic Algorithms + Data Structures = Evolution Programs. Springer-Verlag, 1994. Second, Extended Edition.","DOI":"10.1007\/978-3-662-07418-3"},{"key":"38_CR7","unstructured":"C. Morgan. Programming from Specification. Series in Computer Science. Prentice-Hall International, 1990. C. A. R. Hoare, series editor."},{"key":"38_CR8","unstructured":"F. Moller and P. Stevens. The edinburgh concurrency workbench (version 7). User's manual, LFCS, Edinburgh University, 1996."},{"key":"38_CR9","unstructured":"F. Lu\u00eds Neves and Jos\u00e9 N. Oliveira. Software Reuse by Model Reification. Seventh Annual Workshop on Software Reuse, August 1995."},{"issue":"1","key":"38_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01888215","volume":"2","author":"J. N. Oliveira","year":"1990","unstructured":"J. N. Oliveira. A reification calculus for model-oriented software specification. Formal Aspects of Computing, 2(1):1\u201323, 1990.","journal-title":"Formal Aspects of Computing"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"J. N. Oliveira. Software reification using the Sets calculus. In Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, London, UK, pages 140\u2013171. Springer-Verlag, 8\u201310 January 1992. (Invited paper).","DOI":"10.1007\/978-1-4471-3550-0_8"},{"key":"38_CR12","unstructured":"J. N. Oliveira. Formal specification and prototyping of a building description language. In Proc. CIVIL-COMP'95, Cambridge, August 1995."},{"key":"38_CR13","unstructured":"J. N. Oliveira. Fuzzy object comparasion and its application to a selfadaptable query mechanism. In Proc. IFSA '95, S. Paulo, July 1995."},{"key":"38_CR14","unstructured":"J. N. Oliveira. Sets: A data structuring calculus and its application to program development. Technical Report Lecture Notes for the Macau Course, UNU\/IIST, May 1997."},{"key":"38_CR15","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice-Hall International, 1989."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T07:21:38Z","timestamp":1553671298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000496"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0000496","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}