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