{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T15:05:55Z","timestamp":1649084755508},"reference-count":17,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1993,5,1]],"date-time":"1993-05-01T00:00:00Z","timestamp":736214400000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[1993,5]]},"DOI":"10.1016\/0950-5849(93)90061-7","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"277-286","source":"Crossref","is-referenced-by-count":4,"title":["Formal specification of a persistent object management system"],"prefix":"10.1016","volume":"35","author":[{"given":"J","family":"Murphy","sequence":"first","affiliation":[]},{"given":"J","family":"Grimson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(93)90061-7_BIB1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","article-title":"Seven myths of formal methods","author":"Hall","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/0950-5849(93)90061-7_BIB2","first-page":"37","article-title":"Integrating formal methods into the development process","author":"Kemmerer","year":"1986","journal-title":"IEEE Trans. Soft."},{"key":"10.1016\/0950-5849(93)90061-7_BIB3","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/22890.22945","article-title":"Data model issues for object-oriented applications","volume":"Vol 5","author":"Banerjee","year":"1987","journal-title":"ACM Trans. Office Inform. Syst."},{"key":"10.1016\/0950-5849(93)90061-7_BIB4","series-title":"Object Oriented Concepts, Databases and Applications","article-title":"Features of the Orion object oriented database system","author":"Kim","year":"1989"},{"key":"10.1016\/0950-5849(93)90061-7_BIB5","article-title":"Formal methods-an introduction","author":"Murphy","year":"1990","journal-title":"OPUS 27\/28, IBM (Ireland) Technical article"},{"key":"10.1016\/0950-5849(93)90061-7_BIB6","series-title":"A discipline of programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/0950-5849(93)90061-7_BIB7","series-title":"Systematic software development using VDM","author":"Jones","year":"1986"},{"key":"10.1016\/0950-5849(93)90061-7_BIB8","author":"Spivey","year":"1992"},{"key":"10.1016\/0950-5849(93)90061-7_BIB9","unstructured":"Nix, C J and Collins, B P \u2018The use of software engineering, including the Z notation in the development of CICS' IBM UK Laboratories"},{"key":"10.1016\/0950-5849(93)90061-7_BIB10","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","article-title":"An introduction to Z and formal specifications","volume":"Vol 4","author":"Spivey","year":"1987","journal-title":"Soft. Eng. J."},{"key":"10.1016\/0950-5849(93)90061-7_BIB11","series-title":"Formal Methods","article-title":"From specification through design to code: a case study in refinement","author":"King","year":"1989"},{"key":"10.1016\/0950-5849(93)90061-7_BIB12","series-title":"Object oriented concepts, databases and applications","article-title":"A proposal for a formal model of objects","author":"Wand","year":"1989"},{"key":"10.1016\/0950-5849(93)90061-7_BIB13","series-title":"Smalltalk-80: the language and its implementation","author":"Goldberg","year":"1983"},{"key":"10.1016\/0950-5849(93)90061-7_BIB14","series-title":"Object oriented software construction","author":"Meyer","year":"1988"},{"key":"10.1016\/0950-5849(93)90061-7_BIB15","series-title":"Proc. OOPSLA '87","article-title":"Dimensions of object based languages","author":"Wegner","year":"1987"},{"key":"10.1016\/0950-5849(93)90061-7_BIB16","article-title":"Formal specification and implementation of a persistent object \u2018storage manager\u2019","author":"Murphy","year":"1991"},{"key":"10.1016\/0950-5849(93)90061-7_BIB17","series-title":"Proc. OOPSLA '87","article-title":"Intermedia: a case study of the differences between relational and object-oriented database systems","author":"Smith","year":"1987"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584993900617?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584993900617?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:27:45Z","timestamp":1552624065000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950584993900617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,5]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1993,5]]}},"alternative-id":["0950584993900617"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(93)90061-7","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1993,5]]}}}