Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System
- 19 April 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Autonomous and autonomic systems: a paradigm for future space exploration missionsIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2006
- Towards an automated development methodology for dependable systems with application to sensor networksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Why Computer-Based Systems Should Be AutonomicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A Formal Approach to Requirements-Based ProgrammingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Verification of emergent behaviors in swarm-based systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Some autonomic properties of two legacy multi-agent systems - LOGOS and ACTPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Program generators and the tools to make themPublished by Association for Computing Machinery (ACM) ,2004
- Experience using formal methods for specifying a multi-agent systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CSP Networking for Java (JCSP.net)Published by Springer Nature ,2002
- Communicating sequential processesCommunications of the ACM, 1978