Skip to main content
Springer Nature Link
Log in

Formally specifying the logic of an automatic guidance controller

  • Part VIII: Project Reports
  • Conference paper
  • First Online:
Ada: The Choice for '92 (Ada-Europe 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 499))

Included in the following conference series:

  • 111 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Mark A. Ardis. A comparison of specification methods. Technical Report, Software Engineering Institute, Carnegie-Mellon University, 1991.

    Google Scholar 

  2. S.J. Garland, J.V. Guttag, and J.J. Horning. Debugging Larch Shared Language specifications. IEEE Transactions on Software Engineering, 16(9):1044–1057, September 1990.

    Article  Google Scholar 

  3. David Guaspari. Penelope, an Ada verification system. In Proceedings of Tri-Ada '89, pages 216–224, Pittsburgh, PA, October 1989.

    Google Scholar 

  4. David Guaspari, Carla Marceau, and Wolfgang Polak. Formal verification of Ada programs. IEEE Transactions on Software Engineering, 16(9):1058–1075, September 1990.

    Article  Google Scholar 

  5. R.M. Hueschen and J.W. McManus. Flight software requirements for the AI-developed control mode panel logic on Advanced Transport Operating Systems Transportation Systems Research Vehicle. Technical Report, NASA, 1988.

    Google Scholar 

  6. Jeannette M. Wing. Writing Larch interface language specifications. ACM Transactions on Programming Languages and Systems, 9(1):1–24, January 1987.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ORA Corporation, 301A Dates Drive, 14850-1313, Ithaca, NY, USA

    David Guaspari

Authors
  1. David Guaspari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dimitris Christodoulakis

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Guaspari, D. (1991). Formally specifying the logic of an automatic guidance controller. In: Christodoulakis, D. (eds) Ada: The Choice for '92. Ada-Europe 1991. Lecture Notes in Computer Science, vol 499. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018507

Download citation

  • DOI: https://doi.org/10.1007/BFb0018507

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54092-2

  • Online ISBN: 978-3-540-47396-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics