你即將離開本站

並前往https://www.sciencedirect.com/science/article/pii/S1571066106003069

Temporal Assertions using AspectJ - ScienceDirect

We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts.

確定！ 回上一頁

查詢 「AspectJ」的人也找了：

  1. AspectJ maven
    2.
  2. Spring AOP
    3.
  3. Intellij aspectj
    4.
  4. AOP Java
    5.
  5. aspectj-maven-plugin
    6.
  6. Spring Boot AspectJ
    7.
  7. AspectJ example
    8.
  8. Eclipse AspectJ
    9.