{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T05:28:14Z","timestamp":1676870894462},"reference-count":17,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[2006]]},"DOI":"10.1049\/ip-sen:20050072","type":"journal-article","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T22:19:54Z","timestamp":1150841994000},"page":"127","source":"Crossref","is-referenced-by-count":28,"title":["Formalising design patterns composition"],"prefix":"10.1049","volume":"153","author":[{"given":"T.","family":"Taibi","sequence":"first","affiliation":[]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:20050072_r1","unstructured":"Alexander, C., Ishikawa, S., and Silverstein, M.: \u2018A pattern language: towns, buildings, construction\u2019, (Oxford University Press 1977)"},{"key":"10.1049\/ip-sen:20050072_r2","unstructured":"Cheesman, J., and Daniels, J.: \u2018UML Components: A Simple process for specifying component-based software\u2019, (Pearson Education 2000)"},{"key":"10.1049\/ip-sen:20050072_r3","first-page":"279","author":"Dong","year":"2000","journal-title":"Proc. 7th IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems"},{"key":"10.1049\/ip-sen:20050072_r4","unstructured":"D'Souza, D.F., and Wills, A.L.: \u2018Objects, components, and frameworks with UML: The catalysis approach\u2019, (Addison-Wesley 1998)"},{"key":"10.1049\/ip-sen:20050072_r5","author":"Eden","year":"2001","journal-title":"Proc. CASCON conference"},{"key":"10.1049\/ip-sen:20050072_r6","unstructured":"Gamma, E., Helm, R., Johnson, R., and Vlissides, J.: \u2018Design patterns: elements of reusable object-oriented systems\u2019, (Addison-Wesley 1995)"},{"key":"10.1049\/ip-sen:20050072_r7","unstructured":"ISO 8807. Information processing systems, open systems interconnection \u2013 LOTOS \u2013 A Formal description technique based on the temporal ordering of observational behavior, 1998"},{"key":"10.1049\/ip-sen:20050072_r8","first-page":"142","author":"Jarvinen","year":"1991","journal-title":"Proc. 11th IEEE Int. Conf. on Distributed Computing Systems"},{"key":"10.1049\/ip-sen:20050072_r9","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"10.1049\/ip-sen:20050072_r10","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/ICSE.1998.671108","author":"Mikkonen","year":"1998","journal-title":"Proc. IEEE Int. Conf. on Software Engineering"},{"key":"10.1049\/ip-sen:20050072_r11","unstructured":"Rumbaugh, J., Jacobson, I., and Booch, G.: \u2018The unified modeling language reference manual\u2019, (Addison-Wesley 1998)"},{"key":"10.1049\/ip-sen:20050072_r12","first-page":"408","author":"Saeki","year":"2000","journal-title":"Proc. IEEE Asia-Pacific Software Engineering Conf."},{"key":"10.1049\/ip-sen:20050072_r13","unstructured":"Schmidt, D.C., Stal, M., Rohnert, H., and Buschmann, F.: \u2018Pattern-oriented software architecture: patterns for concurrent and networked objects\u2019, (John Wiley & Sons 2000)"},{"key":"10.1049\/ip-sen:20050072_r14","unstructured":"Smullyan, R.M.: \u2018First-order logic\u2019, (Dover Publications 1995)"},{"key":"10.1049\/ip-sen:20050072_r15","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1080\/1206212X.2004.11441725","volume":"26","author":"Taibi","year":"2004","ISSN":"http:\/\/id.crossref.org\/issn\/1206-212X","issn-type":"print"},{"key":"10.1049\/ip-sen:20050072_r16","first-page":"127","volume":"2","author":"Taibi","year":"2003"},{"key":"10.1049\/ip-sen:20050072_r17","author":"Taibi","year":"2003","journal-title":"Proc. ACS\u2215IEEE Int. Conf. on Computer Systems and Applications (AICCSA)"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20050072?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:18:15Z","timestamp":1609471095000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20050072"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:20050072","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}