{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T10:17:10Z","timestamp":1648894630452},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,4,1]],"date-time":"1993-04-01T00:00:00Z","timestamp":733622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. & Technol."],"published-print":{"date-parts":[[1993,4]]},"DOI":"10.1007\/bf02939476","type":"journal-article","created":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T05:09:40Z","timestamp":1220418580000},"page":"138-146","source":"Crossref","is-referenced-by-count":0,"title":["Design rationale for a wide spectrum specification language FGSPEC"],"prefix":"10.1007","volume":"8","author":[{"given":"Lu","family":"Jian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Jiafu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"BF02939476_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/TSE.1976.233798","volume":"2","author":"M. Hamilton","year":"1976","unstructured":"M. Hamilton and S. Zeldin, Higher order software\u2014A methodology for defining software.IEEE. Trans. on Software Engineering, 1976, SE-2(1), 9\u201332.","journal-title":"IEEE. Trans. on Software Engineering"},{"issue":"1","key":"BF02939476_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0164-1212(83)90004-3","volume":"3","author":"M. Hamilton","year":"1983","unstructured":"M. Hamilton and S. Zeldin, The functional life cycle model and its automation: Use. ItJ. Systems and Software, 1983, 3(1), 25\u201362.","journal-title":"J. Systems and Software"},{"key":"BF02939476_CR3","unstructured":"M. Hamilton and S. Zeldin, Integrated Software Development System\/Higher Order Software Conceptual Description. Research and Development Technical Report, ECOM_76_0329_f."},{"key":"BF02939476_CR4","first-page":"1260","volume":"10","author":"Dai Min","year":"1989","unstructured":"Dai Min and Xu Jiafu, GSPEC: A graphical specification language for software.Science in China (Series A), 1989, (10), 1260\u20131269.","journal-title":"Science in China (Series A)"},{"key":"BF02939476_CR5","first-page":"875","volume":"7","author":"Lu Jian","year":"1991","unstructured":"Lu Jian, Framework of algorithm correctness in NDADAS.Science in China (Series A), 1991, (7), 875\u2013884.","journal-title":"Science in China (Series A)"},{"key":"BF02939476_CR6","unstructured":"F. L. Baueret al., The Munich Project CIP-L Vol. 1. The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science, Vol. 183, 1985."},{"key":"BF02939476_CR7","unstructured":"Lu Jian, The design and implementation of algorithm design automation system NDADAS. Ph.D. dissertation, Nanjing University, 1988."},{"key":"BF02939476_CR8","first-page":"105","volume":"3","author":"Xu Jiafu","year":"1991","unstructured":"Xu Jiafu, Dai Min and Lu Jian, From what to how.Advances in Chinese Computer Science, 1991, 3, 105\u2013117.","journal-title":"Advances in Chinese Computer Science"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939476.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02939476\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T22:59:11Z","timestamp":1558565951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02939476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,4]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,4]]}},"alternative-id":["BF02939476"],"URL":"https:\/\/doi.org\/10.1007\/bf02939476","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,4]]}}}