{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:04:14Z","timestamp":1725465854402},"publisher-location":"Berlin\/Heidelberg","reference-count":26,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052192","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:59:15Z","timestamp":1149652755000},"page":"365-385","source":"Crossref","is-referenced-by-count":1,"title":["A specification language for object-oriented analysis and design"],"prefix":"10.1007","author":[{"given":"Ted L.","family":"Briggs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Werth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"P. America and F. de Boer, \u201cA sound and complete proof system for SPOOL,\u201d Technical Report 505, Philips Research Laboratories, May 1990."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"S. Bear, P. Allen, D. Coleman, and F. Hayes, \u201cGraphical Specification of Object-Oriented Systems,\u201d OOPSLA\/ECOOP '90 Conference Proceedings, Phoenix, Arizona, 1990, pp. 28\u201337.","DOI":"10.1145\/97945.97950"},{"key":"20_CR3","unstructured":"G. Booch, Object-Oriented Design with Applications, Benjamin\/Cummings Series in Ada and Software Engineering, Benjamin\/Cummings Publishing, 1991."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"R. Breu, Algebraic Specification Techniques in Object-Oriented Programming Environments, LNCS 562, Springer Verlag, 1991.","DOI":"10.1007\/3-540-54972-2"},{"key":"20_CR5","unstructured":"T. L. Briggs and J. Werth, A Trace Model for Objects, University of Texas, (Technical Report in preparation)."},{"key":"20_CR6","volume-title":"Object-Oriented Analysis (2nd Edition)","author":"P. Coad","year":"1991","unstructured":"P. Coad and E. Yourdon, Object-Oriented Analysis (2nd Edition), Yourdon Press, Englewood Cliffs, NJ, 1991."},{"key":"20_CR7","unstructured":"P. Coad and E. Yourdon, Object-Oriented Design, Yourdon Press, Englewood Cliffs, NJ."},{"issue":"1","key":"20_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/32.120312","volume":"18","author":"D. Coleman","year":"1992","unstructured":"D. Coleman, F. Hayes, and S. Bear, \u201cIntroducing Objectcharts or How to Use Statecharts in Object-Oriented Design,\u201d IEEE Transactions on Software Engineering, 18(1), Jan. 1992, pp. 9\u201318.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR9","unstructured":"J. Goguen and J. Meseguer, \u201cUnifying Functional, Object-Oriented and Relational Semantics with Logical Semantics,\u201d in Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner (editors), MIT Press, 1987, pp. 417\u2013477, (also as CSLI-87-7 July 1987)."},{"key":"20_CR10","unstructured":"J. A. Goguen and T. Winkler, \u201cIntroducing OBJ3,\u201d Technical Report SRI-CSL-88-9, Computer Science Laboratory, SRI International, Aug. 1988."},{"key":"20_CR11","doi-asserted-by":"publisher","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, 8, 1987, pp. 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"20_CR12","unstructured":"D. Harel, A. Pnueli, J. Pruzan-Schmidt, and R. Sherman, \u201cOn the formal semantics of Statecharts,\u201d Proceedings, Logic in Computer Science '87, 1987, pp. 54\u201364."},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"F. Hayes and D. Coleman, \u201cCoherent Models for Object-Oriented Analysis,\u201d OOPSLA '91 Conference Proceedings, 1991, pp. 171\u2013183.","DOI":"10.1145\/117954.117968"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"R. Helm, I. M. Holland, and D. Gangopadhyay, \u201cContracts: Specifying Behavioral Compositions in Object-Oriented Systems,\u201d OOPSLA\/ECOOP '90 Conference Proceedings, Phoenix, Arizona, 1990, pp. 169\u2013180.","DOI":"10.1145\/97945.97967"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"G. T. Leavens and W. E. Weihl, \u201cReasoning about Object-Oriented Programs that use Subtypes,\u201d OOPSLA\/ECOOP '90 Conference Proceedings, Phoenix, Arizona, Oct. 1990, pp. 212\u2013223.","DOI":"10.1145\/97945.97970"},{"key":"20_CR16","unstructured":"T. Mayr, \u201cSpecification of Object-Oriented Systems in LOTOS,\u201d in Formal Description Techniques, K. J. Turner (editor), North-Holland, 1989, pp. 107\u2013119."},{"key":"20_CR17","volume-title":"PhD Thesis","author":"R. J. McKenzie","year":"1992","unstructured":"R. J. McKenzie, An Algebraic Model of Class, Inheritance, and Message Passing, PhD Thesis, Univ. of Texas at Austin, 1992."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"J. Meseguer, \u201cA Logical Theory of Concurrent Objects,\u201d OOPSLA '89 Conference Proceedings, Oct., 1989, pp. 101\u2013115.","DOI":"10.1145\/97946.97958"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"C. Minkowitz and P. Henderson, \u201cA Formal Description of Object-Oriented Programming Using VDM,\u201d VDM 87, 1987, LNCS 252, Springer Verlag, pp. 237\u2013259.","DOI":"10.1007\/3-540-17654-3_14"},{"key":"20_CR20","first-page":"339","volume-title":"Information Processing 71","author":"D. L. Parnas","year":"1971","unstructured":"D. L. Parnas, \u201cInformation Distribution Aspects of Design Methodology,\u201d in Information Processing 71, C. V. Freiman (editor), North-Holland, 1971, pp. 339\u2013344, (Proceedings of the IFIP Congress 71, Ljubljana Yugoslavia Aug. 23-28, 1971)."},{"issue":"12","key":"20_CR21","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"D. L. Parnas, \u201cOn The Criteria To be Used in Decomposing Systems into Modules,\u201d Communications of ACM, 15(12), Dec. 1972, pp. 1053\u20131058.","journal-title":"Communications of ACM"},{"key":"20_CR22","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, 1991."},{"key":"20_CR23","unstructured":"J. Rumbaugh and M. Blaha, \u201cTutorial Notes: Object-Oriented Modeling and Design,\u201d OOPSLA '91 Conference Proceedings, 1991."},{"key":"20_CR24","series-title":"Yourdon Press Computing Series","volume-title":"Object-Oriented Systems Analysis: Modeling the World in Data","author":"S. Shlaer","year":"1988","unstructured":"S. Shlaer and S. J. Mellor, Object-Oriented Systems Analysis: Modeling the World in Data, Yourdon Press Computing Series, Yourdon Press, Englewood Cliffs, NJ, 1988."},{"issue":"9","key":"20_CR25","doi-asserted-by":"publisher","first-page":"1076","DOI":"10.1109\/32.58791","volume":"16","author":"J. M. Wing","year":"1990","unstructured":"J. M. Wing, \u201cUsing Larch to Specify Avalon\/C++ Objects,\u201d IEEE Transactions on Software Engineering, 16(9), Sept. 1990, pp. 1076\u20131088.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR26","unstructured":"R. Wirfs-Brock, B. Wilkerson, and L. Wiener, Designing Object-Oriented Software, Prentice Hall, 1990."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052192.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:59:31Z","timestamp":1607551171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052192"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582029"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0052192","relation":{},"subject":[]}}