7 research outputs found

    Multiparty specification

    Get PDF
    This paper examines a formal model of how specifications can be constructed from multiple viewpoints and presents some tools to support this approach. The development of specifications is presented as a dialogue in which the viewpoints negotiate. establish responsibilities and cooperatively construct a specification. The model is illustrated by means of some small examples
    corecore