|
СТ |
Techniques for Embedding Executable Specifications in Software Component Intefaces |
2003 |
Mckegney B., Shepard T. |
|
|
|
Lecture Notes in Computer Science |
08.03.2003 |
|
СТ |
On Teaching Software Verification and Validation |
1995 |
Shepard T. |
|
|
|
Lecture Notes in Computer Science |
29.03.1995 |
|
СТ |
Software Engineering in an Undergraduate Computer Engineering Program |
1994 |
Shepard T. |
|
|
|
Lecture Notes in Computer Science |
16.12.1993 |
|
СТ |
On Teaching the Rational Design Process |
1992 |
Shepard T., Hoffman D. |
|
|
|
Lecture Notes in Computer Science |
01.12.1992 |
|
СТ |
A Visual Software Process Language |
1992 |
Shepard T., Sibbald S., Wortley C. |
|
|
|
Communications of the ACM |
29.04.1992 |
