===== Requirements-Based Programming =====

==== Papers ====

Requirements to Design to Coding (R2D2C) and Requirements-Based Programming (RBP) oriented papers (these are some **sample** papers, the list is far from being comprehensive :!: you have been warned):

  * http://isd.gsfc.nasa.gov/Papers/DOC/aireview1.pdf   
  * http://isd.gsfc.nasa.gov/Papers/DOC/PaperAToolforMODIFIEDidpt05.pdf :!:
  * http://isd.gsfc.nasa.gov/Papers/DOC/ApproachtoGenerating.pdf
  * http://isd.gsfc.nasa.gov/Papers/DOC/Formal_Reqmts_iceccs.pdf
  * http://isd.gsfc.nasa.gov/Papers/DOC/Rashrequire.pdf
  * http://isd.gsfc.nasa.gov/Papers/DOC/verificationissues.pdf
  * http://isd.gsfc.nasa.gov/Papers/DOC/seefm.pdf