|
Volumn , Issue , 2009, Pages 755-756
|
Mining scenario-based specifications with value-based invariants
|
Author keywords
Live sequence charts; Specification mining; Value based invariants
|
Indexed keywords
EXECUTION TRACE;
EXPRESSIVE POWER;
LIVE SEQUENCE CHART;
ORDERING CONSTRAINTS;
REAL APPLICATIONS;
SCENARIO-BASED SPECIFICATIONS;
SPECIFIC VALUES;
SPECIFICATION MINING;
VALUE-BASED;
VISUAL SPECIFICATION;
COMPUTER SYSTEMS PROGRAMMING;
CONCENTRATION (PROCESS);
FLOWCHARTING;
GRAPHIC METHODS;
LINGUISTICS;
MINING;
QUERY LANGUAGES;
SPECIFICATION LANGUAGES;
SPECIFICATIONS;
OBJECT ORIENTED PROGRAMMING;
|
EID: 72249114344
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/1639950.1639999 Document Type: Conference Paper |
Times cited : (3)
|
References (8)
|