1 research outputs found

    A logical framework for monitoring and evolving software components

    No full text
    Abstract We present a revision-based logical framework for modellin
    corecore