메뉴 건너뛰기




Volumn 4615 LNCS, Issue , 2007, Pages 163-187

Model-centric development of highly available software systems

Author keywords

High availability; Middleware; Model centric software development

Indexed keywords

COMPUTER SIMULATION; COMPUTER SYSTEMS; MARKETING; PROBLEM SOLVING; TELECOMMUNICATION;

EID: 39149120286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74035-3_8     Document Type: Conference Paper
Times cited : (5)

References (36)
  • 3
    • 0026865980 scopus 로고
    • Implementation of On-Line Distributed System-Level Diagnosis Theory
    • Bianchini, R., Buskens, R.: Implementation of On-Line Distributed System-Level Diagnosis Theory. IEEE Transactions on Computers 41(5) (1992)
    • (1992) IEEE Transactions on Computers , vol.41 , Issue.5
    • Bianchini, R.1    Buskens, R.2
  • 4
    • 33746578985 scopus 로고
    • ISIS: A System for Fault Tolerance in Distributed Systems
    • 86-744, Department of Computer Science, Cornell University, Ithaca, NY April
    • 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)
    • (1986) Technical Report TR
    • Birman, K.1
  • 5
    • 0038250058 scopus 로고    scopus 로고
    • Borland C++ Builder, http://www.borland.com/us/products/cbuilder/index. html
    • Borland C++ Builder
  • 7
    • 33344473074 scopus 로고    scopus 로고
    • CALM and Cadena: Metamodeling for Component-Based Product Line Development
    • Childs, A., Greenwald, J., et al.: CALM and Cadena: Metamodeling for Component-Based Product Line Development. IEEE Computer 39(2) (2006)
    • (2006) IEEE Computer , vol.39 , Issue.2
    • Childs, A.1    Greenwald, J.2
  • 9
    • 84857629731 scopus 로고    scopus 로고
    • Clovis Software
    • Clovis Software, http://www.clovis.com
  • 11
    • 84857625302 scopus 로고    scopus 로고
    • Eclipse Integrated Development Environment IDE
    • Eclipse Integrated Development Environment (IDE), http://www.eclipse.org
  • 12
    • 84857632186 scopus 로고    scopus 로고
    • Enea, http://www.enea.com
    • Enea
  • 13
    • 39149099042 scopus 로고    scopus 로고
    • Eternal Systems, et al.: FT-CORBA. Joint Revised Submission. OMG TC Document orbos/99-12-19, OMG
    • Framingham, MA 1999
    • Ericsson, Eternal Systems, et al.: FT-CORBA. Joint Revised Submission. OMG TC Document orbos/99-12-19, OMG, Framingham, MA (1999)
    • Ericsson1
  • 14
    • 84857625299 scopus 로고    scopus 로고
    • Go Ahead Software
    • Go Ahead Software, http://www.goahead.com
  • 15
    • 0037587555 scopus 로고    scopus 로고
    • Cadena: An Integrated Development, Analysis, and Verification Environment for Component-Based Systems
    • Portland, Oregon
    • 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)
    • (2003) Proceedings of the 2003 International Conference on Software Engineering
    • Hatcliff, J.1    Deng, W.2
  • 16
    • 84857629468 scopus 로고    scopus 로고
    • IBM Rational Software Architect
    • IBM Rational Software Architect, www.ibm.com/software/awdtools/architect/ swarchitect/ index.html
  • 22
    • 39149112157 scopus 로고    scopus 로고
    • Microsoft Visual Studio, msdn.microsoft.com/vstudio
    • Microsoft Visual Studio, msdn.microsoft.com/vstudio
  • 26
    • 0030130161 scopus 로고    scopus 로고
    • van Renesse, R., Maffeis, S., Birman, K.: Horus: A Flexible Group Communication System. Communications of the ACM 39(4) (1986)
    • van Renesse, R., Maffeis, S., Birman, K.: Horus: A Flexible Group Communication System. Communications of the ACM 39(4) (1986)
  • 28
    • 0002514396 scopus 로고
    • Managing the Development of Large Software Systems
    • Royce, W.: Managing the Development of Large Software Systems. In: Proceedings of IEEE WESCON, vol. 26(8) (1970)
    • (1970) Proceedings of IEEE WESCON , vol.26 , Issue.8
    • Royce, W.1
  • 29
    • 39149129896 scopus 로고    scopus 로고
    • Manual and Compiler Assisted Methods for Generating FaultTolerant Parallel Programs, PhD thesis, University of Illinois at Urbana-Champaign
    • Roy-Chowdhury, A.: Manual and Compiler Assisted Methods for Generating FaultTolerant Parallel Programs, PhD thesis, University of Illinois at Urbana-Champaign (1996)
    • (1996)
    • Roy-Chowdhury, A.1
  • 30
    • 33344465743 scopus 로고    scopus 로고
    • Model-Driven Engineering
    • Schmidt, D.: Model-Driven Engineering. IEEE Computer 39(2) (2006)
    • (2006) IEEE Computer , vol.39 , Issue.2
    • Schmidt, D.1
  • 31
    • 84857625300 scopus 로고    scopus 로고
    • Service Availability Forum
    • Service Availability Forum, http://www.saforum.org
  • 35
    • 39149121766 scopus 로고    scopus 로고
    • 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)
    • 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)
  • 36
    • 0024682012 scopus 로고
    • Keeping the Phone Lines Open
    • Zorpette, G.: Keeping the Phone Lines Open. IEEE Spectrum 26(6) (1989)
    • (1989) IEEE Spectrum , vol.26 , Issue.6
    • Zorpette, G.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.