Search Results
Showing 1 - 10 of 3936 results
Search Results
Modular specification and verification of object-oriented programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.64 .M85 2002 | ✔ Available |
Learning test-driven development
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76 .T48 S534 2021 | ✔ Available |
Validation, verification, and testing of computer software
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.10:500-75 | ✔ Available |
Guide to software acceptance
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | C 13.10:500-180 | ✔ Available |
Abstracting formal specifications to generate software tests via model checking
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | C 13.58:6405 | ✔ Available |
Software reliability
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.T48 M87 1987 | ✔ Available |
Guideline for software verification and validation plans
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.52:132 | ✔ Available |