{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T04:10:42Z","timestamp":1760501442855},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[1996,3]]},"abstract":"<jats:p> This paper is an attempt at mathematical investigation of software development process in the context of declarative logic programming. We introduce notions of specification and specification constructor which are developed from natural language description of a problem. Generalizations of logic programs, called lp-functions are introduced to represent these specifications. We argue that the process of constructing lp-function representing a specification S should be supported by certain types of mathematical results which we call representation theorems. We present two such theorems to illustrate the idea. <\/jats:p>","DOI":"10.1142\/s0218194096000053","type":"journal-article","created":{"date-parts":[[2004,9,6]],"date-time":"2004-09-06T11:50:09Z","timestamp":1094471409000},"page":"89-112","source":"Crossref","is-referenced-by-count":11,"title":["TOWARDS A THEORY OF ELABORATION TOLERANCE: LOGIC PROGRAMMING APPROACH"],"prefix":"10.1142","volume":"06","author":[{"given":"MICHAEL","family":"GELFOND","sequence":"first","affiliation":[{"name":"University of Texas at El Paso, USA"}]},{"given":"HALINA","family":"PRZYMUSINSKA","sequence":"additional","affiliation":[{"name":"California State Polytechnic University, USA"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194096000053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:37:54Z","timestamp":1565141874000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194096000053"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":0,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1996,3]]}},"alternative-id":["10.1142\/S0218194096000053"],"URL":"https:\/\/doi.org\/10.1142\/s0218194096000053","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}