{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:03:37Z","timestamp":1784675017339,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540502142","type":"print"},{"value":"9783540459552","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50214-9_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:17:14Z","timestamp":1330201034000},"page":"124-138","source":"Crossref","is-referenced-by-count":2,"title":["NUSL: An executable specification language based on data abstraction"],"prefix":"10.1007","author":[{"given":"XinJie","family":"Jiang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"YongSen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"12_CR1","unstructured":"ACM SIGSOFT Rapid Prototyping Workshop, Special Issue on Rapid Prototyping, Software Engineering Notes, Dec. 1982."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Berry, D. M. and J. M. Wing, Specifying and Prototyping: Some Thoughts on Why They Are Successful, in Formal Methods and Software development, Vol. 2, H. Ehrig et al. eds., Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15199-0_8"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bjorner, D. and C. B. Jones, Vienna Development Method: The Meta Language, Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"12_CR4","unstructured":"Bjorner, D., Rigorous Development of Interpreters and Compilers, in Formal Specification and Software Development, D. Bjorner and C. B. Jones eds., Prentice-Hall, 1982."},{"key":"12_CR5","unstructured":"Boehm, B. K., Software Engineering: R and D Trends and Defense Needs, in Research Directions in Software Technology, P. Wegner ed., MIT Press, 1979."},{"key":"12_CR6","unstructured":"Darlington, J., Principle of Functional Programming, Prentice-Hall, 1983."},{"key":"12_CR7","unstructured":"Goguen, J. A., An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications, in Proc. Specification of Reliable Software, 1979."},{"key":"12_CR8","unstructured":"Goguen, J. A. and J. Meseguer, Rapid Prototyping in the OBJ Executable Specification Language, in [1]."},{"key":"12_CR9","unstructured":"Goguen, J. A. etc., Abstract Data Types as Initial Algebras and Correctness of Data Representations, Current Trends in Programming Methodology 4, R. Yeh ed., Prentice-Hall, 1978."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Guttag, J. V., Notes on Type Abstraction, in Proc. Specification of Reliable Software, 1979.","DOI":"10.1007\/BFb0014684"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Guttag, J. V., E.Horowitz and D. R. Musser, Abstract Data Types and Software Validation, CACM, Dec. 1978.","DOI":"10.1145\/359657.359666"},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0167-6423(86)90021-3","volume":"6","author":"J. V. Guttag","year":"1986","unstructured":"Guttag, J. V. and J. J. Horning, Report on the Larch Shared Language, Science of Computer Programming, Vol. 6, pp 103\u2013134, 1986.","journal-title":"Report on the Larch Shared Language, Science of Computer Programming"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Henderson, P., Functional Programming, Formal Specification and Rapid Prototyping, IEEE Trans. on Soft. Eng., Feb. 1986.","DOI":"10.1109\/TSE.1986.6312939"},{"key":"12_CR14","unstructured":"Henderson, P., Functional Programming: Application and Implementation, Prentice-Hall, 1980."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Hoare C. A. R., Proof of Correctness of Data Representations, in Programming Methodology, D. Gries ed., Springer-Verlag, 1978.","DOI":"10.1007\/978-1-4612-6315-9_20"},{"key":"12_CR16","unstructured":"Hoare, C. A. R., Notes on Data Structuring, in Structured Programming (O. J. Dahl et al.), Academic Press, 1972."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Jackson, M.I. and B.T.Denvir, Experience of Introducing VDM into an Industrial Organization, in Formal methods and Software Development, Vol 2, H. Ehrig et al. eds., Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15199-0_27"},{"key":"12_CR18","unstructured":"Jones, C. B., Systematic Software Development Using VDM, Prentice-Hall, 1986."},{"key":"12_CR19","unstructured":"Jones, C. B., Implementation Bias in Constructive Specifications, Manuscript, 1977."},{"key":"12_CR20","unstructured":"Majster, M. E., Limits of the Algebraic Specifications of Abstract Data Types, SIGPLAN Notices, Oct. 1977."},{"key":"12_CR21","unstructured":"Oest, O. N., VDM from Research to Practice, Information Processing 86, H. J. Kugler ed., 1986."},{"key":"12_CR22","unstructured":"Turner, D. A., Functional Programs as Executable Specifications, in Mathematical Logic and Programming Languages, C.A.R.Hoare ed., Prentice-Hall, 1985."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Wulf, W. A. et al., An Introduction to the Construction and Verification of Alphard Programs, IEEE Trans. on Soft. Eng., Dec., 1976.","DOI":"10.1109\/TSE.1976.233830"}],"container-title":["Lecture Notes in Computer Science","VDM '88 VDM \u2014 The Way Ahead"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50214-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:53:26Z","timestamp":1687283606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50214-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502142","9783540459552"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-50214-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}