A Logical Framework for Monitoring and Evolving Software Components.

Howard Barringer, David E. Rydeheard, Dov M. Gabbay

Browse the full TASE paper archive.