![Software development / Aspect-oriented software development / Aspect-oriented programming / Formal methods / Logic in computer science / Runtime verification / Pointcut / Formal verification / Join point / Instrumentation Software development / Aspect-oriented software development / Aspect-oriented programming / Formal methods / Logic in computer science / Runtime verification / Pointcut / Formal verification / Join point / Instrumentation](https://www.pdfsearch.io/img/7d72bd9f0e4dd019db1067932bb8c53d.jpg) Date: 2012-12-17 05:23:36Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation | | A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California InstAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 544,89 KBShare Document on Facebook
|