{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:15Z","timestamp":1725664935004},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631149"},{"type":"electronic","value":"9783540691501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63114-3_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:06:02Z","timestamp":1330297562000},"page":"173-184","source":"Crossref","is-referenced-by-count":2,"title":["Towards an integration of syntactic constructs and structural features for formalised object-oriented methods"],"prefix":"10.1007","author":[{"given":"K. S.","family":"Cheung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. O.","family":"Chow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. Y.","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"D. deChampeaux et al, \u201cFormai Techniques for Object-Oriented Software Development\u201d, Proceedings of OOPSLA '91, pp. 166\u2013170, ACM, 1991.","DOI":"10.1145\/143773.270576"},{"issue":"No.2","key":"16_CR2","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1049\/sej.1992.0016","volume":"7","author":"S. Stepney","year":"1992","unstructured":"S. Stepney et al, \u201cA Survey of Object Orientation in Z\u201d, Software Engineering Journal, Vol. 7, No. 2, pp. 150\u2013160, 1992.","journal-title":"Software Engineering Journal"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"S. Stepney et al (eds.), Object Orientation in Z, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3552-4"},{"key":"16_CR4","unstructured":"K. Lano & H. Haughton (eds.), Object-Oriented Specification Case Studies, Prentice Hall, 1993."},{"issue":"No.10","key":"16_CR5","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1093\/comjnl\/38.10.777","volume":"38","author":"A. R. Delgado","year":"1995","unstructured":"A. Ruiz Delgado et al, \u201cA Review of Object-Oriented Approaches in Formal Methods\u201d, Computer Journal, Vol. 38, No. 10, pp. 777\u2013784, 1995.","journal-title":"Computer Journal"},{"key":"16_CR6","unstructured":"T.H. Tse & L. Pong, An Examination of Requirements Specification Languages, Technical Report TR-89-09, Department of Computer Science, University of Hong Kong, 1989."},{"key":"16_CR7","unstructured":"A. Davis, Software Requirements: Analysis and Specification, Prentice Hall, 1990."},{"issue":"No.5","key":"16_CR8","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1145\/5689.5691","volume":"29","author":"V. Berzins","year":"1986","unstructured":"V. Berzins et al, \u201cAbstraction-based Software Development\u201d, Communications of the ACM, Vol. 29, No. 5, pp. 402\u2013415, 1986.","journal-title":"Communications of the ACM"},{"key":"16_CR9","unstructured":"P.G. Neumann, \u201cFlaws in Specifications and What to do about them\u201d, Proceedings of the 5th International Workshop on Software Specification and Design, pp. xi\u2013xv, IEEE, 1989."},{"key":"16_CR10","unstructured":"D.A. Carrington et al, \u201cObject-Z: An Object-Oriented Extension to Z\u201d, in S. Vuong (ed.), Formal Description Techniques, Vol. 2, pp. 281\u2013296, North Holland, 1990."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"K. Lano, \u201cZ++: An Object-Oriented Extension to Z\u201d, Proceedings of the 5th Annual Z User Meeting, pp. 151\u2013172, Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3540-1_11"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"J.A. Hall, \u201cUsing Z as a Calculus for Object-Oriented System\u201d, Proceedings of VDM '90(LNCS, Vol. 428), pp. 290\u2013318, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_16"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"S.A. Shuman et al, \u201cObject-Oriented Process Specification\u201d in C. Rattray (ed.), Specification and Verification of Concurrent Systems, pp. 21\u201370, Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4471-3534-0_2"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"S.L. Meira, \u201cModular Object-Oriented Z Specifications\u201d, Proceedings of the 5th Annual Z User Meeting, pp. 173\u2013192, Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3540-1_12"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"A.J. Alencar & J.A. Goguen, \u201cOOZE: An Object-Oriented Z Environment\u201d, Proceedings of ECOOP '91 (LNCS, Vol. 512), pp. 180\u2013199, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057022"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"E. Durr, \u201cVDM++: A Formal Specification Language for Object-Oriented Designs\u201d, Proceedings of IEEE CompEuro'92, pp. 214\u2013219, IEEE, 1992.","DOI":"10.1109\/CMPEUR.1992.218511"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"A. Laorakpong & M. Saeki, \u201cObject-Oriented Formal Specification Development using VDM\u201d, Proceedings of the International Symposium on Object Technologies for Advanced Software (LNCS, Vol. 742), pp. 529\u2013543, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57342-9_93"},{"key":"16_CR18","unstructured":"E. Cusack et al, \u201cAn Object-Oriented Interpretation of LOTOS\u201d, in S. Vuong (ed.), Formal Description Techniques, Vol. 2, pp. 211\u2013226, North Holland, 1990."},{"key":"16_CR19","unstructured":"S. Cook & J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice Hall, 1994."},{"key":"16_CR20","unstructured":"D. Coleman et al, Object-Oriented Development: The Fusion Method, Prentice Hall, 1994."},{"issue":"No.1","key":"16_CR21","first-page":"17","volume":"1","author":"M. Dodani","year":"1994","unstructured":"M. Dodani, \u201cSemantically Rich Object-Oriented Software Engineering Methodologies\u201d, Report on Object-Oriented Analysis and Design, Vol. 1, No. 1, pp. 17\u201321, 1994.","journal-title":"Report on Object-Oriented Analysis and Design"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"A Moreira & R. Clark, \u201cRigorous Object-Oriented Analysis\u201d, Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (LNCS, Vol. 858), pp. 65\u201378, Springer-Verlag, 1994.","DOI":"10.1007\/BFb0014017"},{"issue":"No.10","key":"16_CR23","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"R.H. Bourdeau","year":"1995","unstructured":"R.H. Bourdeau & B.H.C. Cheng, \u201cA Formal Semantics for Object Model Diagrams\u201d, IEEE Transactions on Software Engineering, Vol. 21, No. 10, pp. 799\u2013832, 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR24","unstructured":"J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989."},{"key":"16_CR25","unstructured":"C.B. Jones, Systematic Software Development Using VDM, Prentice Hall, 1986."},{"key":"16_CR26","unstructured":"J. Rumbaugh et al, Object-Oriented Modelling and Design, Prentice Hall, 1991."},{"key":"16_CR27","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel, \u201cStatecharts: A Visual Formalism for Complex Systems\u201d, Science of Computer Programming, Vol. 8, pp. 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"16_CR28","unstructured":"G. Booch, Object-Oriented Analysis and Design with Applications, Benjamin-Cummings, 1994."},{"key":"16_CR29","unstructured":"P. Coad & E. Yourdon, Object-Oriented Analysis, Prentice Hall, 1991."},{"key":"16_CR30","unstructured":"M. Broy, \u201cMethodological Objectives for Formal Description Techniques\u201d, in J. Quemada et al (eds.), Formal Description Techniques, Vol. 3, pp. 1\u201316, Northern Holland, 1991."},{"key":"16_CR31","unstructured":"J.A. Goguen, \u201cMore Thoughts on Specification and Verification\u201d, in N. Gehani & A. McGettrick (eds.), Software Specification Techniques, pp. 47\u201352, Addison-Wesley, 1985."},{"issue":"No.1","key":"16_CR32","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1049\/sej.1989.0007","volume":"4","author":"J.C.P. Woodcock","year":"1989","unstructured":"J.C.P. Woodcock, \u201cStructuring Specification in Z\u201d, Software Engineering Journal, Vol. 4, No. 1, pp. 51\u201366, 1989.","journal-title":"Software Engineering Journal"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63114-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:34Z","timestamp":1605647734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63114-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631149","9783540691501"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-63114-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}