Dynamic sets and their application in VDM

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Dynamic sets and their application in VDM

Full text

Pdf (517 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice table of contents

Indianapolis, Indiana, United States

Pages: 187 - 192

Year of Publication: 1993

ISBN:0-89791-567-4

Authors

Shaoying Liu
John A. McDermid

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 4, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/162754.162865 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Robert R. Stoll, "Set Theory and Logic~, W.H.Freeman and Company, USA, 1963.
	2	Samuel Selby, "Sets Relations Functions-an introduction'', McGraw-Hill Book Company Inc., 1963.
	3	Azriel Levy, "Basic Set Theory", Springer-Verlag Berlin Heidelberg, 1979.
	4	Kenneth Kunen, "Set Theory: An Introduction to independence Proofs", Elsevier Science Publishers B.V., 1983.
	5	D. Bj~rner and C.B. Jones, "Fromal Specification and Software Development", Prentice-Hall International Inc., 1982.
	6	C B Jones, Systematic software development using VDM, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1986
	7	Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	8	Dines Bjørner, Programming in the META-Language: A Tutorial, The Vienna Development Method: The Meta-Language, p.24-217, January 1978
	9	Cliff B. Jones, The META-Language: A Reference Manual, The Vienna Development Method: The Meta-Language, p.218-277, January 1978