Sciweavers

3527 search results - page 59 / 706
» Test Automation in Practice
Sort
View
DAC
2004
ACM
15 years 10 months ago
On path-based learning and its applications in delay test and diagnosis
Li-C. Wang, T. M. Mak, Kwang-Ting Cheng, Magdy S. ...
FECS
2008
123views Education» more  FECS 2008»
14 years 11 months ago
Transition from a Waterfall-Based Capstone Course to an Agile Model
We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...
Chris Lüer
EMSOFT
2008
Springer
14 years 11 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
CADE
2002
Springer
15 years 10 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks