A Logical Framework for Monitoring and Evolving Software Components.

Howard Barringer David E. Rydeheard Dov M. Gabbay

Published in: TASE (2007)

Keyphrases

software components
logical framework
software systems
inference rules
software development
belief revision
building blocks
reasoning tasks
software modules
commercial off the shelf
web services
software reuse
information systems
software engineering
expert systems