Multiparty specification

Publisher Website

1 April 1989

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes

Vol. 14 (3) , 185-195
https://doi.org/10.1145/75200.75228

Abstract

No abstract available

This publication has 10 references indexed in Scilit:

Constructing specifications by combining parallel elaborations
IEEE Transactions on Software Engineering, 1989
Delaying commitment (programming strategy)
IEEE Software, 1988
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering, 1985
No logic before Friday
Synthese, 1985
Program developments
Communications of the ACM, 1983
Multiparty Grammars and Related Features for Defining Interactive Systems
IEEE Transactions on Systems, Man, and Cybernetics, 1982
On the Criteria for the Choice of Rules of Dialogic Logic
Published by John Benjamins Publishing Company ,1982
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers, 1980
Informality in Program Specifications
IEEE Transactions on Software Engineering, 1978
Mathematical models of dialogue¹
Theoria, 1971