skip to main content
article
Free access

Status of ongoing security-relevant projects

Published: 01 July 1981 Publication History

Abstract

No abstract available.

References

[1]
Eggert, P. R., "Overview of the Ina Jo Specification Language," System Development Corporation document SP 4082, October 1980.
[2]
Kemmerer, R. A., "FDM - A Specification and Verification Methodology," System Development Corporation document SP-4088, November 1980.
[3]
Locasso, R., J. Scheid, V. Schorre, and P. Eggert, "The Ina Jo Specification Language Reference Manual," System Development Corporation document TM-(L)-6021/001/00, June 1980.
[4]
Scheid, J. and J. R. Landauer, "Restaurant -- An Example of the Formal Development Methodology," System Development Corporation document TM-(L)-7043/000/00, October 1980.
[5]
Schorre, V. and J. Stein, "The Interactive Theorem Prover (ITP) User Manual," System Development Corporation document TM-6889/000/00, November 1980.

Index Terms

  1. Status of ongoing security-relevant projects
    Index terms have been assigned to the content through auto-classification.

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGSOFT Software Engineering Notes
    ACM SIGSOFT Software Engineering Notes  Volume 6, Issue 3
    July 1981
    104 pages
    ISSN:0163-5948
    DOI:10.1145/1010832
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 July 1981
    Published in SIGSOFT Volume 6, Issue 3

    Check for updates

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 169
      Total Downloads
    • Downloads (Last 12 months)29
    • Downloads (Last 6 weeks)10
    Reflects downloads up to 14 Sep 2024

    Other Metrics

    Citations

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Get Access

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media