Sciweavers

STTT
2002
86views more  STTT 2002»
13 years 11 months ago
What makes good research in software engineering?
Physics, biology, and medicine have well-refined public explanations of their research processes. Even in simplified form, these provide guidance about what counts as "good re...
Mary Shaw
STTT
2002
69views more  STTT 2002»
13 years 11 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser