메뉴 건너뛰기




Volumn , Issue , 2009, Pages 85-113

Concern separation for adaptive QoS modeling in distributed real-time embedded systems

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84886088054     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-750-8.ch004     Document Type: Chapter
Times cited : (6)

References (45)
  • 2
    • 33748328136 scopus 로고    scopus 로고
    • Multilevel models in model-driven engineering, product lines, and metaprogramming
    • Batory, D. (2006). Multilevel models in model-driven engineering, product lines, and metaprogramming. IBM Systems Journal, 45(3), 527-540.
    • (2006) IBM Systems Journal , vol.45 , Issue.3 , pp. 527-540
    • Batory, D.1
  • 5
    • 35048900689 scopus 로고
    • Symbolic model checking: 10^20 states and beyond
    • doi:10.1016/08905401(92)90017-A
    • Burch, J., Clarke, E., McMillan, K., Dill, D., & Hwang, L. (1992). Symbolic model checking: 10^20 states and beyond. Information and Computation, 98(2), 142-170. doi:10.1016/08905401(92)90017-A
    • (1992) Information and Computation , vol.98 , Issue.2 , pp. 142-170
    • Burch, J.1    Clarke, E.2    McMillan, K.3    Dill, D.4    Hwang, L.5
  • 13
    • 51549101793 scopus 로고    scopus 로고
    • Model-driven middleware: A new paradigm for developing distributed real-time and embedded systems
    • doi:10.1016/j.scico.2008.05.005
    • Gokhale, A., Balasubramanian, K., Krishna, A., Balasubramanian, J., Edwards, G., & Deng, G. (2008). Model-driven middleware: A new paradigm for developing distributed real-time and embedded systems. Science of Computer Programming, 73(1), 39-58. doi:10.1016/j.scico.2008.05.005
    • (2008) Science of Computer Programming , vol.73 , Issue.1 , pp. 39-58
    • Gokhale, A.1    Balasubramanian, K.2    Krishna, A.3    Balasubramanian, J.4    Edwards, G.5    Deng, G.6
  • 14
    • 0012736401 scopus 로고    scopus 로고
    • Handling crosscutting constraints in domainspecific modeling
    • doi:10.1145/383845.383864
    • Gray, J., Bapty, T., Neema, S., & Tuck, J. (2001). Handling crosscutting constraints in domainspecific modeling. Communications of the ACM, 44(10), 87-93. doi:10.1145/383845.383864
    • (2001) Communications of the ACM , vol.44 , Issue.10 , pp. 87-93
    • Gray, J.1    Bapty, T.2    Neema, S.3    Tuck, J.4
  • 15
    • 33344470490 scopus 로고    scopus 로고
    • Automating change evolution in model-driven engineering
    • Gray, J., Lin, Y., & Zhang, J. (2006). Automating change evolution in model-driven engineering. IEEE Computer, 39(2), 41-48.
    • (2006) IEEE Computer , vol.39 , Issue.2 , pp. 41-48
    • Gray, J.1    Lin, Y.2    Zhang, J.3
  • 18
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • doi:10.1016/01676423(87)90035-9
    • Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 231-274. doi:10.1016/01676423(87)90035-9
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 23
    • 79960129868 scopus 로고    scopus 로고
    • Unpublished doctoral dissertation, University of Alabama at Birmingham, Department of Computer and Information Sciences. Retrieved from
    • Lin, Y. (2007). A model transformation approach to automated model evolution. Unpublished doctoral dissertation, University of Alabama at Birmingham, Department of Computer and Information Sciences. Retrieved from http://www.cis.uab.edu/softcom/dissertations/LinYuehua.pdf
    • (2007) A Model Transformation Approach to Automated Model Evolution
    • Lin, Y.1
  • 24
    • 35548974276 scopus 로고    scopus 로고
    • DSMDiff: A differentiation tool for domain-specific models
    • doi:10.1057/palgrave.ejis.3000685
    • Lin, Y., Gray, J., & Jouault, F. (2007). DSMDiff: A differentiation tool for domain-specific models. European Journal of Information Systems, 16(4), 349-361. doi:10.1057/palgrave.ejis.3000685
    • (2007) European Journal of Information Systems , vol.16 , Issue.4 , pp. 349-361
    • Lin, Y.1    Gray, J.2    Jouault, F.3
  • 26
    • 84892354452 scopus 로고    scopus 로고
    • A framework for testing model transformations
    • In, Springer
    • Lin, Y., Zhang, J., & Gray, J. (2005). A framework for testing model transformations. In Model-driven software development, (pp. 219-236). Springer.
    • (2005) Model-driven Software Development , pp. 219-236
    • Lin, Y.1    Zhang, J.2    Gray, J.3
  • 28
    • 33745167684 scopus 로고    scopus 로고
    • When and how to develop domain-specific languages
    • doi:10.1145/1118890.1118892
    • Mernik, M., Heering, J., & Sloane, A. (2005). When and how to develop domain-specific languages. ACM Computing Surveys, 37(4), 316-344. doi:10.1145/1118890.1118892
    • (2005) ACM Computing Surveys , vol.37 , Issue.4 , pp. 316-344
    • Mernik, M.1    Heering, J.2    Sloane, A.3
  • 31
    • 0028518019 scopus 로고
    • A framework for expressing the relationship between multiple views in requirements specification
    • doi:10.1109/32.328995
    • Nuseibeh, B., Kramer, J., & Finkelstein, A. (1994). A framework for expressing the relationship between multiple views in requirements specification. IEEE Transactions on Software Engineering, 20(10), 760-773. doi:10.1109/32.328995
    • (1994) IEEE Transactions on Software Engineering , vol.20 , Issue.10 , pp. 760-773
    • Nuseibeh, B.1    Kramer, J.2    Finkelstein, A.3
  • 36
    • 0003256193 scopus 로고    scopus 로고
    • Middleware for distributed systems: Evolving the common structure for network-centric applications
    • In, John Wiley and Sons
    • Schantz, R., & Schmidt, D. (2001). Middleware for distributed systems: Evolving the common structure for network-centric applications. In Encyclopedia of Software Engineering. John Wiley and Sons.
    • (2001) Encyclopedia of Software Engineering
    • Schantz, R.1    Schmidt, D.2
  • 37
    • 33344465743 scopus 로고    scopus 로고
    • Model-driven engineering
    • Schmidt, D. (2006). Model-driven engineering. IEEE Computer, 39(2), 25-32.
    • (2006) IEEE Computer , vol.39 , Issue.2 , pp. 25-32
    • Schmidt, D.1
  • 41
    • 85008018482 scopus 로고    scopus 로고
    • Modelintegrated computing
    • Sztipanovits, J., & Karsai, G. (1997). Modelintegrated computing. IEEE Computer, 30(4), 10-12.
    • (1997) IEEE Computer , vol.30 , Issue.4 , pp. 10-12
    • Sztipanovits, J.1    Karsai, G.2


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