City Research Online

Multiparty specification

Finkelstein, A. ORCID: 0000-0003-2167-9844 & Fuks, H. (1989). Multiparty specification. pp. 185-195. doi: 10.1145/75200.75228


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.

Publication Type: Article
Additional Information: Copyright, ACM, 1989. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of Association for Computing Machinery. To copy otherwise, or to republish requires a fee and/or specific permission.
Publisher Keywords: formal specification, distributed artificial intelligence. dialogue, logic, tool support
Subjects: H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Presidents's Portfolio
Text - Published Version
Download (1MB) | Preview



Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login