OOSPEC

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

OOSPEC: an executable object-oriented specification language

Full text

Pdf (827 KB)

Source

ACM Annual Computer Science Conference archive
Proceedings of the 1995 ACM 23rd annual conference on Computer science table of contents

Nashville, Tennessee, United States

Pages: 169 - 177

Year of Publication: 1995

ISBN:0-89791-737-5

Authors

Mohammad N. Paryavi	IBD Informatics, Inc., P.O. Box 10660, Kansas City, MO
William J. Hankley	Dept. of Computing and Information Sciences, Kansas State University, Manhattan, KS

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, 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/259526.259552 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.

	ANS 83	ANSI and AJPO, Military Standard: Ada Programming Lanauge (Am. Nat. Standards Inst. and US Gov. Dept of Defense, Ada Joint Program Office), ANSI/MIL-STD-1815A-1983, Feb. 17, 1983.
	BJO 82	Bjomer, D. and Jones, C. B. Formal Specification and Softwre Development. Prentice/Hall, Englewood Cliffs, NJ, 1982.
	BOO 86	G Booch, Object-oriented development, IEEE Transactions on Software Engineering, v.12 n.2, p.211-221, Feb. 1986
	BOO 91	Grady Booch, Object oriented design with applications, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1990
	COA 91-1	Peter Coad , Edward Yourdon, Object-oriented analysis (2nd ed.), Yourdon Press, Upper Saddle River, NJ, 1991
	COA 91-2	Peter Coad , Edward Yourdon, Object-oriented design, Yourdon Press, Upper Saddle River, NJ, 1991
	COH 86	B. Cohen , W. T. Harwood , M. I. Jackson, The Specification of Complex Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	DIL 90	Antoni Diller, Z: An Introduction to Formal Methods, John Wiley & Sons, Inc., New York, NY, 1990
	ELL 90	Margaret A. Ellis , Bjarne Stroustrup, The annotated C++ reference manual, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	GOG 87	Joseph A. Goguen , José Meseguer, Unifying functional, object-oriented and relational programming with logical semantics, Research directions in object-oriented programming, MIT Press, Cambridge, MA, 1987
	GOL 83	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	HOA 72	Hoare, C.A.R. Proof of Correctness of Data Representations, Acta lnformatica, vol. 1, pp. 271- 281, 1972.
	INC 88	D. C. Ince, An introduction to discrete mathematics, Oxford University Press, Inc., New York, NY, 1988
	JON 80	Cliff B. Jones, Software Development: A Rigorous Approach, Prentice Hall PTR, Upper Saddle River, NJ, 1980
	JON 86	C B Jones, Systematic software development using VDM, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1986
	JON 90	Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	LEJ 91	Jean Pierre LeJacq, Function preconditions in object oriented software, ACM SIGPLAN Notices, v.26 n.10, p.13-18, Oct. 1991 [doi>10.1145/122616.122619]
	LIS 86	Barbara Liskov , John Guttag, Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986
	MEY 88	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	PAR 72	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	PAR 93	Nabi Mohammed Paryavi, An object-oriented formal specification language and support environment, Kansas State University, Manhattan, KS, 1993
	SHA 91	Dan Shafer , Dean A. Ritz, Practical Smalltalk: using Smalltalk/V, Springer-Verlag New York, Inc., New York, NY, 1991
	WIR 90	Rebecca Wirfs-Brock , Brian Wilkerson , Lauren Wiener, Designing object-oriented software, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990