Combining CS education, automated testing, and software engineering
Stephen H. Edwards my research interests
|
my research
interests
include
component techniques, testing,
and
innovative teaching... |
In the Spotlight
|
||||
Latest News / Web-CAT Developments |
Recent Publications
|
|||
| Toward a normative theory for component-based system design and analysis |
|
|
|
| Friday, 31 December 1999 | |
|
David S. Gibson, Bruce W. Weide, Scott M. Pike, and Stephen H. Edwards. Toward a normative theory for component-based system design and analysis. Invited paper appearing as Chapter 10 in Foundations of Component-Based Systems, G.T. Leavens and M. Sitaraman, eds., Cambridge University Press, 2000, pp. 211-230. |