{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:49Z","timestamp":1725488209237},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407270"},{"type":"electronic","value":"9783540451778"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45177-3_9","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T01:05:12Z","timestamp":1185843912000},"page":"197-218","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Quality Analysis of Dependable Systems: A Developer Oriented Approach"],"prefix":"10.1007","author":[{"given":"Apostolos","family":"Zarras","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,31]]},"reference":[{"key":"9_CR1","unstructured":"Allen, R., Garlan, D.: Formalizing architectural connection. In: Proceedings of the 16th ACM-SIGSOFT-IEEE International Conference on Software Engineering (ICSE\u201994). (1994) 71\u201380"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/2.56852","volume":"23","author":"R. Geist","year":"1990","unstructured":"Geist, R., Trivedi, K.: Reliability estimation of fault tolerant systems: Tools and techniques. IEEE Computer 23 (1990) 52\u201361","journal-title":"IEEE Computer"},{"key":"9_CR3","unstructured":"Kobayashi, H.: Modeling and Analysis: An Introduction to System Performance Evaluation Methodology. Addison-Wesley (1978)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-0-387-35563-4_3","volume-title":"Software Architecture","author":"Jeff Magee","year":"1999","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behavior analysis of software architectures. In: Proceedings of the 1st IFIP Working Conference on Software Architectures (WICSA-1). (1999) 35\u201349"},{"key":"9_CR5","unstructured":"Garlan, D., Monroe, R., Wile, D.: ACME: An architectural description interchange language. In: Proceedings of CASCON\u201997. (1997)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26 (2000) 70\u201393","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR7","unstructured":"OMG: UML semantics 1.3 (1997)"},{"key":"9_CR8","unstructured":"Wile, D.: AML: An architecture meta-language. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE-99). (1999)"},{"key":"9_CR9","unstructured":"Dashofy, E., Van Der Hoek, A., Taylor, R.: An infrastructure for the rapid development of XML-based architecture description languages. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002). (2002) 266\u2013276"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/3-540-40011-7_37","volume-title":"\u226aUML\u226b 2000 \u2014 The Unified Modeling Language","author":"David Garlan","year":"2000","unstructured":"Garlan, D., Kompanec, J., Pinto, P.: Reconciling the needs of architectural description with object-modeling notations. In: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML-2000). (2000)"},{"key":"9_CR11","unstructured":"Medvidovic, N., Rosenblum, D.S., Robbins, J.E., Redmiles, D.F.: Modeling software architectures in the unified modeling language. ACM Transactions on Software Engineering and Methodology ((to appear))"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE\u201999). (1999) 255\u2013258","DOI":"10.1109\/ASE.1999.802301"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The SPIN model checker. IEEE Transactions on Software Engineering 23 (1997) 279\u2013295","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Kaveh, N., Emmerich, W.: Deadlock detection in distributed object systems. In: Proceedings of the 8th European Software Engineering Conference (ESEC) \/ 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). (2001)","DOI":"10.1145\/503209.503216"},{"key":"9_CR15","unstructured":"Zarras, A., Kloukinas, C, Issarny, V., Nguyen, V.K.: An Architecture-based Environment for the Development of DSoS. In: IC2 Report: Initial Results on Architectures and Dependable Mechanisms for Dependable SoSs. (2001) Available at URL: \nhttp:\/\/www.newcastle.research.ec.org\/dsos\/deliverables\n\n."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-0-387-35563-4_13","volume-title":"Software Architecture","author":"Mark H. Klein","year":"1999","unstructured":"Klein, M., Kazman, R., Bass, L., Carriere, S.J., Barbacci, M., Lipson, H.: Attribute-based architectural styles. In: Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1). (1999) 225\u2013243"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018964405965","volume":"9","author":"R. Kazman","year":"2000","unstructured":"Kazman, R., Carriere, S.J., Woods, S.G.: Toward a discipline of scenario-based architectural engineering. Annals of Software Engineering 9 (2000) 5\u201333","journal-title":"Annals of Software Engineering"},{"key":"9_CR18","unstructured":"Zarras, A., Issarny, V.: Automating the performance and reliability analysis of enterprise information systems. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001). (2000)"},{"key":"9_CR19","unstructured":"Laprie, J.C.: Dependable computing and fault tolerance: Concepts and terminology. In: Proceedings of the 15th International Symposium on Fault-Tolerant Computing (FTCS-15). (1985)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/2.56851","volume":"23","author":"J.C. Laprie","year":"1990","unstructured":"Laprie, J.C., Arlat, J., Beounes, C, Kanoun, K.: Definition and analysis of hardware and software fault-tolerant architectures. IEEE Computer 23 (1990) 39\u201351","journal-title":"IEEE Computer"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/24.257783","volume":"41","author":"R.W. Butler","year":"1992","unstructured":"Butler, R.W.: The SURE approach to reliability analysis. IEEE Transactions on Reliability 41 (1992) 210\u2013218","journal-title":"IEEE Transactions on Reliability"},{"key":"9_CR22","unstructured":"Johnson, S.C.: Reliability analysis of large complex systems using ASSIST. In: Proceedings of the 8th AIAA\/IEEE Digital Avionics Systems Conference. (1988) 227\u2013234"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Floyd, S., Paxson, V.: Difficulties in simulating the internet. ACM\/IEEE Transactions on Networking (2001)","DOI":"10.1109\/90.944338"},{"key":"9_CR24","unstructured":"Chandra, B., Dahlin, M., Gao, L., Nayate, A.: End-to-end wan service availability. In: Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems. (2001) 97\u2013108"},{"key":"9_CR25","unstructured":"Ka\u00e2niche, M., Kanoun, K., Martinello, M., Simache, C. In: CSDA3 Report: SoS Dependability Assessment: Modelling and Measurement. (2002) Available at URL: \nhttp:\/\/www.newcastle.research.ec.org\/dsos\/deliverables\n\n."}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45177-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T06:04:34Z","timestamp":1578463474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45177-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407270","9783540451778"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45177-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"31 July 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}