Sciweavers

3527 search results - page 59 / 706
» Test Automation in Practice
Sort
View
DAC
2004
ACM
16 years 4 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»
15 years 5 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
15 years 5 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
16 years 4 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