{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T12:02:24Z","timestamp":1648814544884},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1007\/bf02948744","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T09:45:43Z","timestamp":1221212743000},"page":"408-413","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic checking framework for Java Beans semantic constraints"],"prefix":"10.1007","volume":"14","author":[{"given":"Bin","family":"Ni","sequence":"first","affiliation":[]},{"given":"Yulin","family":"Feng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02948744_CR1","unstructured":"JAVASOFT\u2122. Java Beans 1.0 API Specification, 1997."},{"key":"BF02948744_CR2","unstructured":"Meyer B. Object-Oriented Software Construction. Prentice-Hall, 2nd Ed., 1997."},{"key":"BF02948744_CR3","doi-asserted-by":"crossref","unstructured":"Cheion Y, Leavens G T. The Larch\/Smalltalk interface specification language.ACM Transaction on SE & Methodology, 1994.","DOI":"10.1145\/196092.195325"},{"key":"BF02948744_CR4","unstructured":"Alencar A J, Goguen J A. OOZE: An object orientedZ environment. InECOOP'91, LNCS 512, 1991."},{"key":"BF02948744_CR5","unstructured":"Duke D, Duke R, Rose G, Smith G. Object-Z: An object-oriented extension toZ. InProceedings of Formal Description Techniques, 1989."},{"key":"BF02948744_CR6","unstructured":"Ehrich H. Object Specification. IFIP WG14.3 Book on Algebraic Foundations of Systems Specification, 1996."},{"key":"BF02948744_CR7","unstructured":"Feng Y L, LI J. Object semantic theory and constraints reasoning.Chinese J. Computers, 1993, 16(11)."},{"key":"BF02948744_CR8","doi-asserted-by":"crossref","unstructured":"Burch J R, Clarke E M, Mcmillan K L., Dill D L, Hwang L J. Symbolic model checking: 1020 States and Beyond.Information and Computation, 1992, 98(2).","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"BF02948744_CR9","unstructured":"JAVASOFT\u2122, BDK1.0 Demos (Software), 1997."},{"key":"BF02948744_CR10","unstructured":"NI B, FENG Y L. Exploiting abstraction to check semantic constraints for Java Beans. InIFIP'98 Congress, Vienna & Budapest, Sept. 1998."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948744.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948744\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:03:09Z","timestamp":1558566189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["BF02948744"],"URL":"https:\/\/doi.org\/10.1007\/bf02948744","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}