{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:13:39Z","timestamp":1730211219627,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/csmr.2008.4493299","type":"proceedings-article","created":{"date-parts":[[2008,4,23]],"date-time":"2008-04-23T13:45:37Z","timestamp":1208958337000},"page":"43-52","source":"Crossref","is-referenced-by-count":16,"title":["Architecture Compliance Checking - Experiences from Successful Technology Transfer to Industry"],"prefix":"10.1109","author":[{"given":"Jens","family":"Knodel","sequence":"first","affiliation":[{"name":"Fraunhofer Institute for Experimental, Software Engineering (IESE), Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany, jens.knodel@iese.fraunhofer.de"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Muthig","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Experimental, Software Engineering (IESE), Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany, dirk.muthig@iese.fraunhofer.de"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Haury","sequence":"additional","affiliation":[{"name":"Testo AG, Testostra\u00dfe 1, 79853 Lenzkirch, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Meier","sequence":"additional","affiliation":[{"name":"Testo AG, Testostra\u00dfe 1, 79853 Lenzkirch, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Monte Carlo Methods","year":"1986","author":"malvin","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2006.1691589"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2003.1287235"},{"year":"0","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2007.1"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1997.610288"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2006.53"},{"journal-title":"Permission Theory for Software Architecture Plus Phantom Architectures","year":"2005","author":"holt","key":"11"},{"year":"0","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.917525"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(01)00013-3"},{"year":"2006","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00193-3"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1003450"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870443"},{"key":"27","article-title":"model checking c source code for embedded systems","author":"schlich","year":"2005","journal-title":"Proc IEEE\/NASA Workshop Leveraging Applications of Formal Methods Verification and Validation (ISoLA"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.66"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062552"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/303008.303063"},{"key":"2","first-page":"528","article-title":"the goal\/question\/metric paradigm","volume":"1","author":"basili","year":"1994","journal-title":"Encyclopedia of Sofware Engineering"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1241368"},{"key":"1","first-page":"469","article-title":"the experience factory","volume":"1","author":"basili","year":"1994","journal-title":"Encyclopedia of Software Engineering"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-007-9037-5"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2005.17"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/52.43044"},{"year":"0","key":"5"},{"journal-title":"View-Based Software Documentation PhD","year":"2004","author":"bayer","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.21"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2007.28"}],"event":{"name":"2008 12th European Conference on Software Maintenance and Reengineering (CSMR)","start":{"date-parts":[[2008,4,1]]},"location":"Athens, Greece","end":{"date-parts":[[2008,4,4]]}},"container-title":["2008 12th European Conference on Software Maintenance and Reengineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4489834\/4493286\/04493299.pdf?arnumber=4493299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T19:41:06Z","timestamp":1623181266000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4493299\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/csmr.2008.4493299","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}