{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:51:35Z","timestamp":1747806695579},"reference-count":31,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"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":[[2003,3]]},"DOI":"10.1016\/s0950-5849(02)00193-3","type":"journal-article","created":{"date-parts":[[2003,2,17]],"date-time":"2003-02-17T18:07:53Z","timestamp":1045505273000},"page":"171-194","source":"Crossref","is-referenced-by-count":27,"title":["A method for module architecture verification and its application on a large component-based system"],"prefix":"10.1016","volume":"45","author":[{"given":"Andr\u00e9","family":"Postma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(02)00193-3_BIB1","series-title":"Proceedings of IWSSD-9","author":"Areces","year":"1998"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB2","series-title":"Software Architecture in Practice","author":"Bass","year":"1998"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB3","series-title":"Proceedings of ICSM\u201995","author":"Carmichael","year":"1995"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB4","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/52.43044","article-title":"Reverse engineering and design recovery: a taxonomy","volume":"January","author":"Chikofsky","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB5","doi-asserted-by":"crossref","unstructured":"J. Ebert et al. (Eds.), GUPRO\u2014Generische Umgebung zum Programmverstehen, F\u00f6lbach\u2014Koblenz Schriften zur Informatik, 1998, ISBN 3-923532-59-8 (in German and English).","DOI":"10.4088\/JCP.v59n0807b"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB6","series-title":"LNCS 1088","article-title":"Experiences applying a practical architectural method","author":"Emery","year":"1996"},{"issue":"12","key":"10.1016\/S0950-5849(02)00193-3_BIB7","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/290133.290151","article-title":"3D visualisation of software architectures","volume":"41","author":"Feijs","year":"1998","journal-title":"Communications of the ACM"},{"issue":"4","key":"10.1016\/S0950-5849(02)00193-3_BIB8","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1002\/(SICI)1097-024X(19980410)28:4<371::AID-SPE154>3.0.CO;2-1","article-title":"A relational approach to software architecture analysis","volume":"28","author":"Feijs","year":"1998","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB9","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1080\/00207169808804736","article-title":"Relation algebra with multi-relations","volume":"70","author":"Feijs","year":"1998","journal-title":"International Journal Computer Mathematics"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB10","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0167-6423(98)00007-0","article-title":"Relation partition algebra\u2014mathematical aspects of uses and part-of relations","volume":"33","author":"Feijs","year":"1999","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB11","series-title":"LNCS 1687","article-title":"Consistency checking for multiple view architectures","author":"Fradet","year":"1999"},{"issue":"S1","key":"10.1016\/S0950-5849(02)00193-3_BIB12","first-page":"1","article-title":"An open graph visualization system and its application to software engineering","volume":"00","author":"Gansner","year":"1999","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB13","series-title":"Visualization of Architectural Information in Support of Reverse Engineering","article-title":"A module architecture browser","author":"Glas","year":"1998"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB14","series-title":"Proceedings of ICSE\u201995","author":"Harris","year":"1995"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB15","unstructured":"R.C. Holt, Binary relational algebra applied to software architecture, CSRI Technical Report 345, University of Toronto, 1996."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB16","article-title":"Structural manipulations of software architecture using Tarski relation algebra","author":"Holt","year":"1998","journal-title":"Proceedings of WCRE\u201998, Honolulu, Hawaii"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB17","unstructured":"M. Kamp, GreQL\u2014eine Anfragesprache f\u00fcr das GUPRO-Repository 1.1, Projektbericht 8\/96, University of Koblenz, 1996 (in German)."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB18","series-title":"Proceedings of ICSM\u201997","author":"Krikhaar","year":"1997"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB19","unstructured":"R.L. Krikhaar, Software Architecture Reconstruction, PhD Thesis, University of Amsterdam (UvA), ISBN 90-74445-44-6, 1999."},{"issue":"6","key":"10.1016\/S0950-5849(02)00193-3_BIB20","doi-asserted-by":"crossref","DOI":"10.1109\/52.469759","article-title":"The 4+1 view model of architecture","volume":"12","author":"Kruchten","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB21","first-page":"42","article-title":"Querying as an enabling technology in software reengineering","author":"Kullbach","year":"1999","journal-title":"Proceedings of CSMR\u201999"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB22","unstructured":"Microsoft Browser Toolkit 6.0. Available at: http:\/\/support.microsoft.com\/support\/kb\/articles\/q153\/3\/93.asp."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB23","unstructured":"Microsoft ScriptIt utility. Available at: http:\/\/www.microsoft.com\/TechNet\/winnt\/Winntas\/tools\/scriptit.asp."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB24","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/222124.222136","article-title":"Software reflexion models: bridging the gap between source and high-level models","author":"Murphy","year":"1995","journal-title":"Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, ACM, New York"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB25","unstructured":"R.C. van Ommering, TEDDY user's manual, Technical report 12NC-4322-2730176-1, Philips Research, 1993."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB26","article-title":"An interface based platform approach","volume":"August","author":"Pronk","year":"2000","journal-title":"Proceedings of the SPLC 1, Denver"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB27","unstructured":"D. Rogerson, Inside COM, Microsoft's Component Object Model, Microsoft Press, ISBN 1-57231-349-8, 1997."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB28","unstructured":"M. Roosen, Design visualisation definition and concepts, Philips internal report RWB-508-re-94040, Philips Research, 1994."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB29","unstructured":"SEI, How do you define software architecture?, SEI webpage: http:\/\/www.sei.cmu.edu\/architecture\/definitions.html."},{"key":"10.1016\/S0950-5849(02)00193-3_BIB30","series-title":"Proceedings of ICSE\u201995","author":"Soni","year":"1995"},{"key":"10.1016\/S0950-5849(02)00193-3_BIB31","first-page":"600","article-title":"Rigi: a visualisation environment for reverse engineering","author":"Storey","year":"1997","journal-title":"Proceedings of ICSE\u201997"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001933?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001933?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T02:22:35Z","timestamp":1553912555000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584902001933"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S0950584902001933"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(02)00193-3","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}