aspect verification tools / web application server / non-aspect systems / systems / servlet / syntactic tool / to link various tools / web application / it to complete systems / static analysis tool / dataflow tools / verification or analysis tools / aspect analysis tools / implemented software systems / verification tools / web server / formal methods tools / purpose tools / aspect systems / aspect-oriented software development / methods tools / model checking tool / foundational tools / transition systems / application oriented and tool / dataflow tool / woven systems / internal web server errors / individual tool / /
NaturalFeature
CAPE GAR / /
OperatingSystem
UNIX / /
Organization
D. Faitelson Computer Science Department / Technion / /
Person
Shmuel Katz / David Faitelson / /
Position
driver / editor / application engineer / RT / /
Product
MAVEN / /
ProgrammingLanguage
Java / AspectJ / Ruby / HTML / /
ProvinceOrState
Pennsylvania / /
Technology
virtual machine / Java / relational database / finite state machine / UNIX / database management system / HTTP / HTML / DBMS / web application server / web server / /
Int J Softw Tools Technol Transfer DOIs10009REGULAR PAPER The common aspect proof environment