메뉴 건너뛰기




Volumn 14, Issue 3, 2010, Pages 50-57

Comprehensive monitoring of BPEL processes

Author keywords

Assertion checkers; Assertion languages; Design Tools and Techniques; Distributed Internet based software engineering tools and techniques; Performance; Software Engineering; Software Program Verification; Software Software Engineering

Indexed keywords

ASSERTION CHECKERS; ASSERTION LANGUAGE; DESIGN TOOLS AND TECHNIQUES; DISTRIBUTED/INTERNET BASED SOFTWARE ENGINEERING TOOLS AND TECHNIQUES; SOFTWARE ENGINEERING TOOLS; SOFTWARE/PROGRAM VERIFICATION; SOFTWARE/SOFTWARE ENGINEERING;

EID: 77953347837     PISSN: 10897801     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIC.2010.66     Document Type: Article
Times cited : (45)

References (6)
  • 3
    • 77953327653 scopus 로고    scopus 로고
    • Filling the gap between SLA and monitoring
    • Case Studies, P. Cunningham and M. Cunningham, eds., IOS Press
    • O. Nano and M. Tilly, "Filling the Gap between SLA and Monitoring," Innovation and the Knowledge Economy: Issues, Applications, Case Studies, P. Cunningham and M. Cunningham, eds., IOS Press, pp. 52-59.
    • Innovation and the Knowledge Economy: Issues, Applications , pp. 52-59
    • Nano, O.1    Tilly, M.2


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