|
Volumn 14, Issue 3, 2010, Pages 50-57
|
Comprehensive monitoring of BPEL processes
a a b c |
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;
DATA ACQUISITION;
DATA REDUCTION;
ENGINEERING;
LINGUISTICS;
QUERY LANGUAGES;
SPECIFICATION LANGUAGES;
VERIFICATION;
COMPUTER SOFTWARE SELECTION AND EVALUATION;
|
EID: 77953347837
PISSN: 10897801
EISSN: None
Source Type: Journal
DOI: 10.1109/MIC.2010.66 Document Type: Article |
Times cited : (45)
|
References (6)
|