Now showing items 1-2 of 2
Testing with Concepts and Axioms in C++
(University of Bergen, Department of Informatics, 2008-10)
Modern development practices encourage extensive testing of code while it is still under development, using unit tests to check individual code units in isolation. Such tests are typically case-based, checking a likely ...
A continous Dependence Result for nonlinear degenerate parabolic Equations with spatially dependent flux Function.
(Department of Mathematics, University of Bergen, 2000-06)