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
|