{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:06Z","timestamp":1725663906015},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573425"},{"type":"electronic","value":"9783540480754"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57342-9_93","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:53:41Z","timestamp":1330260821000},"page":"529-543","source":"Crossref","is-referenced-by-count":3,"title":["Object-oriented formal specification development using VDM"],"prefix":"10.1007","author":[{"given":"Amarit","family":"Laorakpong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Motoshi","family":"Saeki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Pierre America, Frank van der Linden, \u201cA Parallel Object Oriented Language with Inheritance and Subtyping\u201d ECOOP\/OOPSLA'90 Proceedings, pp. 161\u2013168, October 1990.","key":"31_CR1","DOI":"10.1145\/97945.97966"},{"unstructured":"Dines Bj\u00f8rner, \u201cForma Software Development The VDM Approach\u201d, 1990.","key":"31_CR2"},{"doi-asserted-by":"crossref","unstructured":"Grady Booch, \u201cObject-Oriented Design with applications\u201d, Prentice Hall, 1991.","key":"31_CR3","DOI":"10.1145\/149576.149582"},{"unstructured":"BSI IST\/5\/50, \u201cVDM Specification Language\u201d, March 1991. [Carrington, 1990] D. Carrington, D. Duke, R. Duke, P. King, G. Rose, G. Smith, \u201cObject-Z: An object-oriented extension to Z\u201d, FORTE89, pp.281\u2013296, 1990.","key":"31_CR4"},{"doi-asserted-by":"crossref","unstructured":"W. Cook, J. Palsberg, \u201cA Denotational Semantics of Inheritance and its Correctness\u201d, OOPSLA'89 Proceedings, pp.433\u2013443, 1989.","key":"31_CR5","DOI":"10.1145\/74877.74922"},{"key":"31_CR6","first-page":"211","volume":"II","author":"E. Cusack","year":"1990","unstructured":"E. Cusack, S. Rudkin, C. Smith, \u201cAn Object Oriented Interpretation of LOTOS\u201d, FORTE89, Formal Description Technique II, pp.211\u2013226, 1990.","journal-title":"FORTE89, Formal Description Technique"},{"unstructured":"Elspet Cusack, \u201cInheritance In Object Oriented Z\u201d, ECOOP'91, July 1991.","key":"31_CR7"},{"unstructured":"Ole-Johan Dahl, \u201cObject Orientation and Formal Techniques\u201d, VDM'90 VDM and Z, April 1990.","key":"31_CR8"},{"unstructured":"Roger Duke, Paul King, Gordon Rose, Graeme Smith, \u201cThe Object-Z Specification Language Version 1\u201d, Technical Report, Queensland 4072, May 1991.","key":"31_CR9"},{"unstructured":"P.Freeman, \u201cStrategic Directions in Software Engineering: Past, Present and Future\u201d, In G.X. Ritter, editor, IFIP 89, pages 205\u2013210, North-Holland, 1989.","key":"31_CR10"},{"unstructured":"Chris George, \u201cTie RAISE Specification Language, A Tutorial\u201d, VDM'91 Formal Software Development Methods, October 1991.","key":"31_CR11"},{"unstructured":"\u201cInformation processing systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A formal description technique based on the temporal ordering of obsevational behaviour\u201d, ISO 8007, 1989.","key":"31_CR12"},{"unstructured":"Cliff B. Jones, \u201cSystematic Software Development Using VDM\u201d, C.A.R.Hoare series, Prentice-Hall, 1986.","key":"31_CR13"},{"unstructured":"C.B. Jones, R.C. Shaw, \u201cCase Studies in Systematic Software Development\u201c, Prentice Hall, 1990.","key":"31_CR14"},{"doi-asserted-by":"crossref","unstructured":"K. Lano, H. Haughton, \u201cReasoning and Refinement in Object-Oriented Specification Languages\u201d, ECOOP'92, pp.78-97, 1992.","key":"31_CR15","DOI":"10.1007\/BFb0053031"},{"unstructured":"Yves Ledru, \u201cTowards the Formal Development of Terminating Reactive Systems\u201d, Docteur en Sciences Appliqu\u00e9es, Dec. 1991.","key":"31_CR16"},{"unstructured":"K. Lee, J. H. Hur, \u201cOLOTOS: An Object-Oriented Extension of LOTOS for Distributed Processing\u201d, KAIST Technical Report, CS-TR-89\u201341, 1989.","key":"31_CR17"},{"unstructured":"Bertrand Meyer, \u201cObject-oriented Software Construction\u201d, C.A.R.Hoare series, Prentice-Hall, 1988.","key":"31_CR18"},{"doi-asserted-by":"crossref","unstructured":"K. Middelburg, \u201cTie VIP VDM Specification Language\u201d, VDM'88-The way Ahead, Springer-Verlag, 1988.","key":"31_CR19","DOI":"10.1007\/3-540-50214-9_17"},{"doi-asserted-by":"crossref","unstructured":"Uwe Schmidt, Hans-Martin Horcher, Norsk Data GmbH, \u201cProgramming with VDM Domains\u201d, VDM'90 VDM and Z, April 1990.","key":"31_CR20","DOI":"10.1007\/3-540-52513-0_7"},{"unstructured":"J.M. Spivey, \u201cUnderstanding Z, a Specification Language and its Formal Semantics\u201d, Cambridge University Press, 1988.","key":"31_CR21"},{"doi-asserted-by":"crossref","unstructured":"K. St\u00f8len, \u201cAn Attempt to Reason about Shared-State Concurrency in the style of VDM\u201d, VDM'91 Formal Software Development Methods, October 1991.","key":"31_CR22","DOI":"10.1007\/3-540-54834-3_20"},{"doi-asserted-by":"crossref","unstructured":"Peter Wegner & Stanlet B. Zdonik, \u201cInheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like\u201d, ECOOP'88, pp.55\u201377, 1988.","key":"31_CR23","DOI":"10.1007\/3-540-45910-3_4"},{"doi-asserted-by":"crossref","unstructured":"J.B. Wordsworth, \u201cPractical experience of formal specification: a programminginterface for communications\u201d, ESEC'89, pages 140\u2013158, Springer-Verlag, 1988.","key":"31_CR24","DOI":"10.1007\/3-540-51635-2_37"},{"key":"31_CR25","first-page":"341","volume":"X","author":"C. A. Vissers","year":"1990","unstructured":"C. A. Vissers, \u201cFDTs for Open Distributed Systems, a Retrospective and a Prospective View\u201d, Protocol Specification, Testing, and Verification, X, pp.341\u2013362, June 1990.","journal-title":"Protocol Specification, Testing, and Verification"}],"container-title":["Lecture Notes in Computer Science","Object Technologies for Advanced Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57342-9_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:32:37Z","timestamp":1687285957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57342-9_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573425","9783540480754"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-57342-9_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}