Ada abstraction, generation, verification

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Ada abstraction, generation, verification

Full text

Pdf (572 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '93 table of contents

Seattle, Washington, United States

Pages: 323 - 329

Year of Publication: 1993

ISBN:0-89791-621-2

Authors

Jonathan A. Turner	EDS Research and Development, Dallas, Texas
Thomas L. Hill	EDS Research and Development, Dallas, Texas

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by 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/170657.170747 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	ANSI/MiL-STD-1815A, Ada Programming Language, U. S. Depnmnent of Defense, January, 1983
	2	Grady Booch, Software Component with ADA, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1987
	3	Grady Booch, Object oriented design with applications, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1990
	4	Cnrre, B. A.,Jennings, T. J. et al. SPARK - The SPADE Adn Kernel, Edition 3.1, May, 1992
	5	Dowd, Sean S., Byme, David A., {iNCASE} Generating Reports and Trnnsnctions for the Unix Environment, EDS Technical Architecture, May, 1991
	6	Dowd, Sean S., {INCASE} Generating for an Ingres Datn~, EDS Technical Architecture, June, 1991
	7	Electronic Data Systems Corporation, Corporate Program Products, OS System Engineering Guide- Programs, Subroutines, and Macros, January, 1990
	8	Electronic Data Systems Corporntion, ISSC Technical Support Services, Umbrella-2 Technical Overview, March, 1992
	9	Freeman, Peter, Wnsserman, Anthony I., Software Design Techniques, Fourth edition, IEEE Computer Society, August, 1983
	10	William Leler, Constraint programming languages: their specification and generation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	11	Bruce J. MacLennan, Principles of programming languages: design, evaluation, and implementation (2nd ed.), Holt, Rinehart & Winston, Austin, TX, 1986
	12	Corporate Microsoft Press, Win32 application programming interface (vol. 1): the programmer's reference, Microsoft Press, Redmond, WA, 1992
	13	Miller, Edward, Howden, William E., Software Testing and Validation Techniques, IEEE Computer Society Press, 1981
	14	Karl A. Nyberg, The annotated Ada reference manual (2nd ed.), Grebyn Corporation, Vienna, VA, 1991
	15	Ruben Prieto-Diaz , G. Arango, Domain Analysis and Software Systems Modeling, IEEE Computer Society Press, Los Alamitos, CA, 1991
	16	Scott, Dar, Kraus, Tim, INCA{SE} Finite Terminance Verification, EDS Research and Development, ~bex 1985
	17	Smith, Michael K., The AVA Reference Manual: Derived from ANSi/MIL-STD-1815A-1983, Computational Logic Inc., February, 1992
	18	James Stanley, ADA: A Programmer's Guide with Microcomputer Examples, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1985
	19	Sun Microsystems Inc., Sun Ada Programmer's Guide, March 1992
	20	Sybase Inc.,Open Client DB-Library/Ada, Reference Man ual, September, 1990
	21	Texas Instruments Incorporated, IEF Technical Description, August, 1992
	22	Turner, Jonathan A., {INCASE} Generating AVA(A Verifiable Ada) for the Sun/Sybase Environment, EDS R~h and Dev~lopmcn~ September, 1992
	23	Zuehsow, T. W., et al.,A Rigorous, Consolidated Data Modeling Scheme, The Third Annual Case Users Conference PrOngs. October. 1990