{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:13Z","timestamp":1760061553143},"reference-count":33,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1992,4,1]],"date-time":"1992-04-01T00:00:00Z","timestamp":702086400000},"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":["Computer Languages"],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1016\/0096-0551(92)90002-5","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:04:53Z","timestamp":1060297493000},"page":"101-131","source":"Crossref","is-referenced-by-count":6,"title":["A relational model for the specification of data types"],"prefix":"10.1016","volume":"17","author":[{"given":"N","family":"Boudriga","sequence":"first","affiliation":[]},{"given":"A","family":"Mili","sequence":"additional","affiliation":[]},{"given":"R","family":"Zalila","sequence":"additional","affiliation":[]},{"given":"Fatma","family":"Mili","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(92)90002-5_BIB1","series-title":"The Specification of Complex Systems","author":"Cohen","year":"1986"},{"key":"10.1016\/0096-0551(92)90002-5_BIB2","series-title":"Specification Case Studies","year":"1987"},{"key":"10.1016\/0096-0551(92)90002-5_BIB3","series-title":"The Specification of Computer Programs","author":"Turski","year":"1987"},{"key":"10.1016\/0096-0551(92)90002-5_BIB4","series-title":"Internal report","article-title":"Formal specification in object\u20142: introduction and case studies","author":"Carrington","year":"1989"},{"key":"10.1016\/0096-0551(92)90002-5_BIB5","series-title":"Towards Structured Specifying: Theory, Practice and Applications","author":"Boudriga","year":"1989"},{"key":"10.1016\/0096-0551(92)90002-5_BIB6","series-title":"Conference on Requirements Engineering Environments","year":"1982"},{"key":"10.1016\/0096-0551(92)90002-5_BIB7","series-title":"Workshop notes","year":"1984"},{"key":"10.1016\/0096-0551(92)90002-5_BIB8","series-title":"Workshop notes","year":"1985"},{"key":"10.1016\/0096-0551(92)90002-5_BIB9","series-title":"Workshop notes","year":"1987"},{"key":"10.1016\/0096-0551(92)90002-5_BIB10","series-title":"Workshop notes","year":"1989"},{"key":"10.1016\/0096-0551(92)90002-5_BIB11","series-title":"Software Engineering Economics","author":"Boehm","year":"1981"},{"key":"10.1016\/0096-0551(92)90002-5_BIB12","series-title":"A generalized model for program specifications","author":"Boudriga","year":"1988"},{"key":"10.1016\/0096-0551(92)90002-5_BIB13","series-title":"Webster's New Collegiate Dictionary","year":"1980"},{"key":"10.1016\/0096-0551(92)90002-5_BIB14","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.1002\/spe.4380161105","article-title":"Specification methodology: an integrated relational approach","volume":"16","author":"Mili","year":"1986","journal-title":"Softw. Pract. Exper."},{"key":"10.1016\/0096-0551(92)90002-5_BIB15","series-title":"Proceedings, Tenth Australian Computer Science Conference","article-title":"Issues on program specification: towards a discipline of structured specifying","author":"Dwyer","year":"1987"},{"key":"10.1016\/0096-0551(92)90002-5_BIB16","series-title":"Research Directions in Software Technology","article-title":"An appraisal of program specifications","author":"Liskov","year":"1979"},{"key":"10.1016\/0096-0551(92)90002-5_BIB17","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","article-title":"A technique for software module specification with examples","volume":"12","author":"Parnas","year":"1972","journal-title":"Commun. ACM"},{"key":"10.1016\/0096-0551(92)90002-5_BIB18","series-title":"Current Trends in Programming Methodology: Software Specification and Design","article-title":"An introduction to formal specifications of data abstractions","author":"Liskov","year":"1977"},{"key":"10.1016\/0096-0551(92)90002-5_BIB19","article-title":"Langage de Specifications","author":"Caplain","year":"1978"},{"key":"10.1016\/0096-0551(92)90002-5_BIB20","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MS.1985.229776","article-title":"On formalism in specifications","author":"Meyer","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/0096-0551(92)90002-5_BIB21","unstructured":"Boudriga, N., Mili, A. and Zalila, R. DIDON: a system for executable specifications. To appear in Inform. Softw. Technol."},{"key":"10.1016\/0096-0551(92)90002-5_BIB22","series-title":"Computer Programming: A Mathematical Approach","author":"Mills","year":"1986"},{"key":"10.1016\/0096-0551(92)90002-5_BIB23","series-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"1979"},{"key":"10.1016\/0096-0551(92)90002-5_BIB24","article-title":"Fixpoint theory","author":"Tarski","year":"1955","journal-title":"Pacific J. Math."},{"key":"10.1016\/0096-0551(92)90002-5_BIB25","series-title":"Introduction to Meta Mathematics","author":"Kleene","year":"1952"},{"key":"10.1016\/0096-0551(92)90002-5_BIB26","series-title":"Mathematical Theory of Computation","author":"Manna","year":"1974"},{"key":"10.1016\/0096-0551(92)90002-5_BIB27","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/0096-0551(92)90002-5_BIB28","series-title":"The Science of Programming","author":"Gries","year":"1981"},{"issue":"No. 4","key":"10.1016\/0096-0551(92)90002-5_BIB29","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.17803","article-title":"A study of 12 specifications of the library problem","volume":"5","author":"Wing","year":"1988","journal-title":"IEEE Softw."},{"key":"10.1016\/0096-0551(92)90002-5_BIB30","series-title":"Theorie des Programmes","author":"Livercy","year":"1979"},{"key":"10.1016\/0096-0551(92)90002-5_BIB31","series-title":"An Introduction to Formal Program Verification","author":"Mili","year":"1985"},{"key":"10.1016\/0096-0551(92)90002-5_BIB32","series-title":"Programming Methodology","article-title":"Proof of correctness of data representations","author":"Hoare","year":"1978"},{"key":"10.1016\/0096-0551(92)90002-5_BIB33","series-title":"Internal report","article-title":"Correctness of data representations","author":"Hayes","year":"1988"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055192900025?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055192900025?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:25:24Z","timestamp":1552634724000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055192900025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,4]]}},"alternative-id":["0096055192900025"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(92)90002-5","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1992,4]]}}}