{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T19:25:10Z","timestamp":1694633110780},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[1993,6]]},"abstract":"<jats:p> For widespread reuse in a component-based software industry, a component must be designed and developed to be reused. Benefits of reuse are maximized when a component is reused \u201cas is\u201d (possibly with provisions for expected customization, such as through parameters), based only on its specification. The expression of the specification of a component is crucial in this setting. The specification must be formal, yet understandable, as well as abstract and implementation-independent. The specification also must make it possible to demonstrate correctness of an implementation of the specification and permit formal reasoning about its behavior in a client program. This paper explains how it is possible to write specifications with these properties in RESOLVE, a conceptual framework that we have developed for constructing reusable software components. <\/jats:p>","DOI":"10.1142\/s0218194093000100","type":"journal-article","created":{"date-parts":[[2004,11,23]],"date-time":"2004-11-23T03:29:30Z","timestamp":1101180570000},"page":"207-229","source":"Crossref","is-referenced-by-count":23,"title":["ON SPECIFICATION OF REUSABLE SOFTWARE COMPONENTS"],"prefix":"10.1142","volume":"03","author":[{"given":"MURALI","family":"SITARAMAN","sequence":"first","affiliation":[{"name":"Department of Statistics and Computer Science, West Virginia University, P.O. Box 6330, Morgantown, WV 26506, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LONNIE R.","family":"WELCH","sequence":"additional","affiliation":[{"name":"The Real-Time Computing Laboratory, Department of Computer and Information Science, New Jersey Institute of Technology, Newark, NJ 07102, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DOUGLAS E.","family":"HARMS","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, Muskingum College, New Concord, OH 43762, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"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\/S0218194093000100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:06:28Z","timestamp":1565193988000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194093000100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":0,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1993,6]]}},"alternative-id":["10.1142\/S0218194093000100"],"URL":"https:\/\/doi.org\/10.1142\/s0218194093000100","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}