{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:40Z","timestamp":1725566860444},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290100"},{"type":"electronic","value":"9783540320579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11557432_25","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T03:43:26Z","timestamp":1130903006000},"page":"339-354","source":"Crossref","is-referenced-by-count":24,"title":["Reliability Prediction in Model-Driven Development"],"prefix":"10.1007","author":[{"given":"Gena\u00edna N.","family":"Rodrigues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David S.","family":"Rosenblum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Avi\u017eienis, J., Laprie, J., Randell, B.: Laprie, and B. Randell. Fundamental Concepts of Dependability. In: Proc. IARP\/IEEE-RAS Workshop on Robot Dependability (May 2001)"},{"key":"25_CR2","unstructured":"Ayles, T., Field, A., Magee, J., Bennett, A.: Adding Performance Evaluation to the LTSA Tool (Tool Demonstration). In: Proc. 13th Performance Tools (September 2003)"},{"issue":"2","key":"25_CR3","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1109\/TSE.1980.234477","volume":"6","author":"R.C. Cheung","year":"1980","unstructured":"Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering\u00a06(2), 118\u2013125 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1145\/974044.974076","volume-title":"Proc. of the 4th WOSP","author":"V. Cortellessa","year":"2004","unstructured":"Cortellessa, V., Pompei, A.: Towards a UML profile for QoS: a contribution in the reliability domain. In: Proc. of the 4th WOSP, pp. 197\u2013206. ACM Press, New York (2004)"},{"key":"25_CR5","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"On Generative Parallel Composition","author":"P.R. D\u2019Argenio","year":"2000","unstructured":"D\u2019Argenio, P.R., Hermanns, H., Katoen, J.-P.: On Generative Parallel Composition. Electronic Notes in Theoretical Computer Science, vol.\u00a022. Elsevier, Amsterdam (2000)"},{"key":"25_CR6","unstructured":"Gu, G.P., Petriu, D.C.: Early Evaluation of Software Performance Based on the UML Performance Profile. In: Proc. of the 2003 CASCON, pp. 66\u201379. IBM Press (2003)"},{"key":"25_CR7","volume-title":"Concurrency: State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. Wiley, NY (1999)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-45177-3_10","volume-title":"Computational Science and Its Applications - ICCSA 2003","author":"I. Majzik","year":"2003","unstructured":"Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: Kumar, V., Gavrilova, M.L., Tan, C.J.K., L\u2019Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol.\u00a02667, pp. 219\u2013244. Springer, Heidelberg (2003)"},{"issue":"2","key":"25_CR9","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J.D. Musa","year":"1993","unstructured":"Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Software\u00a010(2), 14\u201332 (1993)","journal-title":"IEEE Software"},{"key":"25_CR10","unstructured":"NoMagic Inc. MagicDraw UML, http:\/\/www.magicdraw.com\/"},{"key":"25_CR11","unstructured":"OMG. Model Driven Architecture, http:\/\/www.omg.org\/mda\/ (July 2001)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"OMG. XMI Specification, http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2002-01-01 (January 2002)","DOI":"10.1145\/504689.504690"},{"key":"25_CR13","unstructured":"OMG. MOF 2.0 Specification, http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2003-10-04 (October 2003)"},{"key":"25_CR14","unstructured":"OMG. UML 2.0 Superstructure, http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2004-10-02 (2003)"},{"key":"25_CR15","unstructured":"OMG. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, http:\/\/www.omg.org\/docs\/ptc\/04-09-01.pdf (September 2004)"},{"key":"25_CR16","unstructured":"OMG. UML Profile for Schedulability, Performance and Time Specification, http:\/\/www.omg.org\/technology\/documents\/formal\/schedulability.htm (Januar 2005)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-25939-8_4","volume-title":"Architecting Dependable Systems II","author":"G.N. Rodrigues","year":"2004","unstructured":"Rodrigues, G.N., Roberts, G., Emmerich, W.: Reliability support for the model driven architecture. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol.\u00a03069, pp. 79\u201398. Springer, Heidelberg (2004)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Rodrigues, G., Rosenblum, D., Uchitel, S.: Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In: Proc. ICSE 2005 Workshop on Architecting Dependable Systems, pp. 73\u201377 (May 2005)","DOI":"10.1145\/1083217.1083229"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-31984-9_9","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Rodrigues","year":"2005","unstructured":"Rodrigues, G., Rosenblum, D.S., Uchitel, S.: Using scenarios to predict the reliability of concurrent component-based software systems. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 111\u2013126. Springer, Heidelberg (2005)"},{"key":"25_CR20","volume-title":"Proc. of the 18th ASE","author":"J. Skene","year":"2001","unstructured":"Skene, J., Emmerich, W.: A Model Driven Architecture Approach to Analysis of Non-Functional Properties of Software Architecture. In: Proc. of the 18th ASE, Toronto, CA, October 2001, IEEE Computer Society, Los Alamitos (2001)"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Chatley, R., Kramer, J., Magee, J.: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. In: Proc. of 9th TACAS, Warsaw (April 2003)","DOI":"10.1007\/3-540-36577-X_44"},{"issue":"2","key":"25_CR22","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering\u00a029(2), 99\u2013115 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"25_CR23","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1005561.1005563","volume":"13","author":"S. Uchitel","year":"2004","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios. ACM Transactions on Software Engineering and Methodologies\u00a013(1), 37\u201385 (2004)","journal-title":"ACM Transactions on Software Engineering and Methodologies"},{"key":"25_CR24","unstructured":"W3C. XSL Transformations (XSLT), http:\/\/www.w3.org\/TR\/xslt (November 1999)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11557432_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T03:39:39Z","timestamp":1683257979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11557432_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290100","9783540320579"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11557432_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}