{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:49:09Z","timestamp":1725634149369},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199274"},{"type":"electronic","value":"9781447130161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3016-1_13","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T12:11:27Z","timestamp":1321445487000},"page":"166-180","source":"Crossref","is-referenced-by-count":1,"title":["MON: An Object Relationship Model Incorporating Roles, Classification, Publicity and Assertions"],"prefix":"10.1007","author":[{"given":"Glenn","family":"Maughan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bohdan","family":"Durnota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Object-Oriented System Development","author":"D Champaux de","year":"1993","unstructured":"de Champaux, D., D. Lea and P. Faure (1993). Object-Oriented System Development. Addison-Wesley Publishing Company."},{"key":"13_CR2","first-page":"219","volume-title":"Software Engineering Environments (SEE \u201991)","author":"J Dick","year":"1991","unstructured":"Dick, J. and J. Loubersac (1991). Integratingvisual notations with VDM. In Software Engineering Environments (SEE \u201991), Volume 3, pp. 219\u2013231. Springer-Verlag."},{"key":"13_CR3","first-page":"37","volume-title":"Software Engineering \u2014 ESEC \u201993","author":"J Dick","year":"1993","unstructured":"Dick. J. and J. Loubersac (1993). Integrating structured and formal methods: A visual approach to VDM. In I. Sommerville and M. Paul (Eds.), Software Engineering \u2014 ESEC \u201993, pp. 37\u201359, Springer-Verlag."},{"key":"13_CR4","volume-title":"Z: An Introduction to Formal Methods","author":"A Diller","year":"1991","unstructured":"Diller, A. (1991). Z: An Introduction to Formal Methods. John Willey & Sons."},{"key":"13_CR5","volume-title":"The Object-Z specification language","author":"R Duke","year":"1991","unstructured":"Duke, R., P. King, G. Rose and G. Smith (1991, May). The Object-Z specification language. Technical Report 91\u20131, Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia, Version 1."},{"key":"13_CR6","unstructured":"Duke, R. and G. Rose (1992, December). Modelling object identity. Technical Report 92\u201311, University of Queensland, Software Verification Research Centre."},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-57209-0_10","volume-title":"Software Engineering \u2014 ESEC \u201993","author":"J Hagelstein","year":"1993","unstructured":"Hagelstein, J., D. Roelants, and P. Wodon (1993). Formal requirements made practical. In I. Somerville and M. Paul (Eds.), Software Engineering \u2014 ESEC \u201993, pp. 127\u2013144. Springer-Verlag."},{"key":"13_CR8","volume-title":"Systematic Software Development using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C. B. (1990). Systematic Software Development using VDM. Prentice-Hall Int. Second Edition.","edition":"2"},{"key":"13_CR9","first-page":"139","volume-title":"Algebraic Methods: Theory, Tools and Applications","author":"H Jonkers","year":"1989","unstructured":"Jonkers, H. (1989). An introduction to COLD- K. In M. Wirsing and J. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, pp. 139\u2013205. Springer-Verlag. Lecture notes in Computer Science 394."},{"key":"13_CR10","volume-title":"Object-oriented Software Construction","author":"B Meyer","year":"1988","unstructured":"Meyer, B. (1988) Object-oriented Software Construction. Prentice-Hall International."},{"key":"13_CR11","volume-title":"Eiffel: The Language","author":"B Meyer","year":"1992","unstructured":"Meyer, B. (1992). Eiffel: The Language. Prentice-Hall Int."},{"key":"13_CR12","first-page":"377","volume-title":"Technology of Object-oriented languages and Systems (TOOLS 5)","author":"JM Nerson","year":"1992","unstructured":"Nerson, J-M. (1992). Extending Eiffel toward O-O analysis and design. In T. Korson, V. Vaishnavi, and B. Meyer (Eds.), Technology of Object-oriented languages and Systems (TOOLS 5), Santa Barbara, pp. 377\u2013392, Prentice-Hall."},{"issue":"6","key":"13_CR13","first-page":"12","volume":"6","author":"JJ Odell","year":"1993","unstructured":"Odell, J. J. (1993, October). Analysis and design: Specifying structural constraints. Journal of Object-oriented programming 6(6), 12\u201316.","journal-title":"Journal of Object-oriented programming"},{"issue":"11","key":"13_CR14","first-page":"42","volume":"18","author":"SM Omohundro","year":"1993","unstructured":"Omohundro, S. M. (1993, October) The Sather programming language. Dr. Dobb\u2019s Journal 18(11), 42\u201348.","journal-title":"Dr. Dobb\u2019s Journal"},{"key":"13_CR15","volume-title":"Object-oriented Modeling and Design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh J., M. Blaha, W. Premerlani, and W. Lorensen (1991). Object-oriented Modeling and Design. Prentice-Hall Int."},{"key":"13_CR16","first-page":"233","volume-title":"Algebraic Methods II: Theory, Tools and Applications","author":"Bos van den","year":"1989","unstructured":"van den Bos, R. L. Fiegs, and R. van Ommering (1989). POLAR: A picture-oriented language for abstract representations. In J. Bergstra and L. Fiegs (Eds.), Algebraic Methods II: Theory, Tools and Applications, pp. 233\u2013247. Springer-Verlag. Lecture Notes in Computer Science 490."}],"container-title":["OOIS\u201994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3016-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:23:47Z","timestamp":1619828627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3016-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199274","9781447130161"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3016-1_13","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}