Search Results
You searched for:
author_facet
Software Engineering Laboratory (Goddard Space Flight Center)
Remove constraint
Showing 1 - 10 of 17 results
Search Results
Proceedings of the Twenty-Third Annual Software Engineering Workshop
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs CD-ROMs | NAS 1.86: SO 2/2/CD | ✔ Available |
Annotated bibliography of Software Engineering Laboratory literature
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:105512 | ✔ Available |
The cleanroom case study in the Software Engineering Laboratory
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:103390 | ✔ Available |
Annotated bibliography of Software Engineering Laboratory literature
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:103313 | ✔ Available |
Annotated bibliography of Software Engineering Laboratory literature
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88588 | ✔ Available |
Ada training evaluation and recommendations from the Gamma Ray Observatory Ada development team
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88593 | ✔ Available |
Software verification and testing
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
A comparison of software verification techniques
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88585 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88585 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88585 | ✔ Available |