City Research Online

Multiparty specification

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

Abstract

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
Date available in CRO: 10 Aug 2021 10:25
Date deposited: 10 August 2021
Date of first online publication: 1989
URI: https://openaccess.city.ac.uk/id/eprint/26567
[img]
Preview
Text - Published Version
Download (1MB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login