Search Results
Showing 1 - 10 of 21 results
Search Results
Specification case studies
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6 .S667 1993 | ✔ Available |
An introduction to requirements capture using PVS
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:110255 | ✔ Available |
System description document for the Anthrobot-2
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:104535 | ✔ Available |
Computational needs survey of NASA automation and robotics missions
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:103860/V.1 | ✔ Available |
Investigation of specification measures for the Software Engineering Laboratory
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88591 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88591 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88591 | ✔ Available |
