메뉴 건너뛰기




Volumn 4199 LNCS, Issue , 2006, Pages 185-199

Package merge in UML 2: Practice vs. theory?

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; INTEROPERABILITY; MATHEMATICAL MODELS; PROBLEM SOLVING; XML;

EID: 33750294828     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_14     Document Type: Conference Paper
Times cited : (23)

References (15)
  • 2
    • 33750366625 scopus 로고
    • J. Barwise, editor. Handbook of Mathematical Logic, North-Holland Publishing Company
    • J. Barwise, editor. Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, 1977.
    • (1977) Studies in Logic and the Foundations of Mathematics. , vol.90
  • 3
    • 0023023948 scopus 로고
    • A comparative analysis of methodologies for database schema integration
    • C. Batini, M. Lenzerini, and S. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323-364, 1986.
    • (1986) ACM Computing Surveys , vol.18 , Issue.4 , pp. 323-364
    • Batini, C.1    Lenzerini, M.2    Navathe, S.3
  • 5
    • 0002219090 scopus 로고    scopus 로고
    • A vision for management of complex models
    • P. Bernstein, A. Halevy, and R. Pottinger. A vision for management of complex models. SIGMOD Record, 29(4):55-63, 2000.
    • (2000) SIGMOD Record , vol.29 , Issue.4 , pp. 55-63
    • Bernstein, P.1    Halevy, A.2    Pottinger, R.3
  • 7
    • 33750299069 scopus 로고    scopus 로고
    • Abstract metamodeling, I: How to reason about meta-metamodeling in a formal way
    • K. Baclawski, H. Kilov, A. Thalassinidis, and K. Tyson, editors, Northeastern University, College of Computer Science
    • Z. Diskin. Abstract metamodeling, I: How to reason about meta-metamodeling in a formal way. In K. Baclawski, H. Kilov, A. Thalassinidis, and K. Tyson, editors, 8th OOPSLA Workshop on Behavioral Specifications, OOPSLA99. Northeastern University, College of Computer Science, 1999.
    • (1999) 8th OOPSLA Workshop on Behavioral Specifications, OOPSLA99.
    • Diskin, Z.1
  • 9
  • 12
    • 0026444654 scopus 로고
    • Institutions: Abstract model theory for specification and programming
    • J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of ACM, 39(1):95-146, 1992.
    • (1992) Journal of ACM , vol.39 , Issue.1 , pp. 95-146
    • Goguen, J.A.1    Burstall, R.M.2
  • 15
    • 84941153183 scopus 로고    scopus 로고
    • B. Selic, January 2006. Personal communication.
    • B. Selic, January 2006. Personal communication.


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