{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:57Z","timestamp":1725490257098},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540740339"},{"type":"electronic","value":"9783540740353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74035-3_8","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:46:17Z","timestamp":1188301577000},"page":"163-187","source":"Crossref","is-referenced-by-count":3,"title":["Model-Centric Development of Highly Available Software Systems"],"prefix":"10.1007","author":[{"given":"Rick","family":"Buskens","sequence":"first","affiliation":[]},{"given":"Oscar","family":"Gonzalez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. SEI Series in Software Engineering (2003)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Baxter, I., Pidgeon, C., Mehlich, M.: DMS: Program Transformations for Practical Scalable Software Evolution. In: Proceedings of the 2004 International Conference on Software Engineering, Scotland, UK (May 2004)","DOI":"10.1109\/ICSE.2004.1317484"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bianchini, R., Buskens, R.: Implementation of On-Line Distributed System-Level Diagnosis Theory. IEEE Transactions on Computers\u00a041(5) (1992)","DOI":"10.1109\/12.142688"},{"key":"8_CR4","unstructured":"Birman, K.: ISIS: A System for Fault Tolerance in Distributed Systems. Technical Report TR 86-744, Department of Computer Science, Cornell University, Ithaca, NY (April 1986)"},{"key":"8_CR5","unstructured":"Borland C++ Builder, http:\/\/www.borland.com\/us\/products\/cbuilder\/index.html"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Buskens, R., Sabnani, K.: Towards Rapid Development of Configurable, Reliable, and Scalable Wireless Applications, PIMRC (2000)","DOI":"10.1109\/PIMRC.2000.881579"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Childs, A., Greenwald, J., et al.: CALM and Cadena: Metamodeling for Component-Based Product Line Development. IEEE Computer\u00a039(2) (2006)","DOI":"10.1109\/MC.2006.51"},{"key":"8_CR8","unstructured":"Chung, P., Huang, Y., Yajnik, S., et al.: DOORS \u2013 Providing Fault Tolerance of CORBA Objects. In: Middleware 1998. IFIP International Conference On Distributed Systems Platforms and Open Distributed Processing, The Lake District, England (1988)"},{"key":"8_CR9","unstructured":"Clovis Software, http:\/\/www.clovis.com"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Cukier, M., Ren, J., Sabnis, C., et al.: AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. In: Proceeding of the IEEE 17th Symposium on Reliable Distributed Systems (SRDS-17), West Lafayette, IN (1998)","DOI":"10.1109\/RELDIS.1998.740506"},{"key":"8_CR11","unstructured":"Eclipse Integrated Development Environment (IDE), http:\/\/www.eclipse.org"},{"key":"8_CR12","unstructured":"Enea, http:\/\/www.enea.com"},{"key":"8_CR13","unstructured":"Ericsson, Eternal Systems, et al.: FT-CORBA. Joint Revised Submission. OMG TC Document orbos\/99-12-19, OMG, Framingham, MA (1999)"},{"key":"8_CR14","unstructured":"GoAhead Software, http:\/\/www.goahead.com"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Deng, W., et al.: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-Based Systems. In: Proceedings of the 2003 International Conference on Software Engineering, Portland, Oregon (2003)","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"8_CR16","unstructured":"IBM Rational Software Architect, www.ibm.com\/software\/awdtools\/architect\/swarchitect\/index.html"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Iyer, R.K., Kalbarczyk, Z., Whisnant, K., Bagchi, S.: A Flexible Software Architecture for High Availability Computing. In: Proceedings of the High-Assurance Systems Engineering Symposium, Washington DC (1998)","DOI":"10.1109\/HASE.1998.731594"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., et al.: Aspect-Oriented Programming. In: Proceedings of the 1997 European Conference on Object-Oriented Programming, Jyvaskyla, Finland (1997)","DOI":"10.1007\/BFb0053381"},{"key":"8_CR19","unstructured":"Ledeczi, A., Maroti, M., et al.: The Generic Modeling Environment. Workshop on Intelligent Signal Processing, Budapest, Hungary (May 2001)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Majzik, I., Huszcrl, G.: Towards Dependability Modeling of FT-CORBA Architectures. In: Proceedings of the 4th European Dependable Computing Conference (2002)","DOI":"10.1007\/3-540-36080-8_14"},{"key":"8_CR21","unstructured":"Martin, J.: Rapid Application Development, Macmillan Publishing Co. Inc. (1991)"},{"key":"8_CR22","unstructured":"Microsoft Visual Studio, msdn.microsoft.com\/vstudio"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Modarressi, A.R., Skoog, R.A.: Signaling System No. 7: A Tutorial. IEEE Communications Magazine\u00a028(7) (1990)","DOI":"10.1109\/35.56239"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Moser, L.E., Melliar-Smith, P.M., et al.: The Eternal System: An Architecture for Enterprise. In: Proceeding of the 3rd International Enterprise Distributed Object Computing, Mannheim, Germany (1999)","DOI":"10.1109\/EDOC.1999.792065"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Ren, Y., Buskens, R., Gonzalez, O.: Dependable Initialization of Large-Scale Distributed Software. In: Proceedings of the 2004 International Conference on Dependable Systems and Networks (2004)","DOI":"10.1109\/DSN.2004.1311903"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"van Renesse, R., Maffeis, S., Birman, K.: Horus: A Flexible Group Communication System. Communications of the ACM\u00a039(4) (1986)","DOI":"10.1145\/227210.227229"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Rodrigues, G., Rosenblum, D., Emmerich, W.: A Model Driven Approach for Software Systems Reliability. In: Proceedings of the 26th International Conference on Software Engineering (2004)","DOI":"10.1109\/ICSE.2004.1317412"},{"key":"8_CR28","unstructured":"Royce, W.: Managing the Development of Large Software Systems. In: Proceedings of IEEE WESCON, vol.\u00a026(8) (1970)"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Roy-Chowdhury, A.: Manual and Compiler Assisted Methods for Generating Fault-Tolerant Parallel Programs, PhD thesis, University of Illinois at Urbana-Champaign (1996)","DOI":"10.21236\/ADA302812"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Schmidt, D.: Model-Driven Engineering. IEEE Computer\u00a039(2) (2006)","DOI":"10.1109\/MC.2006.58"},{"key":"8_CR31","unstructured":"Service Availability Forum, http:\/\/www.saforum.org"},{"key":"8_CR32","volume-title":"RTCSA 2006","author":"J.M. Slaby","year":"2006","unstructured":"Slaby, J.M., Baker, S., Hill, J., Schmidt, D.C.: Applying System Execution Modeling Tools to Evaluate Enterprise Distributed Real-Time and Embedded System QoS. In: RTCSA 2006. Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"8_CR33","unstructured":"Telelogic Rhapsody, www.telelogic.com\/Products , www.ilogix.com\/sublevel.aspx?id=53"},{"key":"8_CR34","unstructured":"Unified Modeling Language, http:\/\/www.uml.org"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Waddington, D.G., Yao, B.: High Fidelity C++ Code Transformation. In: Proceedings of the 5th Workshop on Language Descriptions, Tools and Applications (LDTA) (April 2005)","DOI":"10.1016\/j.entcs.2005.04.037"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Zorpette, G.: Keeping the Phone Lines Open. IEEE Spectrum\u00a026(6) (1989)","DOI":"10.1109\/6.29337"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74035-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:14:10Z","timestamp":1556802850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74035-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540740339","9783540740353"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74035-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}