Sciweavers

STTT
2002
86views more  STTT 2002»
14 years 9 days 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»
14 years 9 days 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