{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T07:56:03Z","timestamp":1767167763938,"version":"build-2238731810"},"reference-count":10,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2000,10]]},"abstract":"<jats:p>Designs are expressed in terms of structure, behavior, objects, modules, and functions which, once consolidated, become design blueprints. This paper describes a formal framework for expressing, analyzing, and comparing multiple views of designs. The analysis of multiple designs or views using different design notations is proposed as a strategy to enhance design quality by providing a systematic identification of design defects and discrepancies. Views are formalized, analyzed independently, and then compared to each other. The type of design discrepancies identified are omission of information, incompatible information, and inconsistencies between views.<\/jats:p>","DOI":"10.1142\/s021819400000033x","type":"journal-article","created":{"date-parts":[[2003,4,22]],"date-time":"2003-04-22T07:43:09Z","timestamp":1050997389000},"page":"557-579","source":"Crossref","is-referenced-by-count":6,"title":["MULTIPLE VIEWS ANALYSIS OF SOFTWARE DESIGNS"],"prefix":"10.1142","volume":"10","author":[{"given":"BOUMEDIENE","family":"BELKHOUCHE","sequence":"first","affiliation":[{"name":"EECS Department, Tulane University, New Orleans, LA 70118, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"CUAUHT\u00c9MOC","family":"LEMUS\u2013OLALDE","sequence":"additional","affiliation":[{"name":"EECS Department, Tulane University, New Orleans, LA 70118, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1109\/32.106986"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1109\/32.328995"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232211"},{"key":"p_7","first-page":"65","author":"Easterbrook S.","year":"1993","journal-title":"IEEE Int. Symp. on Requirements Engineering"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380240705"},{"key":"p_10","first-page":"297","author":"Hekmatpour S.","year":"1987","journal-title":"Proc. 1st European Software Engineering Conference"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.1.1"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(91)90029-6"},{"key":"p_16","first-page":"238","author":"Cousot P.","year":"1977","journal-title":"Proc. 4th ACM Symposium Principles of Programming Languages"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819400000033X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T11:55:50Z","timestamp":1565092550000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819400000033X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":10,"aliases":["10.1016\/s0218-1940(00)00033-x"],"journal-issue":{"issue":"05","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2000,10]]}},"alternative-id":["10.1142\/S021819400000033X"],"URL":"https:\/\/doi.org\/10.1142\/s021819400000033x","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}