This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
d’Inverno M. and Luck, M. Understanding Agent Systems. Springer-Verlag. 2001.
Ferber, J. Multi-Agent Systems, An Introduction to Distributed Artificial Intelligence. Addision-Wesley. 1999.
Foundation for Intelligent Agents, Geneva, Switzerland, November 28, 1997.
Hallock, L., Truszkowski, W., Rouff, C. and Karlin, J. Agent-Based Spacecraft Autonomy. In Proceedings of Institute for Operations Research and the Management Sciences (INFORMS), 1999.
Havelund, K. Model Checking Java Programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999.
Hinchey, M. G. and Jarvis, S. A. Concurrent Systems: Formal Development in CSP. McGraw-Hill International Series in Software Engineering, London and New York. 1995.
Hinchey, M., Rash, J. and Rouff, C. Verification and Validation of Autonomous Systems. In Proceedings of 2001 IEEE/NASA Software Engineering Workshop, 27–29 November, 2001.
Holzmann, H. J. Design and Validation of Computer Protocols. Prentice Hall Software Series, Englewood Cliffs, NJ. 1991.
Hoare, C. A. R. Communicating Sequential Processes. Prentice Hall International Series in Computer Science, Hemel Hempstead. 1985.
Labrou, Y. and Finin, T. A Proposal for a new KQML Specification. Technical Report TR CS-97-03, Computer Science and Electrical Engineering Department, University of Maryland Baltimore County, Baltimore, MD 21250, 1997.
LOGOS Overview, Design and Specification Documents. http://agents. gsfc.nasa.gov/products.html
LOGOS System Overview Document. http://agents.gsfc.nasa.gov/ documents/code588/LOGOS.stuff/logosoverview.pdf
Rash, J., Rouff, C., Truszkowski, W., Gordon-Spears, D. and Hinchey, M. (Editors). First NASA Workshop on Formal Approaches to Agent-Based Systems, (LNAI 1871), Springer-Verlag, 2001.
Rouff, C., Rash, J. and Hinchey, M. Experience Using Formal Methods for Specifying a Multi-Agent System. In Proceedings of the Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000.
Rouff, C. and Truszkowski, W. A Process for Introducing Agent Technology into Space Missions. IEEE Aerospace Conference, 11–16 March, 2001.
Truszkowski, W. and Hallock, H. Agent Technology from a NASA Perspective. In CIA-99, Third International Workshop on Cooperative Information Agents, Uppsala, Sweden, 31 July–2 August, Springer-Verlag, 1999.
Truszkowski, W. and Rouff, C. An Overview of the NASA LOGOS and ACT Agent Communities. World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, 22–25 July, 2001.
VisAGE 3.0 User’s Manual. NASA Goddard Space Flight Center, Code 588.0, 2000. http://tidalwave.gsfc.nasa.gov/avatar/
Wooldridge, M. Intelligent Agents. In Multiagent Systems. G. Weiss, editor. MIT Press. 1999.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag London Limited
About this chapter
Cite this chapter
Rouff, C.A., Rash, J.L., Hinchey, M.G., Truszkowski, W.F. (2006). Formal Methods at NASA Goddard Space Flight Center. In: Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W., Gordon-Spears, D. (eds) Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering. Springer, London. https://doi.org/10.1007/1-84628-271-3_10
Download citation
DOI: https://doi.org/10.1007/1-84628-271-3_10
Publisher Name: Springer, London
Print ISBN: 978-1-85233-947-0
Online ISBN: 978-1-84628-271-3
eBook Packages: Computer ScienceComputer Science (R0)