메뉴 건너뛰기




Volumn 2029, Issue , 2001, Pages 300-317

A hoare calculus for verifying java realizations of OCL-constrained design models

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; MODELING LANGUAGES; SOFTWARE ENGINEERING;

EID: 84944231685     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45314-8_22     Document Type: Conference Paper
Times cited : (24)

References (23)
  • 2
    • 0038650507 scopus 로고    scopus 로고
    • editor, volume 1523 of Lect. Notes Comp. Sci. Springer, Berlin
    • J. Alves-Foss, editor. Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci. Springer, Berlin, 1999.
    • (1999) Formal Syntax and Semantics of Java
    • Alves-Foss, J.1
  • 3
    • 84976766710 scopus 로고
    • Ten Years of Hoare’s Logic: A Survey - Part I
    • K.R. Apt. Ten Years of Hoare’s Logic: A Survey - Part I. TOPLAS, 3(4):431-483, 1981.
    • (1981) TOPLAS , vol.3 , Issue.4 , pp. 431-483
    • Apt, K.R.1
  • 5
    • 84893066813 scopus 로고    scopus 로고
    • Correct realizations of interface constraints with OCL
    • Fort Collins, USA, volume 1723 of Lecture Notes in Computer Science. Springer-Verlag
    • M. Bidoit, R. Hennicker, F. Tort, and M. Wirsing. Correct realizations of interface constraints with OCL. In UML’99, The Unified Modeling Language - Beyond the Standard, Fort Collins, USA, volume 1723 of Lecture Notes in Computer Science. Springer-Verlag,1999.
    • (1999) UML’99, the Unified Modeling Language - Beyond the Standard
    • Bid, M.1    Oithennicker, R.2    Tort, F.3    Wirsing, M.4
  • 8
    • 84947919477 scopus 로고    scopus 로고
    • From Sequential to MultiThreaded Java: An Event-Based Operational Semantics
    • M. Johnson, editor, volume 1349 of Lect. Notes Comp. Sci, Berlin, Springer
    • P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. From Sequential to MultiThreaded Java: An Event-Based Operational Semantics. In M. Johnson, editor, Proc. 6th Int. Conf. Algebraic Methodology and Software Technology, volume 1349 of Lect. Notes Comp. Sci., pages 75-90, Berlin, 1997. Springer.
    • (1997) Proc. 6Th Int. Conf. Algebraic Methodology and Software Technology , pp. 75-90
    • Cenciarelli, P.1    Knapp, A.2    Reus, B.3    Wirsing, M.4
  • 10
    • 84937694070 scopus 로고    scopus 로고
    • A WP-calculus for OO
    • W. Thomas, editor, volume 1578 of Lecture Notes in Computer Science. Springer-Verlag
    • F.S. de Boer.A WP-calculus for OO. In W. Thomas, editor, Foundations of Software Science and Computations Structures, volume 1578 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
    • (1999) Foundations of Software Science and Computations Structures
    • De Boer, F.S.1
  • 13
    • 84945708698 scopus 로고
    • An axiomatic basis for computer programming
    • C.A.R. Hoare. An axiomatic basis for computer programming. Comm. ACM, 12:576-583,1969.
    • (1969) Comm. ACM , vol.12 , pp. 576-583
    • Hoare, C.1
  • 19
    • 84957884995 scopus 로고    scopus 로고
    • A programming logic for sequential Java
    • S. D. Swierstra, editor, ESOP), Lecture Notes in Computer Science. Springer-Verlag
    • A. Poetzsch-Heffter and P. Muller. A programming logic for sequential Java. In S. D. Swierstra, editor, European Symposium on Programming (ESOP), Lecture Notes in Computer Science. Springer-Verlag, 1999.
    • (1999) European Symposium on Programming
    • Poetzsch-Heffter, A.1    Muller, P.2
  • 22
    • 84958747541 scopus 로고    scopus 로고
    • Hoare logic for mutual recursion and local variables
    • V. Raman C. Pandu Rangan and R. Ramanujam, editors, volume 1738 of LNCS, Springer
    • D. von Oheimb. Hoare logic for mutual recursion and local variables. In V. Raman C. Pandu Rangan and R. Ramanujam, editors, Found. of Software Techn. and, Theoret. Comp. Sci., volume 1738 of LNCS, pages 168-180. Springer, 1999.
    • (1999) Found. Of Software Techn. And, Theoret. Comp. Sci , pp. 168-180
    • von Oheimb, D.1


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