메뉴 건너뛰기




Volumn 4089 LNCS, Issue , 2006, Pages 147-162

Tracechecks: Defining semantic interfaces with temporal logic

Author keywords

[No Author keywords available]

Indexed keywords

DATA TRANSFER; FORMAL LOGIC; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; PROGRAM COMPILERS;

EID: 33749387202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11821946_10     Document Type: Conference Paper
Times cited : (12)

References (20)
  • 3
    • 84888210118 scopus 로고    scopus 로고
    • The forSpec temporal Logic: A new temporal property-specification language
    • P. S. Joost-Pieter Katoen, editor, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02). Springer
    • R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, and Y. Zbar. The ForSpec Temporal Logic: A new Temporal Property-Specification Language. In P. S. Joost-Pieter Katoen, editor, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS. Springer, 2002.
    • (2002) LNCS , vol.2280
    • Armoni, R.1    Fix, L.2    Flaisher, A.3    Gerth, R.4    Ginsburg, B.5    Kanza, T.6    Landver, A.7    Mador-Haim, S.8    Singerman, E.9    Tiemeyer, A.10    Vardi, M.Y.11    Zbar, Y.12
  • 4
    • 84958756507 scopus 로고    scopus 로고
    • The temporal logic sugar
    • Computer Aided Verification (CAV'01). Springer
    • I. Beer, S. Ben-David, C. Eisner, D. Fisman, A. Gringauze, and Y. Rodeh. The temporal logic sugar. In Computer Aided Verification (CAV'01), volume 2102 of LNCS. Springer, 2001.
    • (2001) LNCS , vol.2102
    • Beer, I.1    Ben-David, S.2    Eisner, C.3    Fisman, D.4    Gringauze, A.5    Rodeh, Y.6
  • 6
    • 33749385542 scopus 로고    scopus 로고
    • Asymptotic Runtime Verification through Lightweight Continous Program Analysis (invited talk)
    • To be published in ENTCS, Elsevier
    • T. M. Chilimbi. Asymptotic Runtime Verification through Lightweight Continous Program Analysis (invited talk). In Fifth Workshop on Runtime Verification (RV'05). To be published in ENTCS, Elsevier, 2005.
    • (2005) Fifth Workshop on Runtime Verification (RV'05)
    • Chilimbi, T.M.1
  • 10
    • 84947249797 scopus 로고    scopus 로고
    • A formal definition of crosscuts
    • Proc. of the 3rd. intl. conf. on Metalevel Architectures and Separation of Crosscutting Concerns. Springer
    • R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Proc. of the 3rd. intl. conf. on Metalevel Architectures and Separation of Crosscutting Concerns, volume 2192 of LNCS. Springer, 2001.
    • (2001) LNCS , vol.2192
    • Douence, R.1    Motelet, O.2    Südholt, M.3
  • 13
    • 1842789901 scopus 로고    scopus 로고
    • Checking finite traces using alternating automata
    • B. Finkbeiner and H. Sipma. Checking Finite Traces using Alternating Automata. Formal Methods in System Design, 24(2):101-127, 2004.
    • (2004) Formal Methods in System Design , vol.24 , Issue.2 , pp. 101-127
    • Finkbeiner, B.1    Sipma, H.2
  • 14
    • 37149024045 scopus 로고
    • Design patterns: Abstraction and reuse of object-oriented design
    • O. M. Nierstrasz, editor, ECOOP'93-Object-Oriented Programming. Springer
    • E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: Abstraction and reuse of object-oriented design. In O. M. Nierstrasz, editor, ECOOP'93-Object-Oriented Programming, volume 707 of LNCS. Springer, 1993.
    • (1993) LNCS , vol.707
    • Gamma, E.1    Helm, R.2    Johnson, R.3    Vlissides, J.4
  • 19
    • 33646162171 scopus 로고    scopus 로고
    • Stateful Aspects in JAsCo
    • T. Gschwind and U. Aßmann, editorsWorkshop on Software Composition 2005. Springer
    • W. Vanderperren, D. Suvée, M. A. Cibrán, and B. De Fraine. Stateful Aspects in JAsCo. In T. Gschwind and U. Aßmann, editors, Workshop on Software Composition 2005, volume 3628 of LNCS. Springer, 2005.
    • (2005) LNCS , vol.3628
    • Vanderperren, W.1    Suvée, D.2    Cibrán, M.A.3    De Fraine, B.4


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