Back to Results
First PageMeta Content
Aspect-oriented programming / Join point / Linear temporal logic / AspectJ / Pointcut / Formal verification / Model checking / Kripke structure / Temporal logic / Software development / Software / Aspect-oriented software development


Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz
Add to Reading List

Document Date: 2011-03-31 08:13:05

Open Document

File Size: 741,52 KB

Share Result on Facebook

City

Cambridge / /

Company

Pointcuts / Springer Science+Business Media LLC / /

Country

United States / /

Currency

pence / LTL / /

/

IndustryTerm

aspect-oriented software development techniques / verification algorithm / retail system / software development / /

Organization

Detection M. Goldman Computer Science Department / S. Katz Computer Science Department / MIT / Technion / /

Person

Max Goldman / Emilia Katz / Shmuel Katz / /

Position

RT / representative / programmer / /

ProgrammingLanguage

AspectJ / C / Java / /

ProvinceOrState

Pennsylvania / /

RadioStation

Katz / /

Technology

verification algorithm / Java / weaving algorithm / /

SocialTag