ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Formal methods fact vs. fiction
Full text PdfPdf (327 KB)
Source Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '94 table of contents
Baltimore, Maryland, United States
Pages: 256 - 258  
Year of Publication: 1994
ISBN:0-89791-666-2
Authors
C. Michael Holloway  NASA Langley Research Center
Ben Di Vito  ViGYAN, Inc.
David Guaspari  Odyssey Research Associates
Michael Smith  Computational Logic
Sponsor
SIGADA: ACM Special Interest Group on Ada Programming Language
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 2,   Downloads (12 Months): 10,   Citation Count: 0
Additional Information:

index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/197694.197727
What is a DOI?

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Ada

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.0 General
        D.2.10 Design**
            Subjects: Methodologies**


General Terms:
Design, Languages

Collaborative Colleagues:
C. Michael Holloway: colleagues
Ben Di Vito: colleagues
David Guaspari: colleagues
Michael Smith: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player