[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

KrishnamurthiFisler07

  1. Shriram Krishnamurthi & Kathi Fisler
  2. Foundations of Incremental Aspect model-checking
  3. ACM TOSEM Trans Software Eng & Methodology V16n2(Apr 2007)pp1-39
  4. =THEORY ASPECT MODULES EVOLUTION FSM CTL MODAL LOGIC
  5. Models code as finite state machines with special (paired) transitions for entering and leaving subprograms.
  6. Aspects are modeled as finite state machines that are place in before/after/arround the special transitions.
  7. Aspects placed using regular expression on the state of the stack of calls.
  8. CTL modal operators used to state required properties.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]