Anthony Finkelstein, Hugo Fuks  Home/Search
Context Related
| cs.ucl.ac.uk/acwf/papers/multi.ps.gz hypatia.dcs.qmw.ac.uk/dat...multi.ps.gz dse.doc.ic.ac.uk/dsepape...multi.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ucl.ac.uk/staff/A.Fink...publc (more) From: hypatia.dcs.qmw...se.doc.ic.ac.uk Homepages: A.Finkelstein |
Rate this article:      (best)Comment on this article |
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. Keywords: formal specification, distributed artificial intelligence, dialogue, logic, tool support 1 Introduction... (Update)
Context of citations to this paper: More
.... ViewPoints within which the above problems may be tackled [15] Issues relating to conflict resolution [10] negotiation and dialogue [14], configuration programming [24] and tool support [20, 21, 34] have already been examined within this framework. The term viewpoint has...
.... outcomes are comparable and may Dialogue games have also been applied to problems in legal reasoning [8, 59] in software specification [20] and in automated software design [68] These are instances of a Game Theoretic semantics in the sense of Jaako Hintikka [35] be partially...
Cited by: More
Specifying Multiple-Viewed Software Requirements with Conceptual .. - Delugach (1992) (Correct)
When Are Two Protocols the Same? - Johnson, McBurney, Parsons (2002) (Correct)
The Eightfold Way of Deliberation Dialogue - McBurney, Hitchcock (2002) (Correct)
Active bibliography (related documents): More All
0.8: Requirements Engineering: a review and research agenda - Finkelstein (1994) (Correct)
0.5: Elicitation of Requirements from Multiple Perspectives - Easterbrook (1991) (Correct)
0.3: A Scheme for Review, Annotation and Correction of Specifications - Finkelstein (Correct)
Similar documents based on text: More All
0.2: Chaining CU-SeeMe Reflectors: The SBRC'96 Experiment - Hugo Fuks Mail (Correct)
0.1: Cooperative Administration of a Public CU-SeeMe Reflector - Hugo Fuks Mail (Correct)
0.1: International Conference on Engineering Education August .. - Groupware Technology For (2001) (Correct)
Related documents from co-citation: More All
7: Robinson W. (1989); "Integrating Multiple Specifications Using Domain Goals"; Proc 5th International Workshop on Software Specification & Design; pp 219-226, IEEE CS Press.
5: and negotiation (context) - Amgoud, Parsons et al. - 2000
5: A Taxonomy of Current Issues in Requirements Engineering (context) - Roman - 1985
BibTeX entry: (Update)
Finkelstein A. & Fuks H. (1989); "Multi-Party Specification"; Proc 5th International Workshop on Software Specification & Design; pp 185-196, IEEE CS Press [Also ACM Software Engineering Notes May 1989]. http://citeseer.ist.psu.edu/finkelstein89multiparty.html More
@inproceedings{ finkelstein89multiparty,
author = "A. Finkelstein and H. Fuks",
title = "Multi-Party Specification",
booktitle = "Proceedings of the Fifth International Workshop on Software Specification and Design",
publisher = "ACM Sigsoft Engineerring Notes",
address = "Pittsburgh, Pennsylvania, USA",
editor = "XXX",
year = "1989",
url = "citeseer.ist.psu.edu/finkelstein89multiparty.html" }
Citations (may not include all citations):494 The Contract Net Protocol: High-Level Communication and Cont.. (context) - Smith - 1980
174 Understanding Computers and Cognition: A New Foundation For .. (context) - Winograd, Flores - 1986
17 Constructing Specifications by Combining Parallel Elaboratio.. (context) - Feather - 1987
13 A Multi-Level Organization for Problem Solving Using Many (context) - Erman, Lesser - 1975
10 Structured Common Sense (context) - Finkelstein, Potts - 1987
4 Specification Based Software Development System Pure Tell (context) - Horai, Saeki et al. - 1987
3 IEEE CS Press (context) - Conklin, Design et al. - 1989
3 Problem Acquisition in Software Analysis: a preliminary stud.. (context) - Fickas, Collins et al. - 1987
2 Approach to a Disciplined Development Process - The ISTAR In.. (context) - Lehman - 1985
1 IEEE CS Press (context) - Cunningham, Finkelstein et al. - 1985
1 Report on Dialogue Specification tools; In: Pfaff (context) - Green - 1983
1 The Dialectics of Logic; Logique et Analyse (context) - Mackenzie - 1981
1 Mathematical Models of Dialogue; Theoria (context) - Hamblin - 1971
1 No Logic before Friday; Synthese (context) - Mackenzie - 1985
1 Basil Blackwell (context) - Hamblin, Imperatives - 1987
1 Delaying Commitment; IEEE Software; V5 N (context) - Thimbleby - 1988
1 A Theory of Abstract Data Types for Formal Development: brid.. (context) - Maibaum, Veloso et al. - 1985
1 st Workshop on Empirical Studies of Programmers (context) - Soloway - 1986
1 Language-Games and Information; Clarendon Press (context) - Hintikka - 1973
1 Distributed Systems: methods and tools for specification (context) - Mullery, Acquisition et al. - 1985
1 Reasoning and Discourse Processes (context) - Allwood - 1986
1 Year Perspective on Automatic Programming; IEEE Trans (context) - Balzer - 1985
1 Informality in Program Specifications; IEEE Trans (context) - Engineering, pp et al. - 1978
1 th Workshop on Formal Specification of Abstract Data Types (context) - Niskier - 1987
1 The Scientific Community Metaphor; IEEE Trans Systems (context) - Kornfeld, Hewitt - 1981
1 Changing Views in Software Specification: interpretation bet.. (context) - Niskier, Fuks et al. - 1988
1 Meta-Language Utterances in Purposive Discourse; CarnegieMel.. (context) - Carbonell - 1982
1 Multiparty Grammars and Related Features for Defining Intera.. (context) - Schneiderman - 1982
1 Beings: Knowledge as Interacting experts; Proc (context) - Lenat - 1975
1 A Dialogic Framework for Theorem Proving (context) - Fuks, Pequeno et al. - 1988
1 the Criteria for the choice of Rules of Dialogic Logic; In B.. (context) - Lorenz - 1982
1 Frameworks for Cooperation in Distributed Problem Multi-part.. (context) - Smith, Davis - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ucl.ac.uk/staff/A.Finkelstein/publc.html): More
Overlaps among Requirements Specifications - George Spanoudakis (1997) (Correct)
The Viewpoints FAQ - Anthony Finkelstein (1996) (Correct)
Decentralised Process Modelling - Nuseibeh, Kramer, Finkelstein.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC