Software Engineering

Volume 4, Issue 3, May 2016

  • An Approach About Monitoring Generic Properties on C Programs Using Aspect-Oriented Programming with ACC (AspeCtC)

    Pikeroen Olivier

    Issue: Volume 4, Issue 3, May 2016
    Pages: 50-58
    Received: 7 June 2016
    Published: 8 June 2016
    DOI: 10.11648/j.se.20160403.11
    Downloads:
    Views:
    Abstract: For systems which deal with serious or dangerous things (for example nuclear power plant), programs are constrained by legislation to be safe in any case, which requires verification process during the execution, in other words “Runtime Verification” (RV). The field of runtime verification has many different names: runtime monitoring, runtime check... Show More