{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T21:07:41Z","timestamp":1649106461082},"reference-count":27,"publisher":"Elsevier BV","issue":"14-15","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1016\/s0950-5849(97)00054-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T12:27:49Z","timestamp":1027600069000},"page":"913-923","source":"Crossref","is-referenced-by-count":8,"title":["Verifying task-based specifications in conceptual graphs"],"prefix":"10.1016","volume":"39","author":[{"given":"Jonathan","family":"Lee","sequence":"first","affiliation":[]},{"given":"Lein","family":"F. Lai","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(97)00054-2_BIB1","series-title":"Proceedings of IEEE Conference on Specifications of Reliable Software","first-page":"58","article-title":"Principles of good software specification and their implications for specification languages","author":"Balzer","year":"1979"},{"issue":"1","key":"10.1016\/S0950-5849(97)00054-2_BIB2","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MS.1984.233702","article-title":"Verifying and validating software requirement and design specification","volume":"1","author":"Boehm","year":"1984","journal-title":"IEEE Software"},{"issue":"1","key":"10.1016\/S0950-5849(97)00054-2_BIB3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/MS.1985.230050","article-title":"Features of languages for the development of information systems at the conceptual level","volume":"2","author":"Borgida","year":"1985","journal-title":"IEEE Software"},{"issue":"4","key":"10.1016\/S0950-5849(97)00054-2_BIB4","first-page":"59","article-title":"Design problem solving: A task analysis","volume":"11","author":"Chandrasekaran","year":"1990","journal-title":"AI Magazine"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB5","series-title":"Proceedings of the Sixth Annual Workshop on Conceptual Graphs","first-page":"15","article-title":"Dynamic assertion and retraction of conceptual graphs","author":"Delugach","year":"1991"},{"issue":"2","key":"10.1016\/S0950-5849(97)00054-2_BIB6","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1080\/09528139208953739","article-title":"Incremental planning using conceptual graphs","volume":"4","author":"Eshner","year":"1992","journal-title":"J. Exp. Theoretical Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0950-5849(97)00054-2_BIB7","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/76372.77531","article-title":"An incremental constraint solver","volume":"33","author":"Freeman-Benson","year":"1990","journal-title":"Commun. ACM"},{"issue":"1","key":"10.1016\/S0950-5849(97)00054-2_BIB8","first-page":"32","article-title":"Algorithms for constraint-satisfaction problems: A survey","volume":"13","author":"Kumar","year":"1992","journal-title":"AI Magazine"},{"issue":"10","key":"10.1016\/S0950-5849(97)00054-2_BIB9","doi-asserted-by":"crossref","first-page":"1176","DOI":"10.1109\/TSE.1989.559766","article-title":"Conceptual modeling in the context of software development","volume":"15","author":"Kung","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0950-5849(97)00054-2_BIB10","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0164-1212(94)00085-2","article-title":"An executable visual formalism for object-oriented conceptual modeling","volume":"31","author":"Kung","year":"1995","journal-title":"J. Systems Software"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB11","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1002\/(SICI)1098-111X(199703)12:3<167::AID-INT1>3.0.CO;2-N","article-title":"Task structures as a basis for modeling knowledge-based systems","volume":"12","author":"Lee","year":"1997","journal-title":"Int. J. Intelligent Systems"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB12","series-title":"Proceedings of the 1997 IEEE Knowledge and Data Engineering Exchange Workshop","article-title":"Contextual retrieval mechanism for reusing task-based specification","author":"Lee","year":"1997"},{"issue":"4","key":"10.1016\/S0950-5849(97)00054-2_BIB13","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/64.511868","article-title":"Task-based specifications through conceptual graphs","volume":"11","author":"Lee","year":"1996","journal-title":"IEEE Expert"},{"issue":"9","key":"10.1016\/S0950-5849(97)00054-2_BIB14","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1002\/int.4550090905","article-title":"A tool for task-based knowledge and specification acquisition","volume":"9","author":"Lee","year":"1994","journal-title":"Int. J. Intelligent Systems"},{"issue":"4","key":"10.1016\/S0950-5849(97)00054-2_BIB15","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/21.286384","article-title":"Developing a strategy for expert system verification and validation","volume":"24","author":"Lee","year":"1994","journal-title":"IEEE Trans. Systems Man Cybernetics"},{"issue":"2","key":"10.1016\/S0950-5849(97)00054-2_BIB16","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/52.268955","article-title":"Understanding quality in conceptual modeling","volume":"11","author":"Lindland","year":"1994","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB17","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB18","series-title":"Conceptual Structures: Current Research and Practice","first-page":"87","article-title":"The conceptual programming environment, cp","author":"Pfeiffer","year":"1992"},{"issue":"3","key":"10.1016\/S0950-5849(97)00054-2_BIB19","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0306-4379(94)90044-2","article-title":"The three dimensions of requirement engineering: a framework and its application","volume":"19","author":"Pohl","year":"1994","journal-title":"Information Systems"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB20","first-page":"922","article-title":"Verifying and testing expert system conceptual models","volume":"Vol. 1","author":"Preece","year":"1992"},{"issue":"4","key":"10.1016\/S0950-5849(97)00054-2_BIB21","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MC.1985.1662861","article-title":"A taxonomy of current issues in requirements engineering","volume":"18","author":"Roman","year":"1985","journal-title":"Computer"},{"issue":"5","key":"10.1016\/S0950-5849(97)00054-2_BIB22","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1109\/TPAMI.1985.4767703","article-title":"Rl-soar: An experiment in knowledge-intensive programming in a problem-solving architecture","volume":"7","author":"Rosenbloom","year":"1985","journal-title":"IEEE Trans. Pattern Analysis Machine Intelligence (PAMI)"},{"issue":"6","key":"10.1016\/S0950-5849(97)00054-2_BIB23","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1145\/214762.214768","article-title":"Systems analysis: a systemic analysis of a conceptual model","volume":"30","author":"Shemer","year":"1987","journal-title":"Commun. ACM"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB24","series-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"Sowa","year":"1984"},{"issue":"May","key":"10.1016\/S0950-5849(97)00054-2_BIB25","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/52.28119","article-title":"Software verification and validation: An Overview","volume":"5","author":"Wallace","year":"1989","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(97)00054-2_BIB26","series-title":"Proceedings of Summer Conference on Artificial Intelligence and Simulation of Behavior","first-page":"344","article-title":"Generating conditional plans and programs","author":"Warren","year":"1976"},{"issue":"1","key":"10.1016\/S0950-5849(97)00054-2_BIB27","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/64.193050","article-title":"A task-based methodology for specifying expert systems","volume":"8","author":"Yen","year":"1993","journal-title":"IEEE Expert"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584997000542?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584997000542?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T16:28:33Z","timestamp":1556641713000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584997000542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":27,"journal-issue":{"issue":"14-15","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["S0950584997000542"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(97)00054-2","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}