{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:05:47Z","timestamp":1725638747820},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761709"},{"type":"electronic","value":"9781447115250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-1-4471-1525-0_7","type":"book-chapter","created":{"date-parts":[[2011,12,4]],"date-time":"2011-12-04T21:49:16Z","timestamp":1323035356000},"page":"69-80","source":"Crossref","is-referenced-by-count":1,"title":["A Practical Formally-Based Modelling Method for Object Oriented Information Systems"],"prefix":"10.1007","author":[{"given":"Kinh","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"Tharam","family":"Dillon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Object Database Standard: ODMG-93, Morgan Kaufmann Publishers","year":"1994","unstructured":"Cattell R., Ed (1994) The Object Database Standard: ODMG-93, Morgan Kaufmann Publishers, San Mateo, California.","key":"7_CR1"},{"key":"7_CR2","volume-title":"Object Oriented Conceptual Modelling","author":"TS Dillon","year":"1993","unstructured":"Dillon T. S., Tan P. L. (1993) Object Oriented Conceptual Modelling, Prentice Hall, Australia."},{"key":"7_CR3","volume-title":"to appear in Computer Systems and Interfaces","author":"R Duke","year":"1995","unstructured":"Duke R., Rose G., Smith G. (1995) Object-Z: a Specification Language Advocated for the Description of Standards, to appear in Computer Systems and Interfaces."},{"key":"7_CR4","volume-title":"Addison-Wesley","author":"T Halpin","year":"1995","unstructured":"Halpin T. (1995) Conceptual Schema and Relational Database Design, Addison-Wesley."},{"key":"7_CR5","volume-title":"Systems","author":"F Hayes","year":"1991","unstructured":"Hayes F., Coleman D. (1991) Coherent Models for Object Oriented Analysis, \u201991 Conference on Object Oriented Programming, Systems, Languages, and Applications, ACM Press."},{"volume-title":"Object-Oriented Specification Case Studies","year":"1994","unstructured":"Lano K., Haughton H., Ed (1994) Object-Oriented Specification Case Studies, Prentice Hall, Hemel Hempstead, UK.","key":"7_CR6"},{"key":"7_CR7","volume-title":"Object-Oriented Software Development: A Practical Guide","author":"M Lorenz","year":"1993","unstructured":"Lorenz M. (1993) Object-Oriented Software Development: A Practical Guide, Prentice Hall, New Jersey."},{"key":"7_CR8","first-page":"18","volume-title":"Formal Specification of Object Oriented Databases applications Using Object-Z, Technology of Object-Oriented Languages and Systems TOOLS","author":"K Nguyen","year":"1995","unstructured":"Nguyen K. (1995) Formal Specification of Object Oriented Databases applications Using Object-Z, Technology of Object-Oriented Languages and Systems TOOLS 18, Prentice Hall, Sydney, Australia."},{"unstructured":"Nguyen K. (1997) Gymnastics System: A Comparative Case study. In postscript form at http:\/\/matilda.vut.edu.au\/ kinh.","key":"7_CR9"},{"unstructured":"White I. (1995) Using the Booch Method: A Rational Approach, Adison-Wesley, USA.","key":"7_CR10"}],"container-title":["OOIS\u201997"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-1525-0_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T20:24:08Z","timestamp":1619814248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-1525-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540761709","9781447115250"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-1525-0_7","relation":{},"subject":[],"published":{"date-parts":[[1998]]}}}