{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T12:11:50Z","timestamp":1714997510688},"reference-count":33,"publisher":"CRC Press","isbn-type":[{"value":"9781420059779","type":"print"},{"value":"9781420059786","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11,24]]},"DOI":"10.1081\/e-ese-120044218","type":"book-chapter","created":{"date-parts":[[2016,7,28]],"date-time":"2016-07-28T15:09:12Z","timestamp":1469718552000},"page":"74-80","source":"Crossref","is-referenced-by-count":1,"title":["Architecture: Description Languages"],"prefix":"10.1081","author":[{"given":"Jungwoo","family":"Ryoo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2016,7,28]]},"reference":[{"key":"CIT0001","volume-title":"Software Architecture in Practice","author":"Bass L.","year":"2003","edition":"2"},{"key":"CIT0002","volume-title":"An Introduction to Formal Methods","author":"Diller A.","year":"1994","edition":"2"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/32.385973"},{"key":"CIT0004","first-page":"81","volume-title":"Proceedings of the 17th ACM SIGPLAN-SIGACT Sympo-sium on Principles of Programming Languages","author":"Berry G.","year":"1989"},{"key":"CIT0005","first-page":"96","volume-title":"Proceedings of the 1st International Workshop on Architectures for Software Systems","author":"Garlan D.","year":"1995"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1145\/504087.504088"},{"key":"CIT0007","volume-title":"UML Distilled","author":"Fowler M.","year":"2004","edition":"3"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1109\/52.469759"},{"key":"CIT0010","volume-title":"Handbook of Theoretical Computer Science","author":"Wirsing M.","year":"1990"},{"key":"CIT0011","volume-title":"Basic Simple Type Theory","author":"Hindley R.","year":"2008"},{"key":"CIT0012","volume-title":"Handbook of Process Algebra","author":"Bergstra J. A.","year":"2001"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1998.723191"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1997.632840"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/32.385969"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/32.846301"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/32.708567"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1145\/226241.226244"},{"key":"CIT0020","first-page":"169","volume-title":"Proceedings of CASCON'97","author":"Garlan D.","year":"1997"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317497"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317496"},{"key":"CIT0024","volume-title":"A Formal Approach to Software Architecture","author":"Allen R. J.","year":"1997"},{"key":"CIT0025","volume-title":"Communicating Sequential Processes","author":"Hoare T.","year":"1985"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1145\/1061254.1061258"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.02.045"},{"key":"CIT0029","volume-title":"13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS)","author":"Bened\u00c3 J. P.","year":"2006"},{"key":"CIT0030","doi-asserted-by":"crossref","unstructured":"Kiczales , G. Lamping , J. Mendhekar , A. Maeda , C. Lopes , C. Loingtier , J.M. Irwin , J. Aspect-Oriented Programming, European Conference on Object-Oriented Programming, LNCS 1241 . , Springer-Verlag : Finland , 1997 ; 220 \u2013 242 .","DOI":"10.1007\/BFb0053381"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.58"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1996.501143"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.59"},{"key":"CIT0036","volume-title":"Documenting Software Architectures: Views and Beyond","author":"Clements P.","year":"2002"}],"container-title":["Encyclopedia of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.crcnetbase.com\/doi\/pdf\/10.1081\/E-ESE-120044218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T21:32:07Z","timestamp":1568237527000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crcnetbase.com\/doi\/10.1081\/E-ESE-120044218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,24]]},"ISBN":["9781420059779","9781420059786"],"references-count":33,"alternative-id":["10.1081\/E-ESE-120044218","10.1081\/E-ESE"],"URL":"https:\/\/doi.org\/10.1081\/e-ese-120044218","relation":{},"subject":[],"published":{"date-parts":[[2010,11,24]]}}}