{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:25:40Z","timestamp":1725765940192},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642540912"},{"type":"electronic","value":"9783642540929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-54092-9_2","type":"book-chapter","created":{"date-parts":[[2013,12,20]],"date-time":"2013-12-20T07:35:59Z","timestamp":1387524959000},"page":"16-32","source":"Crossref","is-referenced-by-count":1,"title":["ACME+: An ADL for Quantitative Analysis of Quality Attributes"],"prefix":"10.1007","author":[{"given":"Imen","family":"Derbel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lamia Labed","family":"Jilani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Mili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2-3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.tcs.2004.10.043","volume":"335","author":"A. Aldini","year":"2005","unstructured":"Aldini, A., Bernardo, M.: On the usability of process algebra: An architectural view. Theoretical Computer Science\u00a0335(2-3), 281\u2013329 (2005)","journal-title":"Theoretical Computer Science"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Aldini, A., Bernardo, M., Corradini, F.: A process Algebraic Approach to Software Architecture Design. Springer (2010)","DOI":"10.1007\/978-1-84800-223-4"},{"key":"2_CR3","unstructured":"Allen, R.J.: A formal approach to software architecture. Ph.D. Thesis, CMU (1997)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Barber, K.S., Graser, T., Holt, J.: Enabling iterative software architecture derivation using early non-functional property evaluation. In: Proc. 17th IEEE International Conference on Automated Software Engineering, pp. 23\u201327 (2002)","DOI":"10.1109\/ASE.2002.1115011"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bonta, E.: Automatic code generation: From process algebraic architectural descriptions to multithreaded java programs. Ph.D. in Computer Science University of Bologna, Padua (2008)","DOI":"10.1109\/WICSA.2009.5290802"},{"key":"2_CR6","unstructured":"Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: On Patterns and Pattern Languages. John Wiley Sons (2007)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/356733.356735","volume":"10","author":"P. Denning","year":"1978","unstructured":"Denning, P., Buzen, J.: Operational Analysis of queueing network models. ACM Computer Surveys\u00a010, 225\u2013261 (1978)","journal-title":"ACM Computer Surveys"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Dobrica, L., Niemela, E.: A survey on software architecture analysis methods. IEEE Transactions on Software Engineering\u00a028(7) (2002)","DOI":"10.1109\/TSE.2002.1019479"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Frakes, W., Kang, K.: Software reuse research: Status and future. IEEE Transactions on Software Engineering\u00a031(7) (2007)","DOI":"10.1109\/TSE.2005.85"},{"issue":"1-2","key":"2_CR10","first-page":"117","volume":"24","author":"G. Franks","year":"1995","unstructured":"Franks, G., Hubbard, A., Majumdar, S., Petriu, D., Rolia, J., Woodside, C.: A toolset for performance engineering and software design of clientserver systems. IEEE Transactions on Software Engineering\u00a024(1-2), 117\u2013136 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Exploiting style in architectural design environments. In: Proceedings of SIGSOFT 1994: Foundations of Software Engineering (1994)","DOI":"10.1145\/193173.195404"},{"key":"2_CR12","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: An architecture description interchange language. In: CASCON 1997, Toronto, Ontario, pp. 169\u2013183 (1997)"},{"key":"2_CR13","unstructured":"Garlan, D., Schmerl, B.: Architecture-driven modelling and analysis. In: SCS 2006 Proceedings of the Eleventh Australian Workshop on Safety Critical Systems and Software, p.\u00a069 (2006)"},{"key":"2_CR14","unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture: Perspectives on an emerging discipline. Prentice Hall (1996)"},{"key":"2_CR15","unstructured":"Giannakopoulou, D., Kramer, J., Cheung, S.C.: Behaviour analysis of distributed systems using the tracta approach. In: Proc. 17th IEEE International Conference on Automated Software Engineering, p. 735 (1999)"},{"key":"2_CR16","unstructured":"Kazman, R., Bass, L., Abowd, G., Webb, M.: Saam: A method for analyzing the properties of software architectures. In: Proc. 16th International Conference of Software Engineering (1994)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Klein, M.H., Kazman, R., Bass, L., Carriere, J., Barbacci, M., Lipson, H.: Attribute-based architecture styles. In: Proc. TC2 First Working IFIP Conference on Software Architecture (WICSA1), pp. 225\u2013244 (1999)","DOI":"10.1007\/978-0-387-35563-4_13"},{"key":"2_CR18","unstructured":"Bass, L., Clements, P., Software Architecture, R.K.: Software Architecture in Practice. Addison-Wesley (2003)"},{"key":"2_CR19","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Trans. Software Eng. (2000)"},{"key":"2_CR20","unstructured":"Maurya, L.S., Hora, H.: Comparison of software architecture evaluation methods for soft- ware quality attributes. Journal of Global Research in Computer Science\u00a01(4) (2010)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Oreizy, P., Robbins, J.E., Taylor, R.N.: Using object-orlenfcd typing to sup- port architectural design in the c2 style. In: Proceedings of ACM SlGSOFT 1996. Fourth Symposium on the Foundations of Software Engineering (FSE4), pp. 24\u201332 (October 1996)","DOI":"10.1145\/250707.239106"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Moriconi, M., Qian, X.: Riemenschneider, R. A.: Correct architecture refinement. IEEE Transactions on Sofrware Engineering, 356\u2013372 (April 1995)","DOI":"10.1109\/32.385972"},{"key":"2_CR23","unstructured":"Maurya, L.S., Hora, H.: Comparison of software architecture evaluation methods for software quality attributes. Journal of Global Research in Computer Science\u00a04(1) (November 2010)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-39800-4_10","volume-title":"Formal Methods for Software Architectures","author":"S. Balsamo","year":"2003","unstructured":"Balsamo, S., Bernardo, M., Simeoni, M.: Performance evaluation at the software architecture level. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 207\u2013258. Springer, Heidelberg (2003)"},{"key":"2_CR25","unstructured":"Schmerl, B., Garlan, D.: Acmestudio: Supporting style centered architecture development. In: Proceedings of the 26th International Conference on Software Engineering (2004)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zclesnik, G.: Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 314\u2013335 (April 1995)","DOI":"10.1109\/32.385970"},{"key":"2_CR27","unstructured":"Spitznagel, B., Garlan, D.: Architecture-based performance analysis. In: Proceedings of the Conference on Software Engineering and Knowledge Engineering, CA (1998)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Wang, J., He, X., Deng, Y.: Introducing software architecture specification and analysis in sam through an example. Information and Software Technology, 451\u2013467 (May 1999)","DOI":"10.1016\/S0950-5849(99)00009-9"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54092-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T23:50:36Z","timestamp":1716335436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54092-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642540912","9783642540929"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54092-9_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}