{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T16:40:05Z","timestamp":1706719205050},"reference-count":35,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1016\/j.knosys.2005.10.005","type":"journal-article","created":{"date-parts":[[2005,11,12]],"date-time":"2005-11-12T12:11:11Z","timestamp":1131797471000},"page":"141-151","source":"Crossref","is-referenced-by-count":1,"title":["Facilitating formal specification acquisition by using recursive functions on context-free languages"],"prefix":"10.1016","volume":"19","author":[{"given":"Haiming","family":"Chen","sequence":"first","affiliation":[]},{"given":"Yunmei","family":"Dong","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"10","key":"10.1016\/j.knosys.2005.10.005_bib1","first-page":"755","article-title":"Design and implementation of function construction and checking system FC","volume":"9","author":"Chen","year":"1998","journal-title":"Journal of Software"},{"key":"10.1016\/j.knosys.2005.10.005_bib2","unstructured":"H. Chen, Testing method for language LFC, Draft, 2004 (in Chinese)."},{"key":"10.1016\/j.knosys.2005.10.005_bib3","unstructured":"H. Chen, Y. Dong, Definition forms of recursive functions defined on context-free languages, Technical Report ISCAS-LCS-99-15, Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences, 1999 (in Chinese)."},{"issue":"10","key":"10.1016\/j.knosys.2005.10.005_bib4","first-page":"1179","article-title":"A representation of parse tree for context-free language","volume":"37","author":"Chen","year":"2000","journal-title":"Journal of Computer Research and Development"},{"issue":"6","key":"10.1016\/j.knosys.2005.10.005_bib5","doi-asserted-by":"crossref","first-page":"840","DOI":"10.1007\/BF02973447","article-title":"Practical type checking of functions defined on context-free languages","volume":"19","author":"Chen","year":"2004","journal-title":"Journal of Computer Science and Technology"},{"issue":"2","key":"10.1016\/j.knosys.2005.10.005_bib6","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF02950420","article-title":"Pattern matching compilation of functions defined on context-free languages","volume":"16","author":"Chen","year":"2001","journal-title":"Journal of Computer Science and Technology"},{"key":"10.1016\/j.knosys.2005.10.005_bib7","unstructured":"H. Chen, Practical operators for a kind of recursive functions, Technical Report ISCAS-LCS-04-11, Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences, 2004."},{"issue":"6","key":"10.1016\/j.knosys.2005.10.005_bib8","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1109\/32.852740","article-title":"A theory-based representation for object-oriented domain models","volume":"26","author":"DeLoach","year":"2000","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.knosys.2005.10.005_bib9","unstructured":"A. van Deursen, Introducing ASF+SDF using the \u03bb-calculus as example, Chapter 2 of Executable Language Definitions\u2014Case Studies and Origin Tracking Techniques, PhD Thesis, University of Amsterdam, 1994."},{"key":"10.1016\/j.knosys.2005.10.005_bib10","unstructured":"Y. Dong, MLIRF method for specification acquisition and reuse (in Chinese), Proceedings of the ninth National Conference of China Computer Federation, 21\u201327, May 1996."},{"key":"10.1016\/j.knosys.2005.10.005_bib11","first-page":"178","article-title":"Reuse-based grammetical indentification of context-free grammars","volume":"Oct.","author":"Dong","year":"1996","journal-title":"Journal of Software"},{"issue":"1","key":"10.1016\/j.knosys.2005.10.005_bib12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02946607","article-title":"An interactive learning algorithm for acquisition of concepts represented as CFL","volume":"13","author":"Dong","year":"1998","journal-title":"Journal of Computer Science and Technology"},{"key":"10.1016\/j.knosys.2005.10.005_bib13","unstructured":"Y. Dong, K. Li, H. Chen, et al., Design and implementation of the formal specification acquisition system SAQ, Conf. Software: Theory and Practice, IFIP 16th World Computer Congress 2000, Beijing, 2000, pp. 201\u2013211."},{"issue":"1","key":"10.1016\/j.knosys.2005.10.005_bib14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1360\/02yf9002","article-title":"Recursive functions of context free languages (I)\u2014The definitions of CFPRF and CFRF","volume":"45","author":"Dong","year":"2002","journal-title":"Science in China Series F"},{"issue":"2","key":"10.1016\/j.knosys.2005.10.005_bib15","first-page":"1","article-title":"Recursive functions of context free languages (II)\u2014validity of CFPRF and CFRF definitions","volume":"45","author":"Dong","year":"2002","journal-title":"Science in China Series F"},{"key":"10.1016\/j.knosys.2005.10.005_bib16","doi-asserted-by":"crossref","unstructured":"John O'Donnell, Overview of Hydra: a concurrent language for synchronous digital circuit design, Proceedings of the 16th International Parallel and Distributed Processing Symposium, 2002, p. 240.","DOI":"10.1109\/IPDPS.2002.1016653"},{"issue":"12","key":"10.1016\/j.knosys.2005.10.005_bib17","doi-asserted-by":"crossref","first-page":"1182","DOI":"10.1109\/32.738346","article-title":"Making use of scenarios for validation analysis and design","volume":"24","author":"Dzida","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/j.knosys.2005.10.005_bib18","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1145\/362007.362035","article-title":"An efficient context-free parsing algorithm","volume":"13","author":"Earley","year":"1970","journal-title":"Communications of the ACM"},{"issue":"10","key":"10.1016\/j.knosys.2005.10.005_bib19","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/194313.194399","article-title":"Strategies for incorporating formal specifications in software development","volume":"37","author":"Fraser","year":"1994","journal-title":"Communications of the ACM"},{"key":"10.1016\/j.knosys.2005.10.005_bib20","series-title":"Subtyping of Context-free Classes","author":"Freudig","year":"1998"},{"key":"10.1016\/j.knosys.2005.10.005_bib21","doi-asserted-by":"crossref","unstructured":"J. Grundy, T. Melham, J. O'Leary, A reflective functional language for hardware design and theorm proving, Technical Report PRG-RR-03-16, Oxford Univerity, Computing Laboratory, 2003.","DOI":"10.1017\/S0956796805005757"},{"issue":"6","key":"10.1016\/j.knosys.2005.10.005_bib22","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1137\/S0097539790188168","article-title":"A grammar-based approach towards unifying hierarchical data models","volume":"23","author":"Gyssens","year":"1994","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/j.knosys.2005.10.005_bib23","series-title":"FASE 2002","article-title":"Model generation by moderated regular extrapolation","volume":"vol. 2306","author":"Hagerer","year":"2002"},{"issue":"4","key":"10.1016\/j.knosys.2005.10.005_bib24","first-page":"403","article-title":"An automatic programming system SPACE with highly visualized and abstract program specification","volume":"E78-D","author":"Harada","year":"1995","journal-title":"IEICE Transactions on Information and Systems"},{"key":"10.1016\/j.knosys.2005.10.005_bib25","unstructured":"Faizan Javed, Marjan Mernik, Barrett R. Bryant, Jeff Gray, A grammar-based approach to class diagram validation, Fourth International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), St Louis, MO, 2005."},{"key":"10.1016\/j.knosys.2005.10.005_bib26","series-title":"FASE 2001","article-title":"Grammar testing","volume":"vol. 2029","author":"Lammel","year":"2001"},{"issue":"1","key":"10.1016\/j.knosys.2005.10.005_bib27","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008603612253","article-title":"Specification and animation of a bank transfer using KIDS\/VDM","volume":"4","author":"Ledru","year":"1997","journal-title":"Automated Software Engineering: An International Journal"},{"key":"10.1016\/j.knosys.2005.10.005_bib28","series-title":"Automating Software Design","year":"1991"},{"key":"10.1016\/j.knosys.2005.10.005_bib29","first-page":"90","article-title":"Microprocessor specification in Hawk","author":"Matthews","year":"1998","journal-title":"Computer Languages: International Conference"},{"key":"10.1016\/j.knosys.2005.10.005_bib30","series-title":"Software Engineering Theory and Practice","author":"Lawrence Pfleeger","year":"1998"},{"key":"10.1016\/j.knosys.2005.10.005_bib32","series-title":"Handbook of Formal Languages","volume":"vol. 1","year":"1997"},{"issue":"12","key":"10.1016\/j.knosys.2005.10.005_bib33","first-page":"1716","article-title":"Requirement specification acquisition of communications services","volume":"E79-D","author":"Takura","year":"1996","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"9","key":"10.1016\/j.knosys.2005.10.005_bib34","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","article-title":"A specifier's introduction to formal methods","volume":"23","author":"Wing","year":"1990","journal-title":"IEEE Computer"},{"issue":"4","key":"10.1016\/j.knosys.2005.10.005_bib35","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","article-title":"Recursive functions of symbolic expressions and their computa-tion by machine, part 1","volume":"3","author":"McCarthy","year":"1960","journal-title":"Communication of the ACM"},{"key":"10.1016\/j.knosys.2005.10.005_bib36","series-title":"Computer Programming and Formal Systems","first-page":"33","article-title":"A basis for mathematical theory of computation","author":"McCarthy","year":"1963"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705105000900?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705105000900?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T16:18:21Z","timestamp":1706717901000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705105000900"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["S0950705105000900"],"URL":"https:\/\/doi.org\/10.1016\/j.knosys.2005.10.005","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}