A Formal Approach to Requirements-Based Programming

This publication has 12 references indexed in Scilit:

• Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Come, Let’s Play
  Published by Springer Nature ,2003
• From scenarios to code: an air traffic control case study
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Verification and validation of autonomous systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Experience using formal methods for specifying a multi-agent system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• csp2B: A Practical Approach to Combining CSP and B
  Published by Springer Nature ,1999
• Industrial-Strength Formal Methods in Practice
  Published by Springer Nature ,1999
• Specification in B: An Introduction Using the B Toolkit
  Published by World Scientific Pub Co Pte Ltd ,1996
• Seven more myths of formal methods
  IEEE Software, 1995
• Communicating sequential processes
  Communications of the ACM, 1978