Sciweavers

16206 search results - page 20 / 3242
» Software Engineering is Not Enough
Sort
View
84
Voted
DICS
2006
14 years 11 months ago
Dependable Software
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
Bertrand Meyer
AGILEDC
2007
IEEE
15 years 4 months ago
ISO 9001 and Agile Development
Conventional thinking would conclude that agile and ISO must not be compatible. After all, ISO is often characterized as being heavy on process / heavy on documentation – the op...
Bill McMichael, Marc Lombardi
ISSTA
2006
ACM
15 years 3 months ago
Subdomain testing of units and systems with state
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
Dick Hamlet
VMCAI
2005
Springer
15 years 3 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
IUI
2000
ACM
15 years 2 months ago
Procedure based help desk system
In this paper, we describe an outline of “Procedure based help desk system”. Preparing enough amounts of contents for help desk system is important for constructing an efficie...
Akira Takano, Yuko Yurugi, Atsushi Kanaegami