{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T05:33:57Z","timestamp":1733376837892,"version":"3.30.1"},"reference-count":31,"publisher":"Elsevier BV","issue":"7-9","license":[{"start":{"date-parts":[[1998,8,1]],"date-time":"1998-08-01T00:00:00Z","timestamp":901929600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Advances in Engineering Software"],"published-print":{"date-parts":[[1998,8]]},"DOI":"10.1016\/s0965-9978(98)00023-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T17:25:52Z","timestamp":1027617952000},"page":"571-586","source":"Crossref","is-referenced-by-count":1,"title":["CAD tool extension for formal building description language"],"prefix":"10.1016","volume":"29","author":[{"given":"Jos\u00e9 Nuno","family":"Oliveira","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/S0965-9978(98)00023-4_BIB1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can programming be liberated from the von neumann style? A functional style and its algebra of programs","volume":"21","author":"Backus","year":"1978","journal-title":"Cacm"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB2","unstructured":"Lima, J. A., Introducing sytactic methods in VLSI design problem representation: an application to high order non-slicing floorplanning. Ph.D. Thesis, Syracuse University, 1994."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB3","doi-asserted-by":"crossref","unstructured":"Oliveira, J. N., Formal specification and prototyping of a building description language. In Developments in Computer Aided Design and Modelling for Structured Enngineering, Vol. B, Civil-Comp Press, pp. 37\u201351. Proceedings of the 4th International Conference on The Application of Artificial Intelligence to Civil and Structural Engineering, Cambridge, UK.","DOI":"10.4203\/ccp.31.2.3"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB4","unstructured":"Cuadrado, J., Teach formal methods. Byte, 1994, December, 292."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB5","unstructured":"Jones, C. B., Systematic Software Development Using VDM. Series in Computer Science, ed. C. A. R. Hoare. Prentice-Hall, Englewood Cliffs, NJ, 1986."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB6","unstructured":"Spivey, J. M., The Z Notation\u2014A Reference Manual. Series in Computer Science, ed. C. A. R. Hoare. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB7","unstructured":"Parkin, G., Why are you afraid of formal methods? Compututer Weekly, October 14, 1993."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB8","unstructured":"Morgan, C., Programming from Specification. Series in Computer Science, ed. C. A. R. Hoare. Prentice-Hall, Englewood Cliffs, NJ, 1990."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB9","doi-asserted-by":"crossref","unstructured":"Oliveira, J. N., A reification calculus for model-oriented software specification. Formal Aspects of Computing, April, 1990, 2(1), 1\u201323.","DOI":"10.1007\/BF01888215"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB10","doi-asserted-by":"crossref","unstructured":"Oliveira, J. N., Software reification using the sets calculus. In Proceedings of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, London, UK. Springer, Berlin, 1992, pp. 140\u2013171.","DOI":"10.1007\/978-1-4471-3550-0_8"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB11","unstructured":"Tutt, P. and Adler, D. (eds.), New Metric Handbook. The ArchitecturaI Press, London, 1979."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB12","unstructured":"Almeida, J. J. and Barbosa, L. S., Camila by example. Technical Report DI\/INESC 91-11-1, INESC, November 1991."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB13","unstructured":"Oliveira, J. N., The Camila strategy for software reusability. ERCIM News, July 1993, 14, 13\u201314."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB14","unstructured":"Lamport, L., LaTeX\u2014A Document Preparation System. 5th ed., Addison-Wesley, Reading, MA, 1986."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB15","unstructured":"Henderson, P., Functional Programming: Application and Implementation. Series in Computer Science, ed. C. A. R. Hoare. Prentice-Hall, Englewood Cliffs, NJ, 1980."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB16","doi-asserted-by":"crossref","unstructured":"Henderson, P., Functional geometry. In Proceedings of the 1992 ACM Symposium on LISP and Functional Programming, 1982, pp. 179\u2013187.","DOI":"10.1145\/800068.802148"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB17","doi-asserted-by":"crossref","unstructured":"Pereira, F. C., Can drawing be liberated from the von neumann style? Technical Report 282, SRI International, June 1983.","DOI":"10.1145\/647004.711880"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB18","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1111\/j.1467-8659.1984.tb00087.x","article-title":"A functional approach to picture manipulation","volume":"3","author":"Arya","year":"1984","journal-title":"Computer Graphics Forum"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB19","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1111\/j.1467-8659.1986.tb00316.x","article-title":"A functional approach to animation","volume":"5","author":"Arya","year":"1986","journal-title":"Computer Graphics Forum"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB20","unstructured":"Autodesk AG. AutoLISP\u2122 Release 11 Programmer's Reference. Autodesk AG, 1991. Publication AC11 ALR. E2."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB21","unstructured":"Oliveira, J. N. and Cruz, A. M., Formal calculi applied to software component knowledge elicitation. Technical Report C19-WP2D, DI\/INESC, December 1993. IMI Project C.1.9. Sviluppo di Metodologie, Sistemi e Servizi Innovativi in Rete."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB22","unstructured":"Betz, D., Xlisp: an experimental object oriented language. Technical report, Manchester, 1985."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB23","unstructured":"Knuth, D., The TeXbook. 7th ed., Addison-Wesley, Reading, MA, 1986."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB24","unstructured":"Ventura, M. S., Vida e Obra de Pedro Nunes. No. 99. Biblioteca Breve, 1985 (in Portuguese)."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB25","unstructured":"Oliveira, J. N., Hash tables\u2014a case study in \u25c1-calculation. Technical Report DI\/INESC 94-12-1, INESC #2361, U. Minho, December 1994."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB26","unstructured":"Oliveira, J. N. and Veloso, M., Preliminary report on a building specification language. Technical report, INESC #2361\/University of Minho, 1995."},{"issue":"1","key":"10.1016\/S0965-9978(98)00023-4_BIB27","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0097-8493(90)90005-I","article-title":"Archetype-oriented user interfaces","volume":"14","author":"Martins","year":"1990","journal-title":"Computer & Graphics"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB28","unstructured":"Martins, F. M., M\u00e9todos Formais na Conceph\u00e7\u00e3o e Desenvolvimento de Sistemas Interactivos. Ph.D. Thesis, University of Minho, 1995 (in Portuguese)."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB29","doi-asserted-by":"crossref","unstructured":"Fruchter, R. and Khedro, T., Collaboration models for civil engineering. In Developments in Computer Aided Design and Modelling for Structured Enngineering, Vol. B, Civil-Comp Press, 28\u201330 August, 1995, pp. 15\u201323. Proceedings of the 4th International Conference on The Application of Artificial Intelligence to Civil and Structural Engineering, Cambridge, UK.","DOI":"10.4203\/ccp.31.2.1"},{"key":"10.1016\/S0965-9978(98)00023-4_BIB30","unstructured":"Bell, G., Parisi, A. and Pesce, M., The virtual reality modelling language version 1.0 specification. Technical report, Silicon Graphics and Intervista Software, May 1995. URL: htfp:\/\/vrml.wired.com\/vrml.tech\/vrml10-3.html."},{"key":"10.1016\/S0965-9978(98)00023-4_BIB31","unstructured":"Pereira, M. C. and Pereira, M. M., Especifica\u00e7\u00e3o formal de plantas de edif\u0131\u0301cios. Technical Report LMCC-Op-I, Universidade do Minho, Fev. 1994 (in Portuguese)."}],"container-title":["Advances in Engineering Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0965997898000234?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0965997898000234?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T19:08:21Z","timestamp":1733339301000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0965997898000234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,8]]},"references-count":31,"journal-issue":{"issue":"7-9","published-print":{"date-parts":[[1998,8]]}},"alternative-id":["S0965997898000234"],"URL":"https:\/\/doi.org\/10.1016\/s0965-9978(98)00023-4","relation":{},"ISSN":["0965-9978"],"issn-type":[{"type":"print","value":"0965-9978"}],"subject":[],"published":{"date-parts":[[1998,8]]}}}