article

Free access

Multiparty specification

Authors:

A. Finkelstein,

H. FuksAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 14, Issue 3

Pages 185 - 195

https://doi.org/10.1145/75200.75228

Published: 01 April 1989 Publication History

PDF eReader

References

[1]

Allwood. J. (1986): Logic and Spoken Interaction: In: Myers.Brown & McGonlgle (Eds). Reasoning and Discourse Processes, Academtc Press Cognitive Science Series, pp 67-94.

Google Scholar

[2]

Balzer. R tl985): A 15 Year Perspective on Automatic Pqpmmhg: IEEE Trans. Software Engineering: SE- ll.ll.pp 1257-1267.

Digital Library

Google Scholar

[3]

Balzcr. R Goldman. N. &Wile. D. (1978): Informality in Program Specifications: IEEE Trans. Software Engineering: SE4.2. pp 94-103.

Google Scholar

[4]

Carbonell. J.G. (1982); Meta-Language Utterances in Purposive Discourse: Carnegie-Mellon University Tech. Report. CMU-(X-82-125.

Google Scholar

[5]

Conklin, J. (1989); Design Rationale and Maintainability; Proc. 22nd Hawaif International Conference on Systems Sciences. V2. pp 533539, IEEE CS Press.

Google Scholar

[6]

Cunningham, J. Finkelstein. A. Goldsack, S. Maibaum. T. plr Potts, C. (1985); Formal Requirements Specification - The Forest Project; Proc. 3rd IWSSD; pp 186191. IEEE CS Press.

Google Scholar

[7]

Erman. L. & Lesser. V. (1975); A Multi-Level Orgamzation for Problem Solving Using Many, Diverse, Cooperating Sources ofKnowledge: Proc. IJCAI-75. pp 463-489.

Google Scholar

[8]

Feather, M. (1987): Constructing Specifications by Combining Parallel Elaborations: To appear IEEE Trans. Software Engineering.

Digital Library

Google Scholar

[9]

Fkkas. S. Collins. S. i?z Olivier. S. (1987): Problem Acquisition in Software Analysis: a preliminary study: University of Oregon Tech. Report. CIS-TR-87-15.

Google Scholar

[10]

Finkelstein. A. & Potts, C. (1987): Building Formal Specifications Using 'Structured Common Sense": Proc. 4th IWSSD: IEEE CS Press.

Google Scholar

[11]

Fuks. H. Pequeno, M. & Sadler, M.(1988): A Dtalogic Framework for Theorem Proving, Imperial College, Department of Computing Tech. Report. DoC 88/4.

Google Scholar

[12]

Green, M. (1983): Report on Dialogue Specfflcation tools: In: Pfti (Ed) Proc. Wrkshp. User Interface Management Systems .1983: Springer-Verlag.

Google Scholar

[13]

Hamblin. C. (1971): Mathematical Models of Dialogue: Theorla. V2. pp130-155.

Google Scholar

[14]

Hamblin, C (1987): Imperattves: Basil Blackwell, Oxford.

Google Scholar

[15]

Hint&a. J (1973): Logic, Language-Games and Information; Clarendon Press, Oxford.

Google Scholar

[16]

Horai.H. Saeki. M. & Enomoto. H. (1987): Specification Based software Development System Pure Tell. IIAS Research Report No. 73.

Google Scholar

[17]

Komfeld. W. & Hewitt. C. (19811: The Scient& Community Metaphor; IEEE Trans Systems, Man & Cybemetics. SMC- 11.1. pp 24-32.

Google Scholar

[18]

Lehman. M. ( 1985): Approach to a Disciplined Development Process - The ISTAR Integrated Pmject Support Envimnment; Impedal CoIlege Dept. of Computing Tech Report 85/ 19. I

Google Scholar

[19]

Lenat. D. (1975): Beings: Knowledge as Interacting experts; PIUC. IJCAI-75. ppf26-133.

Google Scholar

[20]

Lorenz. II (1982): On the C-rIterIa for the choice of Rules of Dialogic Logic; In Barth & Martens (Eds). Argumentation: approaches to theory formation, SLCS V8. John Be+mins. Amsterdam.

Google Scholar

[21]

Mackenzie. J. ( 198 1); The Diale&cs of IL@c; Logique et AnaIyse. v24. pp 159- 177.

Google Scholar

[22]

Macke.nzie. J. (1985): No Logic before Friday: Synthese. V63. pp 329341.

Google Scholar

[23]

Maibaum.T. Veloso. P. & Sadler. M. (1985): A Theory of Abstract Data 'l@es for Formal Development: bridging the gap? Proc. Co&q. Software Engineering Berlin 1985: LNCS 186. Springer Verlag.

Google Scholar

[24]

Mullery, G. (1985): Acquisition- Environment: In Paul. M. & Siege& H. (Ed& Distributed Systems: methods and tools for specitlcation. LNCS 190. Springer Verlag.

Digital Library

Google Scholar

[25]

Niskier. C. (1987); Using Multiple Views in Software Specification: Pnx. 5th Workshop on Formal Specification of Abstract Data Tvoes. Gullane. Scotland.

Google Scholar

[26]

Niskier. C. Fuks. H. Br Sadler, M. (1988): Changing Views in Software Specification: interpretation between theories using dialogue; (In preparation).

Google Scholar

[27]

Schneiderman, B. (1982): Multiparty Grammars and Related Features for Defining Interactive Systems: IEEE lYans Systems, Man & Cyberrdcs, SMC-12.1. pp 148-154.

Google Scholar

[28]

Smith, R (1980): The Contract Net Protocol: High-Level Communication and Control In a Distributed Problem

Google Scholar

[29]

Solver; IEEE Trans. Computers, C-29.12, ppI104-1113. Smith. R & Davis, R (198 1): Fmmeworks for Cooperation in Distributed Problem SoMng: IEEE Trans Systems, Man & Cybernetics. SMC-11.1. pp 61-69.

Google Scholar

[30]

Soloway. E. (1986): Meeting the Challenge of Programmingin-the-Large. 1st Workshop on Empirkal Studies of F'mgmmmers 1986. pp 263-268; Abla Publishing Corp.

Digital Library

Google Scholar

[31]

Thimbleby. H. (1988): Delaying Commitment; IEEE Software: V5 N3. pp 78-86.

Digital Library

Google Scholar

[32]

Wile D. (19831: Program Developments: Formal Explanations of Implementations: CACM 26(11). pp 902-911.

Digital Library

Google Scholar

[33]

Winograd. T. 8r Flares. F. (1986): Unde&anding Computers and Cognition: A New Foundation For Design; Ablex Publishing Corp.

Digital Library

Google Scholar

Cited By

View all

Subha RHaldorai A(2022)An Efficient Identification of Security Threats in Requirement Engineering MethodologyComputational Intelligence and Neuroscience10.1155/2022/18720792022(1-14)Online publication date: 18-Aug-2022
https://doi.org/10.1155/2022/1872079
Ansari MBaz AAlhakami HAlhakami WKumar RKhan R(2021)P-STORE: Extension of STORE Methodology to Elicit Privacy RequirementsArabian Journal for Science and Engineering10.1007/s13369-021-05476-z46:9(8287-8310)Online publication date: 7-Mar-2021
https://doi.org/10.1007/s13369-021-05476-z
van Zee MBex FGhanavati S(2020)RationalGRL: A framework for argumentation and goal modelingArgument & Computation10.3233/AAC-200527(1-55)Online publication date: 25-Nov-2020
https://doi.org/10.3233/AAC-200527
Show More Cited By

Index Terms

Multiparty specification

Recommendations

Protocols for Multiparty Coin Toss with a Dishonest Majority

Coin-tossing protocols are protocols that generate a random bit with uniform distribution, although some corrupted parties might try to bias the output. These protocols are used as a building block in many cryptographic protocols. Cleve (Proc. of the ...
Protocols for multiparty coin toss with dishonest majority
CRYPTO'10: Proceedings of the 30th annual conference on Advances in cryptology

Coin-tossing protocols are protocols that generate a random bit with uniform distribution. These protocols are used as a building block in many cryptographic protocols. Cleve [STOC 1986] has shown that if at least half of the parties can be malicious, ...
Scalable Multiparty Garbling
CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security

Multiparty garbling is the most popular approach for constant-round secure multiparty computation (MPC). Despite being the focus of significant research effort, instantiating prior approaches to multiparty garbling results in constant-round MPC that can ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 14, Issue 3

May 1989

288 pages

ISSN:0163-5948

DOI:10.1145/75200

Editor:
Sol J. Greenspan

Issue’s Table of Contents

IWSSD '89: Proceedings of the 5th international workshop on Software specification and design
April 1989
295 pages
ISBN:0897913051
DOI:10.1145/75199
Chairman:
Sol J. Greenspan

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1989

Published in SIGSOFT Volume 14, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

44
Total Citations
View Citations
321
Total Downloads

Downloads (Last 12 months)62
Downloads (Last 6 weeks)16

Reflects downloads up to 17 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Subha RHaldorai A(2022)An Efficient Identification of Security Threats in Requirement Engineering MethodologyComputational Intelligence and Neuroscience10.1155/2022/18720792022(1-14)Online publication date: 18-Aug-2022
https://doi.org/10.1155/2022/1872079
Ansari MBaz AAlhakami HAlhakami WKumar RKhan R(2021)P-STORE: Extension of STORE Methodology to Elicit Privacy RequirementsArabian Journal for Science and Engineering10.1007/s13369-021-05476-z46:9(8287-8310)Online publication date: 7-Mar-2021
https://doi.org/10.1007/s13369-021-05476-z
van Zee MBex FGhanavati S(2020)RationalGRL: A framework for argumentation and goal modelingArgument & Computation10.3233/AAC-200527(1-55)Online publication date: 25-Nov-2020
https://doi.org/10.3233/AAC-200527
Black EMcBurney PZschaler S(2014)Towards Agent Dialogue as a Tool for Capturing Software Design DiscussionsTheory and Applications of Formal Argumentation10.1007/978-3-642-54373-9_7(95-110)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54373-9_7
Kheir ANaja HOussalah M(2014)Multihierarchy/Multiview Software ArchitecturesSoftware Architecture 110.1002/9781118930960.ch3(83-120)Online publication date: 8-May-2014
https://doi.org/10.1002/9781118930960.ch3
Elmaghraby SBaxter EVouk M(2006)An Approach to the Modeling and Analysis of Software Production ProcessesInternational Transactions in Operational Research10.1111/j.1475-3995.1995.tb00009.x2:1(117-135)Online publication date: 24-Aug-2006
https://doi.org/10.1111/j.1475-3995.1995.tb00009.x
Dubois EDu Bois PRifaut A(2005)Elaborating, structuring and expressing formal requirements of composite systemsActive Flow and Combustion Control 201810.1007/BFb0035140(327-347)Online publication date: 21-Jun-2005
https://doi.org/10.1007/BFb0035140
McBurney PParsons S(2003)Agent Communications for Chance DiscoveryChance Discovery10.1007/978-3-662-06230-2_10(133-149)Online publication date: 2003
https://doi.org/10.1007/978-3-662-06230-2_10
McBurney PParsons S(2003)Dialogue game protocolsProceedings of the 2003 International Conference on Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies10.1007/978-3-540-44972-0_15(269-283)Online publication date: 1-Feb-2003
https://dl.acm.org/doi/10.1007/978-3-540-44972-0_15
Johnson MMcBurney PParsons S(2003)When are two protocols the same?Proceedings of the 2003 International Conference on Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies10.1007/978-3-540-44972-0_14(253-268)Online publication date: 1-Feb-2003
https://dl.acm.org/doi/10.1007/978-3-540-44972-0_14
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Protocols for Multiparty Coin Toss with a Dishonest Majority

Protocols for multiparty coin toss with dishonest majority

Scalable Multiparty Garbling

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations