Differences
This shows you the differences between two versions of the page.
|
|
— |
misc:requirements-based_programming [2019/06/27 15:50] (current) |
| ===== 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 |
| |
| |