First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 544,89 KBShare Document on Facebook |
Call for Papers Programming for Separation of Concerns (6th edition) http://www.dmi.unict.it/~tramonta/PSC10/DocID: 1rpw5 - View Document | |
Vol. 5, No. 1, January–FebruaryNew Perspective To Improve Reusability in Object-Oriented Languages Philippe Lahire, Laurent Quintian, I3S Laboratory, University of Nice-Sophia Antipolis and CNRS, FranceDocID: 1rkCp - View Document | |
ACIS International Journal ofDocID: 1rhFr - View Document | |
Metamodel-independent modularisation of models with MetaMod∗ Ana Maria Sutîi ¸ Tom VerhoeffDocID: 1r7Wg - View Document | |
S E C O N D I N T E R N AT I O N A L C O N F E R E N C E O N Aspect-Oriented Software Development March 17–21, 2003DocID: 1r0mw - View Document |